广义双循环群上Cayley图中的处处非零3-流

Tutte在研究四色问题时引入了整数流的概念,并猜想每个4-边连通图存在处处非零3-流.本文验证了3-流猜想对于定义在广义双循环群上的Cayley图是成立的.     

3流猜想的等价刻画

Tutte的3流猜想是每个没有3边割的无桥图有无零3流.这里主要说明对于5边连通图这个猜想也是成立的.     

短圈覆盖与处处无零4-流

【目的】针对一些特殊的图类验证Tutte的4-流猜想。【方法】用子图的处处无零4-流构造原图的处处无零4-流。【结果】1) 若图 *，其中Gi存在处处无零4-流，1≤i≤n，且 * 与Gl最多有两条公共边，2≤l≤n，则G存在处处无零4-流；2) 若图G=H∪F，其中H是G的一个存在处处无零4-流的子图，F是G的一个阶数不超过4的无桥连通子图，则G存在处处无零4-流；3) 若图G的每条边都包含在一个长度不超过4的圈中，则G存在处处无零4-流。【结论】上述的第2个结果是Catlin的一个引理的推广；Imrich和Skrekovski关于笛卡尔积图的处处无零4-流的结果是上述第3个结果的一个直接推论。     

独立点数为3的图的Z3-连通性

Jaeger猜想为"5-边连通图是Z3-连通的",此猜想对于独立点数为2的图是成立的.利用收缩、点分裂、反证等方法,证明了此猜想对于独立点数为3且点连通度不大于5的图也是成立的.     

关于平面图点荫度的一点改进

一个非平凡图G的点荫度a(G)是一个最小图顶点划分数使得每一个划分集的导出子图是一个森林.近年来对点荫度的研究成为图论的一个焦点并且关于这个问题有更深一步的发展,例如,随机图的点荫度以分式点荫度等.得到一个关于平面图的点荫度的一个上界;如果平面图G是没有3-圈,或是没有4-圈,或是没有5-圈,那么G的点荫度不超过2.研究的起因是一个著名的猜想:任何3-可着色的平面图的点荫度不超过2.四色定理是图论中最著名的一个定理,伴随产生了一个问题,那就是什么样的平面图是3-可着色的.不幸,这是一个难问题,Garev等人证明了判定一个平面图是否3-可着的即使在一个点不超过4的条件下仍然是NP-难问题.因此这个猜想是一个不易解决的,人们开始在一些特殊图上进行验证这个猜想是否正确.我们知道一个著名的定理:不含3-圈的平面图是3-可着色的.结合结果,给出猜想的一个正面的肯定.Havel给出两个反例,如果平面图含有4-圈或有5-圈是不可3-可着色的,因此4-圈和5-圈在证明平面图是3-可着色时必须排除.不过在结论中,如果平面图不含有4-圈或不含有5-圈,那么它的点荫度不超过2.从而可以看出猜想的条件还是很强的.同时我们的结果也拓宽了张忠辅等人的结果:外平图的点荫度不超过2.     

K_(1,4)-自由图的模k泛圈(英文)

对于任意自然数k ,如果图G包含模k长的每一个圈 ,那末图G被称为模k泛圈图 .本文证明了连通K1,4 -自由图G是k =3的泛圈图 ,这一结果断定了Thomason猜想在连通图中的正确性 .     

3-临界图独立数的一个结果

1968年,Vizing提出了关于临界图的独立数猜想：若G是n阶的Δ-临界图,则有α（G）≤n/2.利用Vizing邻接引理研究这一猜想,给出了3-临界图的一个上界.     

3类3-正则图中的完美对集数

Lovász L和Plummer M提出了一个猜想:任意2-边连通图至少有指数多个完美对集.这个猜想至今没有被证明,也没有被否定.本文用划分、求和,再嵌套递推的方法给出了3类特殊图完美对集数目的显式表达式,从而验证了Lovász L和Plummer M猜想在这3类图上的正确性.     

图中3-距离控制集的上界

研究了图的3-距离控制数.根据不同图的结构特征,给出几类重要图的3-距离控制数的精确值,讨论了对一般图的3-距离控制数的紧的上界,并提出了一个相关猜想.     

关于Enomoto和Saito的猜想

1985年Enomoto和Saito提出了下面的猜想:每一个r-正则图G有一个〔k-1,k〕-因子使每个分支是一个正则图,1≤k≤r.Kano证明了,当r是奇数且02r/3时在某些情况下上述猜想成立.     

C_(2j+1)∪C_(2k)类与P_n~k类调和图

