非连通并图的优美标号研究

设图G3是长度为3的圈C3或为含3个顶点的路P3,文章给出了非连通图(G3∨Km)∪Kn,t和(G3∨Km)∪Pn,并证明了对任意正整数m,n,t,如果min{n,t}≤m,则图(G3∨Km)∪Kn,t是优美图;如果2≤n≤2m+1,则图(G3∨Km)∪Pn是优美图;同时证明了对任意正整数m,n,图(G3∨Km)∪St(n)和(G3∨Km)∪W2n+5是优美图.其中,Pn是n个顶点的路,G1∨G2是图G1与G2的联图,Km是m个顶点的完全图,m是Km的补图,Kn,t是具有二分类(X,Y)的完全偶图,且|X|=n,|Y|=t,St(n)是具有n+1个顶点的星形树,Wn是具有n+1个顶点的轮图.     

立方图中的路因子和圈因子

给定连通图集合Φ,对图G的生成子图F,如果F的每个分支都同构于集合Φ的一个元素,则F被称为G的Φ-因子.最近Kawarabayashi 等证明了:2-连通立方图有一个{Cn|n≥4}-因子和{pn|n≥6}-因子,其中Cn表示阶为n的圈,Pn表示阶为n的路.Kano等给出了每一个阶至少为8的立方偶图有{Cn|n≥6}-因子和{pn|n≥8}-因子的结论,并且提出猜想:阶至少为6的3-连通立方图有{Cn|n≥5}-因子和{pn|n≥7}-因子.现给出这个猜想的证明.     

圈的幂图的s-迹连通性

对于图G的任意两个顶点x和y,如果G有一条(x,y)-生成迹,则称图G是迹连通的.给定一个整数s≥0,对于任意点子集X?V(G)并且|X|≤s,如果G-X是迹连通的,则称图G是s-迹连通.设k是一个正整数,图G的k次幂图记为Gk.设t(G)是t一个最大值s使得图G是s-迹连通但不是(s+1)-迹连通,设Cn是一个包含n...     

k连通［s,t］图的Hamiltion连通性

若图G的任意个s顶点的导出子图至少有t条边,则称图G为[s,t]图．[s,t]图的概念可视为图的独立数概念的推广．本文证明：若图G是k连通[k＋1,2]（k≥2）图,则G或者是Hamilton连通的或者同构于Kk∨Gk．由此可以推出,若图G的阶是n（n≥3）,α（G）≤κ（G）－1,则G是Hamilton连通的．     

距离为2的邻集并条件与图的泛连通性

设G是一个顶点数为n(≥5)最小度为δ的2-连通简单图．本文证明了若图G的每一对距离为2的顶点u,v都满足|N(u)∪(v)|≥n-δ 1,则除非G属于某些特殊图类,它的任意一对顶点x,y之间都存在长度从d(x,y)到n-1的路．     

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

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

二分图对集的可扩性

设G是一个连通二分图,G=(X,Y;E),本文主要证明了当|X|=|Y|,若δ(G)≥2n+1(1≤n≤|X|2,n∈N),且对G的任两个距离3的顶点u,v有d(u)+d(v)≥|X|+2n时,G是2n-可扩充的     

新的上可嵌入图类

一个连通图G的最大亏格γM(G)=(β(G) ξ(G))/2,其中β(G)=|E(G)|-|V(G)| 1称为G的圈秩数,ξ(G)是G的Betti亏数.图G的C-划分是指:G的一个顶点划分{V1,V2,…,Vn},使得每个G[Vi]为多重完全图(1≤i≤n).一个图的2-因子是指G的一个2-正则支撑子图F,若F为图G的一个2-因子.联系图的顶点划分和四边形2-因子的条件,本文给出了新的上可嵌入的图类.     

Dλ——圈的一个充分条件

设G是n阶K连通图 ,若存在t≤R ,且对G中任何t 1个相互独立的λ阶子图H0 ,H1,… ,Ht (记H =∪ti=0 Hi) ,有 ti=0 |N (H/Hi) |>t (n -λ) ,则G有Dλ—圈 .     

3-连通无爪图的度和与泛圈性

若图G中不含同构于k1,3的导出子图,则称G为无爪图.笔者讨论了3-连通爪图中三个顶点的度和与泛圈性之间的关系,给出了图是泛圈的一个充分条件,得到了如下结果:设图G是n阶3-连通无爪图,如果σ3(G)≥n+1,则G是泛圈的.     

正则图的代数连通度

设G=(V,E)是一个具有n个顶点的简单图,A(G)是G的邻接矩阵,D(G)表示G的度对角矩阵,图G的拉普拉斯矩阵定义为L(G)=D(G)-A(G).若矩阵L(G)的特征值为μ1≥μ2≥…≥μn-1≥μn=0,则称μn-1为G的代数连通度.研究了正则图的代数连通度,得到了下列结论:μn-1≤(nrln(n-l))/(6n-8-4r-nln(n-1))这里,r表示正则图的度.     

关于非广义多边形路的2连通简单MCD图

