最大度与最小度相差不超过2的图的平衡judicious划分

图G的顶点集V(G)的一个二部划分V_1和V_2叫做平衡二部划分,如果||V_1|-|V_2||≤1成立.Bollobas和Scott猜想:每一个有m条边且最小度不小于2的图,都存在一个平衡二部划分V_1,V_2,使得max{e(V_1),e(V_2)}≤m/3,此处e(V_i)表示两顶点都在V_i(i=1,2)中的边的条数.他们证明了这个猜想对正则图(即△(G)=δ(G))成立.颜娟和许宝刚证明了每个(k,k-1)-双正则图(即△(G)-δ(G)≤1)存在一个平衡二部划分V_1,V_2,使得每一顶点集的导出子图包含大约m/4条边.这里把该结论推广到最大度和最小度相差不超过2的图G.     

图的邻点可区别Ⅵ-全色数和邻点可区别E-全色数

利用穷染、递推的方法讨论了路、圈、完全图、轮和扇的邻点可区别Ⅵ-全染色.并用概率方法研究了一般图的邻点可区别E-全染色,给出了图的邻点可区别E-全色数的一个上界.即δ≥7且△≥28,则有x_(at)~e(G)≤10△,其中δ是图G的最小度,△是图G的最大度.     

色指数临界图的一些新结论

图的边色数是指对图的边进行染色使得任意两相邻边染不同的颜色所需要的最少的颜色数.1965年,Vizing证明了任意最大度为△的图的边色数或者是△或者是△+1.若G是连通的,且G的每一条边e均有X′(G-e)相似文献   

两类特殊图的L(2,1)-标号

正1引言本文所指定的图均为无向简单图,文中未说明的符号和术语同文献[1].设G=(V,E)是一个图,其顶点集V=V(G)和边集E=E(G).对任意u∈V(G),则N_G(u)为u点在G中的邻域,N_G[u]=N_G(u)∪{u}为u点在G中的闭邻域,d_G(u)=|N_G(v)|为u点在G中的度,而δ=δ(G)和△=△(G)分别为图G的最小度和最大度.在不致混淆情况下,可将N_G(v),N_G[v],△(G),δ(G)分别简单记为N(v),N[v],△,δ.图G中两个顶     

图的邻点可区别VE-全色数的一个上界

根据图的邻点可区别VE-全染色的定义和性质,用概率方法研究了图的邻点可区别VE-全染色,并给出了图的邻点可区别VE-全色数的一个上界.如果δ≥7且△≥25,则有x_at^ue（G）≤7△,其中δ是图G的最小度,△是图G的最大度.     

关于极大外平面图的度偏差的极值

设G是一个由n个顶点,m条边构成的简单连通图.如果图G所有顶点的度相同,则我们称图G是正则图,反之,称图G是不规则图.对于一个不规则图G,由其不变量定义的度偏差为s(G)=∑_(i=1)^(n)|d_(i)-2m/n|,其中d_(i)表示G的第i个顶点的度.本文给出极大外平面图的度偏差的极大值和极小值,并刻画其对应的极值图.     

图的区间边着色的收缩图方法

图G的一个用了颜色1,2,…,t的边着色称为区间t-着色,如果所有t种颜色都被用到,并且关联于G的同一个顶点的边上的颜色是各不相同的,且这些颜色构成了一个连续的整数区间.G称作是可区间着色的,如果对某个正整数t,G有一个区间t-着色.所有可区间着色的图构成的集合记作■.对图G∈■,使得G有一个区间t-着色的t的最小值和最大值分别记作ω(G)和W(G).现给出了图的区间着色的收缩图方法.利用此方法,我们对双圈图G∈■,证明了ω(G)=△(G)或△(G)+1,并且完全确定了ω(G)=△(G)及ω(G)=△(G)+1的双圈图类.     

关于线性森林的广义图兰问题研究

令G表示n个顶点的图.图G的一个线性森林是G中由顶点不交的路以及孤立点组成的子图.其中,G的边数最多的线性森林称为图G的最大线性森林,用l(G)表示最大线性森林的边数.设定■.令r₃(G)表示图G中三角形的个数.在本文中,我们证明了如果l(G)=k-1且δ(G)≥δ,那么对于任意的k相似文献   

Hamilton非二部图的弱泛圈性

图G称为弱泛圈图是指G包含了每个长为t(g(V)≤l≤c(G))的圈,其中g(G),c(v)分别是G的围长与周长.1997年Brandt提出以下猜想:边数大于[n2/4]-n 5的n阶非二部图为弱泛圈图.1999年Bollobas和Thomason证明了边数不小于[n2/4]-n 59的n阶非二部图为弱泛圈图.作者证明了如下结论:设G是n阶Hamilton非二部图,若G的边数不小于[n2/4]-n 12,则G为弱泛圈图.     

链状正则图的平均距离

本文构造了一类链状正则图G_k∶δ,求出了它们的平均距离D(G_k.δ),并得到关系式上式等号成立当且仅当δ=4f且k=0.这个估计式指出了施容华猜想[1]D(G)≤n/(δ 1)不成立. 文中进一步证明了这一类链状正则图有最大的直径,所以可以作出猜想: 若G是n阶连通图,则D(G)<(n 1)/(δ 1),其中δ是图G的最小度。     

单圈图的代数连通度的排序

n阶图G称为是一个单圈图,如果G是连通的,并且G的边数也是n.用U(n)表示所有n阶单圈图所成的集合.给出了当阶数n≥25时,代数连通度为前九大的n阶单圈图及它们的代数连通度.     

SL(2,R)上一类极大算子的(H1∞,s,L1)型

