共查询到20条相似文献,搜索用时 15 毫秒
3.
模型论一般被认为是一个比较抽象的数理逻辑分支,本文象文献[1]一样,也是为模型论中的结论在其它数学分支中寻找新事例的尝试之一。在考查整数环I的某些剩余类环的基础上,引用模型论中的紧致性定理,我们可以证明:存在着I的各种扩环,它们分别具有各种多项式形状的“素数公式”(其含义见下列定理)。 相似文献
4.
设N={0,1,…,n-1},n且在modn意义下-S=S;即存在r_1,r_2,…,r_k使得。 一个n阶简单图G称为以S为特征集的循环图,如果(ⅰ)V(G)=N,(ⅱ)E(G)={(i,j)|j-i∈S},这里减法运算取modn(以下均同)。R={r_1,r_2,…,r_k}称为G的半特征集。 相似文献
5.
6.
全着色边临界图的全色数 总被引:2,自引:0,他引:2
定义 对于简单图G(V,F),(?)e∈E(G),当 χ_T(G)>△(G)+1, χ_T(G-e)=△(G-e)+1时,则称G为全着色边临界图.其中厶(G)表示G的最大度,χ_T(G)表示G的全色数。 引理1 对图G(V,E)。(?)e∈E(G),若△(G)≥2,则 χ_T(G-e)≤χ_T(G)≤χ_T(G-e)+1。 定理1 若图G(V,E)是全着色边临界图,则 χ_T(G)=△(G)+2。 相似文献
7.
P为具有秩函数的有限偏序集,P的LYM性质(包括与其等价的正规匹配性质,正则复盖性质)及其Whitney数的对数凸性质是组合序理论中研究的一个重要问题。由LYM性质可以推得Sperner性质。设B_n为布尔代数,A,B∈B_n,L(A)={X∈B_n,x(?) 相似文献
8.
9.
如果N阶完全图K_N的边用t种颜色着色,则K_N称为是t边着色的。图F_i,l≤i≤t的Ramsey数n(F_1,…,F_i)是这样的最小正整数,使得对于任意一个i边着色完全图K_n,都可以在其中找到某个子图F_i,它是用第i种颜色着色的。当F_1= 相似文献
10.
随着数学向一切科学领域的渗透,人们愈来愈迫切地需要了解现代数学的一些基本情况。从这期起,本刊特辟“数林撷英”专栏,意在将数学园林中采撷来的奇葩异卉奉献给广大读者。本期首先刊出《图的着色——从四色定理谈起》一文,介绍图论中一个饶有趣味的研究专题。 相似文献
11.
12.
13.
14.
给定简单图G=(V,E),其中V是顶点集,E是边集。若对V的两个顶点u,v,在G中存在含有i个顶点的一条(u,v)路,则称性质P_i(u,v)成立。令S_i(2≤i≤n)是G中有性质P_i(u,v)的无序顶点 相似文献
15.
对于以大规模数字集成电路为应用背景的非线性离散事件动态系统,提出了着色图概念,由此得到了这类系统上限能观性的充要条件,简化并改进了分别能达性的充要条件。 相似文献
16.
17.
排序问题中求最小对比次数的问题最原始的提法是:给了n个对象(例如n个球),它们的某一个数字指标(例如重量)大小各不相等,但究竟谁大谁小需要通过“对比”来确定,每次对比只能在任意指定的两个对象之间进行,对比结果知道了它们的大小次序,问题是:最少要通 相似文献
18.
一类交替块Crank-Nicolson方法的差分图 总被引:4,自引:0,他引:4
利用多重图概念定义了一类交替块Crank-Nicolson方法的差分图,扩充了作者关于有限差分并行计算的差分图理论。 相似文献
19.
设h是由复函数所构成的可分Hilbert空间,(f,g)是h上的内积且关于g线性。h_s~(n)表示空间h的n重对称张量积,记h_s~(0)=Q·C,其中Q是一范数为1的向量,称为真 相似文献