无K5-图子式的图的谱半径

G是一个无K5-图子式且边数为m的简单图,ρ(G)是图G的谱半径。利用图的圆色数,得出一个关于ρ(G)的上界：ρ(G)≤（3m/2)的平方根。     

不包含K_(4,4)-图子式的环-4-连通三正则图的刻画(英文)

证明了如果一个环-4-连通三正则图不包含立方体图子式,则该图同构于V_n,n6和Petersen图,利用这个结果,将所有不包含K_(4,4)-图子式的环-4-连通三正则图分为三类:Petersen图、M(o|¨)bius带和定义的一类特殊图类.     

关于Hosoya指标和Merrifield-Simmons指标的k色极图

图的Hosoya指标定义为图中包含空边集在内的对集总数.图的Merrifield-Simmons指标定义为图中包含空点集在内的点独立集总数.考虑点数为n的k色连通图的集合Gn,k,证明了Tur n图Tn(k)是Gn,k中Hosoya指标最大且Merrifield-Simmons指标最小的图,还确定了k=2,3时Gn,k中Hosoya指标最小且Merrifield-Simmons指标最大的图.     

5-桥图的色性

由连接两个顶点的s条内部不交的路组成的图叫s-桥图,记作F（k1,k2,…,ks）.本文给出了5-桥图F（3,a,b,c,d）（d≥c≥b≥a≥3）是色唯一的充分必要条件.     

蕴含K5-Z5可图序列的刻划

对于给定的图H,称π是蕴含H可图的,如果π有一个实现包含H作为子图.K k,C k,Pk分别表示k阶完全图,圈长为k的圈和路长为k的路.Z 5是由一个公共顶点的C3和P2组成的图,K 5-Z5表示从5阶完全图中删去Z 5的5条边.Luo Rong[13]考虑了蕴含C k可图序列的刻划问题,并刻划了当k=3,4,5时,蕴含C k的可图序列.此外,Luo等人[14]刻划了蕴含K 4的可图序列.Eschen和Niu[15]刻划了蕴含K 4-e的可图序列.Yin Jianhua等人[20]刻划了当r=2,s=3和r=2,s=4时,蕴含K r,s的可图序列,其中K r,s是r×s完全二部图.Hu Lili等人[3-5]刻划了蕴含K 5-C4,K 5-Z4,K 5-E3的可图序列,徐正华等人[16]刻划了K1,4 e的可图序列.本文刻划了当n≥5时,蕴含K 5-Z5的可图序列.     

蕴含K5-Z4可图序列的刻划

对于给定的图,称是蕴含可图的,如果有一个实现包含作为子图.Kk,Ck,Pk分别表示K阶完全图,圈长为k的圈和路长为k的路.Z4表示K-4-P2.K5-Z4表示从5阶完全图中删去的4条边.本文刻划了当n≥5时,蕴含K5-Z4的可图序列.     

没有K_5-子式的图是无圈5-可染的

2006年,Borodin证明了所有平面图都可以无圈5-可染。本文推广Borodin的结果到没有K5-子式的图。     

关于完全三部图色唯一性的判定

G是简单图,用P(G,λ)表示图的色多项式.若对任意简单图H当P(H,λ)=P(G,λ)时,都有HG,则称G是色唯一图.Liu R.,Zhao H. X.和Ye C.已经证明:当n和k为整数且满足n≥k 2≥4,完全三部图K(n-k,n,n)是色唯一的;当n和k满足n≥2k≥4时,完全三部图K(n-k,n-1,n)是色唯一的.在本文中,证明了当k是奇数且n≥k2/4 15/4≥6,或k是偶数且n≥k2/4 4≥5时,完全三部图K(n-k,n-2,n)是色唯一的;当k是奇数且n≥k2/4 19/4≥7,或k是偶数且n≥k2/4 5≥9时,K(n-k,n-3,n)是色唯一的.     

K1,4-自由图的模5泛圈性

一个长为Z的圈称为s（mod k）-圈是指l≡s mod k,其中k和s均为自然数,图G称为模k泛圈的是指对任意的s（O≤s〈k）,都包含s（mod k）-圈．若图是模k泛圈的．则称图为模k泛圈图．讨论了K1,4-自由,6-正则圈的模5泛圈性．     

