完全二部图的K_(p,p)-分解大集的存在谱

令H,G是两个简单图,G是H的一个子图.H的G-分解,记为(λH,G)-GD,是指将图λH的所有边分拆为若干个与G同构的子图(称为G-区组).H的G-分解的大集,记为(λH,G)-LGD,是指图H的所有与G同构的子图的一个分拆Β_1,Β_2,…,Β_m,使得每个B_j(1≤j≤m)为一个(λH,G)-GD (称为小集).本文中,我们对完全二部图的K_(p,p)-分解的大集进行了研究,利用K_v的λ重K_κ-因子大集的存在性结果,采用直接构造的方法,得到了大集(λK_(m,n),K_(p,p))-LGD的存在谱,其中p为任意素数.     

一类完全三部图的K1,3-因子大集

令G是一个有限图,H是G的一个子图.若V(H)=V(G),则称H为G的生成子图.图G的一个λ重F-因子,记为Sλ(F,G),是G的一个生成子图且可分拆为若干与F同构的子图(称为F-区组)的并,使得V(G)中的每一个顶点恰出现在λ个F-区组中.一个图G的λ重F-因子大集,记为LSλ(F G),是G中所有与F同构的子图的一个分拆{B_i}_i,使得每个B_i均构成一个Sλ(F,G).当λ=1时,λ可省略不写.本文中,我们证明了当v≡4 mod 24时,存在LS(K1,3,Kv,v,v).     

λKv的最大K2,3填充设计和最小K2,3覆盖设计