本文我们引入了函数类Bδ(G//K)={ψ∈L1(G//K)‖ψ(t)|≤△-1(t)(1+t)1-δ,δ＞0},对f∈Lp(G//K),1≤p≤∞,和极大算子Mδf(x)=sup ε＞0 ψ∈Bδ(G//K) |ψε*f(x)|,证明了这类算子是(H1∞,s,L1)型的.     

Klein瓶上的6-正则嵌入图的着色性质

Brooks证明了:若G是连通的简单图,并且它既不是奇圈,又不是完全图,那么它的色数至多为△(G),其中△(G)为图G的最大度.它可以推出嵌入到Klein瓶上的任意的一个6-正则图的色数至多为6.通过对Klein瓶上的6-正则嵌入图的结构分析,证明了Klein瓶上的任意的一个6-正则嵌入图的色数为5.     

图的全控制数和匹配数的可比较性

设tγ(G)为G的全控制数.证明了:(1)对广义θ-图G,tγ(G)≤α(G) 1;(2)对任意k-正则无爪图G,k≥3,有tγ(G)≤α(G).这里α(G)表示G的匹配数.作为结果(2)的推论,对k-正则无爪图(k≥3),证明了Favaron猜想是成立的.即对最小度不小于3的简单图,有tγ(G)≤12 V(G).此外,举例说明了当图的最小度不超过2时,对一般图而言,匹配数与全控制数不可比较.     

三度正规双凯莱图与双正规凯莱图（英文）

一个图称为群G上的凯莱图(或双凯莱图),如果它的自同构群有一个同构于G的半正则子群在图的顶点集合上作用有一个(或两个)轨道.称群G上的凯莱图或双凯莱图r是正规的,如果群G在图r的全自同构群中是正规的.称群G上的凯莱图Γ为双正规的,如果Aut(Γ)的包含在G中的极大正规子群在G中的指数为2.由定义可知,每个双正规凯莱图都是正规双凯莱图.本文给出了三度正规双凯莱图同时也是双正规凯莱图的一个刻画.作为应用,给出了2p³阶的三度非正规凯莱图的分类,这里p>3为素数.     

5-正则图的全控制数的一个注记

设G是不含孤立点的图,S是G的一个顶点子集,若G的每一个顶点都与S中的某顶点邻接,则称S是G的全控制集.G的最小全控制集所含顶点的个数称为G的全控制数,记为γt(G).Thomasse和Yeo证明了若G是最小度至少为5的n阶连通图,则γt(G)≤17n/44.在5-正则图上改进了Thomasse和Yeo的结论,证明了若G是n阶5-正则图,则,γt(G)≤106n/275.     

点度和面度的最小值是3的连通平图

称一个连通平图是k||δ_(v,f~-)平图,若其顶点的最小度δ_v和面的最小度δ_f的最小值δ_(v,f)是k.本文研究3||δ_(v,f~-)平图.通过一个图运算构造证明链环分支数等于1的3||δ_(v,f~-)平图的存在性,并证明在相等意义下链环分支数不小于基圈数的3||δ_(v,f~-)平图是唯一的.然后证明在相等意义下,边数等于6,8的3||δ_(v,f~-)平图都是唯一的,边数等于9的3||δ_(v,f~-)平图有且只有两个且它们是互为对偶的.接着研究连通平图与其中间图在相等意义下的相互关系.作为运用,证明了无弓形链环图的三个唯一性结论.     

二部平衡公平划分的一个下界

设V_1,V_2是图G的一个二部划分.如果一1≤|V_1|-|V_2|≤1,则称V_1,V_2是G的一个二部平衡划分.对于n个顶点m条边的简单图G,本文证明了:(1)若G是k-正则图(k≥3),则G存在一个最小二部平衡划分V_1,V_2,使得max{e(V_1),e(V_2)}≥((k-1)m)/4k;(2)如果r是大于4的实数,且当n是偶数时△(G)≤((3r-4))/(r+4)δ(G)-(2r)/(r+4),当n是奇数时△(G)≤(3r-4)/(r+4)δ(G)-(8r)/(r+4),那么G存在一个二部平衡划分,使得min{e(V_1),e(V_2)}≥m/r,这里e(V_i)表示G中两个顶点都在V_i中的边的数目.     

超级限制边连通二部图的充分条件

设S是连通图G的一个边割.若G-S不包含孤立点,则称S是G的一个限制边割.图G的最小限制边割的边数称为G的限制边连通度,记为λ'(G).如果图G的限制边连通度等于其最小边度,则称图G是最优限制边连通的,简称λ'-最优的.进一步,如果图G的每个最小限制边割恰好分离出图G的一条边,则称图G是超级限制边连通的,简称超级-λ'的.设G是一个最小度δ(G)≥2的n≥4阶二部图,ξ(G)是G的最小边度.本文证明了(a)若ξ(G)≥(n/2-2)(1+1/δ(G)-1),则G是λ'-最优的;(b)若ξ(G)>(n/2-2)(1+1/δ(G)-1),则G是超级-λ'的,除非图G是K2,n-2,n≥6或是Cartesian积图Kn/4,n/4×K2,其中n≥8且n整除4.最后,论文举例说明该结果是最好可能的.     

关于代数连通度的一个注记

图G=(V,E)的次小的拉普拉斯特征值称为G的代数连通度,记为α(G).设δ(G)为G的最小度.Fiedler早在1973年便证明了α(G)≤δ(G),但他未能给出等号成立的极图刻划.后来,我们在[6]中确定了当δ(G)≤1/2|V(G)|时α(G)=δ(G)的充要条件.本文中,我们将确定任意情况下α(G)=δ(G)成立的所有极图.