关于无5-圈,8-圈和9-圈平面图的3-选色

图G的选色数,记为xl(G),定义为最小的自然数k,使得满足对任一顶点给定k种颜色的列表,且染色时每个顶点的颜色只能从自身的列表中选择时,总存在图G的一个顶点的正常着色.证明了每个围长至少为4且不含5-圈,8-圈和9-圈的平面图是3-选色的.     

四色定理证明的探讨

目前四色定理的证明还没有简短的数学推理方法,必须借助于计算机才能够完成.在没有借助计算机的情况下,基于极大平面图的性质,通过结点合并的方式,研究了四色定理的证明方法,为该定理的进一步证明提供了重要参考.     

不含4-和5-圈的平面图的均匀染色

一个图G是均匀k-可染的,如果G有一个k-染色(V1,V2,…,Vk),使得对任何i,j∈{1,2,…,k}有||Vi|-|Vj||≤1.应用细致的结构分析和经典的discharging方法证明了:最大度5≤Δ≤6且没有4-,5-圈的平面图是均匀Δ-可染的.     

判别哈密尔顿图的新方法

提出求一个图的顶点覆盖的VC算法，定义图的VC表示式及其全闭链的概念，证明一个连通无向图是哈密顿图当且仅当其VC表示式含有一条全闭链，并证明对构造全闭链有用的定理和推论。     

关于四色问题的P.J.Heawood反例

英国数学家Ｋａｍｐｅ给出了四色定律的第一个证明,１０年后Ｈｅａｗｏｏｄ指出该证明有致命错误,Ｈｅａｗｏｏｄ还利用Ｋａｍｐｅ的方法证明了五色定理。本文分析了Ｋａｍｐｅ方法的漏洞,同时也分析了Ｋａｍｐｅ方法的潜在威力,为此,引入“Ｋａｍｐｅ链”的概念,并把它用到四色问题的几类特殊情况的证明。简化了Ｈｅａｗｏｏｄ反例,分析了反例的逻辑结构。     

平面图正常4—着色数的一个计算公式

四色定理等价于任何准极大平面图（near-triangulation）至少有一个正常4－着色。给出了对任意给定的准极大平面图都能准确求出其正常4－着色数的计算公式,该公式的复杂性揭示了四色定理本身所蕴涵的难度。为研究四色定理提供了一条与以往不同的途径。     

图的局部连通性与上可嵌入性

研究局部连通图中支撑树的变换. 给出L.Nebesk定理的一个新证明, 并将其推广得到一类新的上可嵌入图.     

关于共形映射的一个注记

指出Ｂｅｃｋｅｒ等人的文献中对一个重要定理证明中的错误,给出了正确证明,并用反例说明原证法不能成立。     

无向色图的Hamilton性

本文应用群论方法，证明了有限交换群的连通无向色图Ｇ（Ｆ，Ｓ）是Ｈａｍｉｌｔｏｎ图。并由此得到：（ｉ）Ｂｏｏｓｃｈ—Ｔｉｎｄｅｌｌ猜想的另一证明；（ｉｉ）有限交换群Ｆ具有对称色集Ｓ的连通色图Ｄ（Ｆ，Ｓ）是有向Ｈａｍｉｌｔｏｎ图。     

五元完全树的调和着色数

图的调和着色数是安排于图的顶点使邻接的顶点有不同的着色、不同的边有不同的色对所需的最小着色数。本文给出了五元完全树的调和着色数的比较好的估计.     

勾股定理最早证明新考

在西方,一般都认为:希腊数学家半达哥拉斯(Pythagoras)最早证明了勾股定理,因而都习惯地称这个定理为毕达哥拉斯定理。但这一看法历史上并没有可靠的依据。即使承认这一看法,西方最早给出勾股定理证明的时间也不会早于公元前585年,即相传毕达哥拉斯出生的那一年。在中国,一般都认为:中国数学史上最先完成勾股定理证明的数学家,是公元3世纪三国时期的赵爽,他晚于半达哥拉斯几百年。依据现有的文献资料,重新论证了:至迟在公元前1105年,也就是周公去世的那一年,中国古人商高便已经能利用“弦图”来证明一般的勾股定理了。这比西方最早可能给出一般勾股定理证明的公元前585年早520年。