令Sn是具有n个顶点没有两个等长圈的简单图的集合,若Sn中不存在图G′使│E（G′）│＞│E（G）│,则称图G是简单MCD图,若简单MCD图G是2连通的,则称G是2连通简单MCD图,若G中一条路P的两个内点u都有dG(v)=2,则称P为G的简单路,一个2连通可平面图G称为广义多边形路,如果用下述方法得到图G是路,对应于G的每个内部面f(G-是G的平图）有一个G＊的顶点f*,G*的两个顶点f*和g*,在G＊中相邻当且仅当G－中相应的两个内部面的边界交于一条G－的简单路,作者证明了下述结果,当且仅当n∈{10,11,14,15,16,21,22}时,存在n个顶点的非广义多边形路的2连通简单MCD图。     

无K_(1,t)图的L(d,1)-T标号

给定一个连通图G=(V,E)及其一棵支撑树T,图G的一个L(d,1)-T标号即函数g:V(G)→{0,1,2,…},满足:(1)如果xy∈E(G),则|g(x)-g(y)|≥1;(2)如果dG(x,y)=2,则|g(x)-g(y)|≥1;(3)如果xy∈E(T),则|g(x)-g(y)|≥d.假设图G有一个L(d,1)-T标号函数g:g(V){0,1,2,…,k},则图G的所有L(d,1)-T标号函数中最小的整数k记为L(d,1)-T标号数λdT(G,T).本文证明了若G是无K1,t(3≤t≤n)的连通图,其最大度为Δ,|G|=n,T为G的任意支撑树,则λdT(G,T)≤tt--12Δ2+Δ+2d-2.     

关于最长圈交Grotschel猜想的证明

讨论了最长路的交及性质.证明了Grotschel猜想:C\-1和C\-2是k-连通图G的两个最长圈,则|V(C\-1)∩V(C\-2)|≥k;且公共点V(C\-1)∩V(C\-2)形成G的一个顶点割.     

k阶限制边连通度最优的一个充分条件

设S是图G的一个边子集,若G-S不连通且每个分支的阶至少为k,则称S为G的一个k-限制边割.若G有k-限制连割,G的最小k-限制边割的边数称为G的k阶限制边连通度,记为λk(G).记ξk(G)=min{|[X,]|∶|X|=k,G|X|连通},若λk(G)=ξk(G),则称G是λK-最优的.证明了若对G中任意一对不相邻的顶点x,y都有d(x) d(y)≥n 2(k-2),且G不是G*k图,则G是λk-最优的.     

判断k-可序哈密顿-连通图的新条件

具有n个顶点的图G(n≥3)是k-可序哈密顿-连通的(k是整数,且2≤k≤n),如果对于G中每一个具有k个不同顶点的可序集合S={v1v2,…,vk},都存在G中的哈密顿路P包含S且不改变其中元素的次序.本文证明了:对于具有n个顶点的图G,u、v是G中任意两个不相邻的顶点,且d(u)+d(v)≥n+1.如果G是「k+1/2﹁-连通的k-可序图,k是整数且2≤k≤n/12,则G是k-可序哈密顿-连通图.     

几乎局部连通[4,2]-图的圈可扩性

如果图G的任意s个顶点的导出子图中至少含有t条边,则称图G为[s,t]-图.本文证明:连通、几乎局部连通[4,2]-图中任意一个满足5≤|C|≤|G|的圈是可扩的.     

关于两类平面图及相关图的L(2,1)-标号问题

图G的L( 2 ,1) 标号是一个从顶点集V(G)到非负整数集的函数f(x) ,使得若d(x ,y) =1,则 |f(x) -f(y) | 2 ;若d(x ,y) =2 ,则 |f(x) -f(y) | 1 图G的L( 2 ,1)标号数λ(G)是使得G有max{f(v) :v∈V(G) } =k的L( 2 ,1)标号中的最小数k Griggs和Yeh猜想对最大度为Δ的一般图G ,有λ(G) Δ2 证明了对平面三角剖分图、立体四面体剖分图、平面近四边形剖分图 ,有上述猜想成立     

不含禁用子图的无爪图的2-因子

讨论了不含禁用子图的无爪图的两个分支的2-因子,主要结论如下:(1)设G是2连通无爪图,且不包含同构于Z1的子图,若G不是圈,则G含有两个分支的2-因子;(2)设G是2连通无爪图,且不包含同构于Z2和H的子图,若G不是圈且|G|足够大,则G含有两个分支的2-因子。     

关于S.Win的一个猜想

令G是一个图,P=|V(G)|,(?)u,v∈V(G),uv(?)E(G),d(u)+d(v)≥P+K,其中k是整数,则称G为Ore k—型图。S.Win提出如下猜想:若G是2n(n≥1)阶Ore k—型图(-1≤k≤2n-4),则G具有k+2个边不重的1—因子。本文证明了k=-1时,Win猜想成立。实际上,除个别图处,我们证明了更强的结论:若G是2n(n≥2)阶Ore-1—型图,且G(?)H_i(i=1,2),则G具有两个边不重的1—因子。