证明了 Seoud等当 k≥ 3时 C3 与 C2 k的不相交并 C3 ∪ C2 k为调和图的猜想 ,并扩展该结果 ,证明了 C5 ∪ C2 k( k≥ 2 )是调和图 ;给出猜想 C2 j+ 1 ∪ C2 k( j≥ 1,k≥ 2且 ( j,k)≠ ( 1,2 ) )是调和图 .证明了幂图 P4n( 8≤ n≤ 17)与 P5 n( 14≤ n≤ 17)是调和图 ,否定了 Seoud等关于当且仅当 1≤ k≤ 3时 Pkn( 1≤ k≤ n -1)是调和图的猜想 .给出了相反的猜想 :当 n≥ n0 ( k)时 Pkn是调和图 ( n0 ( k)为依赖于 k的足够大的整数 )     

关于平面图3-可着色的一个定理

Borodin和Raspaud提出一个猜想：任何既没有5-圈也没有相邻三角形的平面图是3-可着色．这个猜想强化了Steinberg提出的猜想．在本文中，我们研究了没有5-，6-，9-圈并且没有相邻三角形的平面图的结构．利用这个结构，证明了这类图是3-可着色的．它加强了由Borodin及Sanders和Zhao的结果，并且又是对Borodin和Raspaud猜想的一个正面的支持．     

特殊卡氏积图的连通性

为了进一步证明Jaeger的猜想＂5-边连通图是Z3-连通的＂的正确性,通过研究特殊图类Flower snark Gk与Cm的卡氏积图Gk×Cm的Z3-连通性,从而旁证了以上猜想。文中给出一种新的约化方法在图Gk×Cm中找Z3-可收缩子图,并最终把它收缩成一点。     

3类3-正则图中的完美匹配数

完美匹配的计数理论在量子化学、晶体物理学和计算机科学中都有重要的应用,对此问题的研究具有非常重要的理论价值和现实意义.但是,一般图的完美匹配计数问题已经被证实为NP-难问题.Lova'sz和Plummer曾提出关于完美匹配计数的一个猜想:任意2-边连通3-正则图都有指数多个完美匹配.本文用划分、求和再嵌套递推的方法给出了3类特殊图完美匹配数目的显式表达式,从而验证了Lova'sz和Plummer猜想在这3类图上的正确性.     

无桥图最短偶子图覆盖的上界

偶子图覆盖问题是图论研究领域的的重要内容之一,为研究最小偶子图覆盖猜想,利用整数流与偶子图覆盖的联系,借助于整数4-流在图的某个圈中扩充的结论,给出并证明了无桥图的最小偶子图覆盖的一个新的上界,改进了范更华给出的结论。     

一类特殊图的顶点染色及其猜想的证明

通过研究一类特殊图的顶点染色,得到了以下结果:给出了S=p-3且p∈{4,5,6},图G的顶点染色数;证明了︱S︱p2且︱S︱=p-3的图G不存在第p-m类图,m≥7且m是正整数;证明了︱S︱=p-3时,χ(G)≤4θ(G)+θ2(G)-1;进一步证明了猜想χ(G)≤4θ(G)+θ2(G)-1是正确的;为今后研究该猜想和图的顶点染色提供一些思想方法.     

边染色临界图边数的新下界

Vizing于1968年提出猜想:如果图G是一个点数为n,边数为m的Δ-临界图,那么满足m≥12[(Δ-1)n+3].根据临界图的若干引理,利用差值转移规则给出5-临界图和6-临界图(不含三圈)边数的新下界,改进了已有的结果.     

边染色临界图主顶点数的一个结果

如果一个连通的第二类图G去掉任意一条边后其边色数都比图G小,则称它是一个临界图.最大顶点度为△的临界图称作△-临界图.1968年,Vizing猜想任意n阶△-临界图G边数m的下界为（nΔ-n＋3）/2.Fiorini不等式和差值转移法被广泛用于研究此猜想.笔者利用Vizing邻接引理和临界图的结构性质给出了Δ-临界图在△≥6且（Δ-1）度顶点至多邻接一个四度顶点时Fiorini不等式的一个新的下界.     

不含叉形图为导出子图的图的色数（英文）

Randerath曾猜想每一个不含三角形和不含叉形图为导出子图的图是3-可着色的.通过一个引理,证明了该猜想在没有长为4的圈的图类上是成立的.进而,还证明了每一个不含三角形、不含C_4并且不含C_(2,2,1,n)作为导出子图的图是(n+2)-可着色的,这里C_(2,2,1,n)表示将图E的中心点和路P_n的一个端点连接而得到的阶为(n+6)的长把叉形图.     

关于Win猜想的一些结果

在文[2]中S.Win提出下列猜想:每个Ore k-型图G均含(k+2)个边不交1-因子,其中|V(G)|=2n≥k+4,同时Win证明k=1时猜想成立.刘振宏证明了k=2时猜想的正确性.本文证明k=3,n≥8时Win猜想也是成立的.