对于一个有限简单图G,λKv的G-设计(G-填充,G-覆盖),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是一个(X,B),其中X是Kb的顶点集,B是Kv的子图族,每个子图(称为区组)均同构于G,且Kv中任一边都恰好(最多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为是最大(最小)的,如果没有其它的这种填充(覆盖)设计具有更多(更少)的区组.本文对于λ>1确定了(v,K2,3,λ)-GD的存在谱,并对任意λ构造了λKv的最大K2,3-填充设计和最小K2,3-覆盖设计.     

含偶长圈的7点7边图的图设计

设λKν是ν阶λ重完全图，G是一个无孤立点的有限简单图,λKν的一个G-分拆(或G-设计，记为G-GDλ(ν))是指一个序偶(X，β)，其中X是完全图Kν的顶点集，β是Kν中同构于G的子图(称为区组)的族，使得Kν中每条边恰好出现在β的λ个区组中，本文完全解决了含偶长圈的十个7点7边图的图设计存在性问题。     

两类完全三部图的图因子大集

令G是一个有限图,H是G的一个子图.若V(H)=V(G),则称H为G的生成子图.图G的一个λ重F-因子,记为S_λ(F,G),是G的一个生成子图且可分拆为若干与F同构的子图(称为F-区组)的并,使得V(G)中的每一个顶点恰出现在λ个F-区组中.一个图G的λ重F-因子大集,记为LS_λ(F,G),是G中所有与F同构的子图的一个分拆{B_i},使得每个B_i均构成一个S_λ(F,G).当λ=1时,λ可省略不写.在[Ars Combin.,2010,96:321-329]中已经得到了LS_λ(K_(1,2),K_(v,v))的存在谱.本文证明了当v≡4(mod 12)时,存在LS(F,K_(v,v,v)),这里F∈{K_(1,3),K_(2,2)}.     

六点七边图的λ-填充与λ-覆盖

λKv为λ重v点完全图,G为有限简单图.λKv的一个G-设计(G-填充设计,G-覆盖设计),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是指一个序偶(X,B),其中X为Kv的顶点集,B为Kv中同构于G的子图的集合,称为区组集,使得Kv中每条边恰好(至多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为最大(最小)的,如果没有其它的填充(覆盖)设计有更多(更少)的区组.本文中,我们构作了三个六点七边图的最大填充与最小覆盖.     

λKv的最大K2,3填充设计和最小K2,3覆盖设计

对于一个有限简单图G,λK_v的G-设计(G-填充,G-覆盖),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是一个(X,B),其中X是K_v的顶点集,B是K_v的子图族,每个子图(称为区组)均同构于G,且K_v中任一边都恰好(最多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为是最大(最小)的,如果没有其它的这种填充(覆盖)设计具有更多(更少)的区组.本文对于λ>1确定了(v,K_2,3,λ)-GD的存在谱,并对任意λ构造了λK_v的最大K_2,3-填充设计和最小K_2,3-覆盖设计.     

一个六点九边图的图设计

令Kv表示v个顶点的完全图,G是一个不含孤立点的简单连通图.一个v阶的G-设计是将Kv划分成互不相交的子图,使得每个子图都和G同构,记为G-GD(v).研究六点九边图G11的图设计存在性问题.利用标准的递推构造并结合必要的直接构造,证明除去G11-GD(9)不存在以及G11-GD(18)的存在性未知外,G11-GD(v...     

子图匹配数与图无符号拉普拉斯谱(英文)

设H是图G的一个子图.图G中同构于H的点不交的子图构成的集合称为G的一个H-匹配.图G的H-匹配的最大基数称为是G的H-匹配数,记为ν(H,G).本文主要研究ν(H,G)与G的无符号拉普拉斯谱的关系,同时也讨论了ν(H,G)与G的拉普拉斯谱的关系.     

若干完全三部图的色唯一性

用P(G,λ)表示图G的色多项式.若对任意图H,当P(H,λ)=P(G,λ)时都有H和G同构,则称图G是色唯一的.给出了以下结果:m≥2且k≥0时,完全三部图K(m,m,m+k)是色唯一的;m≥2且m+1>k≥0时,完全三部图K(m,m+1,m+k)是色唯一的.     

五点八边图的完美T(G)-三元系

设G是Kn的子图.在G的每边外添加一点,将该边扩展为一个3长圈,且所添加的点两两不同,均异于G的诸顶点,这样得到的图形被记为T(G).如果3Kn的边恰好能够分拆成与T(G)同构的一些子图,则称这些子图构成一个n阶的T(G)-三元系.进而,若此分拆的全体内部边又恰构成Kn中全部边的一个分拆,则称这个T(G)-三元系是完美的.对于所有使得完美T(G)-三元系存在的正整数n的集合称为完美T(G)-三元系的存在谱.对于K4的所有子图及K5的7边以下子图G,其完美T(G)-三元系的存在性问题已经在一系列文章中被完全解决.本文将对不含孤立点的全部五点八边图G,确定完美T(G)-三元系的存在谱.     

λ（m）≤ξm（G）的一般充分条件

已经证明，当m≤3时，λ（m）-连通图G满足λ（m）（G）≤ξm（G）。当m≥4时，Bonsma等人指出不等式λ（m）（G）≤ξm（G）一般不再成立。最近，欧见平证明阶大于等于11的λ4-连通图G满足λ4（G）≤ξ4（G）.本文通过研究满足λ（m）（G）〉ξm（G）的λm-连通图所具有的结构性质，不仅易得以上结论，还得到如下一般结论：当m≥5时，阶大于m（m-1）的λm-连通图G均满足λm（G）≤ξm（G）.最后，通过构造例子说明本文给出的条件是最好的.     

关于完全t部图K(n1,n2,…,nt)的色唯一性

设P（G，λ）是图G的色多项式，如果对任意使P（G，λ）=P（H，λ）的图H都与G同构，则称G是色唯一图。这里通过比较图的特征子图的个数，讨论了由Koh和Teo在文献[1]中提出的问题（若｜ni-nj｜≤2，1≤i，j≤t且min{n1，n2，…，nt}充分大，K（n1，n2，…，nt）是否为色唯一图？）。证明了，若｜ni—nj｜≤2且t↑∑↑i=1 ni〉t^2/2＋t√t-1，则K（n1，n2，…，nt）是色唯一图；若αi=0或k，t↑∑↑i=1 n＋αi〉t^2k^2/8＋｜tk｜/2√t-1，则K（n＋α1，n＋α2，…，n＋αt）是色唯一图。其条件比文献[4]中的条件较好一些。     

完全三部图K(n_1,n_2,n_3)的色唯一性

设G是简单图,用P(G,λ)表示图G的色多项式.若对任意简单图H使P(H,λ)=P(G,λ),都有H与G同构,则称G是色唯一图.令K(n     

一类完全三部图的色唯一性

用P(G,λ)表示简单图G的色多项式.设G是一个给定的简单图,若对任意简单图H,当P(H,λ)=P(G,λ)时都有H和G同构(记为H≌G),则称图G是色唯一的.本文证明了以下结果:设n,k,△都为非负整数,其中k≥0,△∈{4,5},若n≥1/3k~2+1/3△~2-1/3k△-1/3k-1/3△+4/3,则完全三部图K(n,n+△,n+k)是色唯一的.同时还给出了一个猜想.     

与任意图正交的［0，ki］m1-因子分解

设G是一个图, k1,…, km是正整数.若图G的边能分解成m个边不交的［0,k1］-因子 F1,…,［0,km］-因子Fm,则称＝F1,…,Fm是G的一个［0,ki］m1-因子分解.如果H是G的一个有m条边的子图且对任意的1≤I≤m有｜E(H)∩E(Fi)｜＝1,则称与H正交.证明了若G是一个［0,k1＋…＋km－m＋1］-图,H是G的一个有m条边的子图,则图G有一个［0,ki］m1-因子分解与H正交.     

包含圈的一些Ramsey数

用两种颜色,比如红和蓝,给完全图K_n的边着色.把着红色和蓝色的边集分别记为E_1和E_2,把K_n的边集分别是E_1和E_2的生成子图分别记为R和B,那么称R和B是K_n的一个分解,记为K_n=R⊕B.图G_1和G_2的Ramsey数,记为r(G_1,G_2),是使得K_n的任意一个分解K_n=R⊕B有R(?)G_1或B(?)G_2的最小正整数n.这里符号G(?)H表示图G包含子图H.此外,用C_n表示长为n的圈,GVH表示图G和H的联图.K_n表示n个相互独立的点,B_n指联图K_2     

完备三分图K(A,B,C)有同构因子的某些充分条件

(ii)由E_j张成的子图G_j=(V,E_j)彼此同构。子图G_j叫做G的t分因子,记为G/t。{G_1…,G_t}叫做G的t个同构因子。如果G能够分解为t个同构因子,则称G是t可分的或t可分G,记为t|G。对于给定的t和恰有q条边的图G,t|G的一个明显的必要条件是t整除q,记为t|q。t|q叫做t|G的可分性条件。     

导出子图和周长的局部定理

设G是n阶2-连通图，3≤c≤n.本文绘出对于图G的每一个同构于K1.3或Z1的导出子图L，若d（u）且如果dL（u，v）=2有（v）=min{，|M3（u）|/2}这里M3（u）={v|dc（u,v）≤3}，则G包含长至少为c的圈．     

图中具有推广的正交（g，f）-因子分解的子图

设G是一个图，具有顶点集V（G）和边集E（G）．设g和f是定义在V（G）上的整数值函数且对每个x∈y（G）有g（x）≤f（x）．本文证明了如下的结果：若G是一个（mg＋kr，mf-kr）一图，且对每个x∈V（G）有g（x）≥r-1，H和G的任意给定的有kr条边的子图，则G中含有一个子图R，使R有（g，f）-因子分解r-正交于H，其中m，k和r是正整数且k〈m.