λ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-覆盖设计.     

K_(2,3)的多重多部图设计的构造

λKn(t)是一个λ重完全多部图,G为一个不带孤立点的简单图.所谓的图设计G-HDλ(tn)是一个序偶(X,B),其中X是Kn(t)的顶点集,B为λKn(t)的一些子图(亦称为区组)构成的集合,使得任一区组均与图G同构,且λKn(t)的任意2个不同点组成的边恰在B的λ个区组中出现.本文讨论了G=K2,3的完全多部图设计存在性问题,证明了存在G-HDλ(tn)当且仅当λn(n-1)t2≡0(mod12),n≥2,nt≥5且(n,,λt)≠(9,1,1),(12,1,1),(3,1,2),(4,1,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-覆盖设计.     

完全二部图的Kp,p-分解大集的存在谱北大核心CSCD

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

恰含两个圈的二部图的能量

设λ1,λ2,…,λn是n阶图G的特征值,图G的能量是E(G)=|λ1| |λ2| … |λn|,设G(n)是n个顶点n 1条边的恰有两个圈的连通二部图的集合,Z(n;4,4)是G(n)中的一个图,它的两个长为4的圈恰有一个公共点,其余n-7个点都是悬挂点且均与这个公共点相邻．文中证明了Z(n;4,4)是G(n)中具有最小能量的图。     

一个六点九边图的图设计

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

参数为(ν,λ)的单纯Mendelsohn三元系大集

-个参数为(ν,λ)的Mendelsohn三元系,记为MTS(ν,λ),是一个对子(X,β),其中X是一个ν元集, B是X中循环三元组的集合,满足X的每-个有序对都恰包含于B中λ个循环三元组.设(X,B)是-个没有重复循环三元组的MTS(ν,λ),如果满足(x,y,z)∈B必有(z,y,x)∈B,则称(X,B)为单纯的,记为PMTS(ν,A).不相交PMTS(ν,λ)大集,记为LPMTS(ν,λ),是-个集合{(X,Bi)}i,其中每个(X,Bi)都是一个PMTS(ν,λ),并且UiBi构成了X中所有循环三元组的-个划分.本文给出了LPMTS(ν,λ)的一些构造方法及存在性结果,最终完成了LPMTS(ν,2)的存在谱.     

完全二部图的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为任意素数.     

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

设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)是色唯一的.     

第二大根小于1的简单图

设G为n阶简单图,λ2(G)为G的第二大特征根．我们给出了所有使λ2(G)<1 的偶图,以及使λ2(G)<1、围长不小于4的非偶图．     

图类^－αKα,αUβCP（b）中的一类特殊整谱图

图G是一个简单，图G的补图记为^－G，如果G的谱完全由整数组成，就称G是整谱图，鸡尾酒会图CP（n）=K2n-nK2（K2n是完全图）和完全二部图Kα,α都是整谱图^[1]。^—μ1表示图类^－αKα,αUβCP（b）的一个主特征值，本文确图了当^-μ1=2b＋1时，图类中^－αKα,αUβCP（b）的所有的整谱图。     

一类完全三部图的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).     

有循环极大子群的素数幂阶群的作用是边传递的图(Ⅰ)

Γ是一个有限的、单的、无向的且无孤立点的图, G是Aut(Γ)的一个子群.如果G在Γ的边集合上传递,则称Γ是G-边传递图.我们完全分类了当G为一个有循环的极大子群的素数幂阶群时的G-边传递图.这扩展了Sander的结果.本文仅给出其中的一种情况,即当G同构于群时,所有的G-边传递图.结果为,是G-边传递的当且仅当Γ为下列图之一     

图类￣(αKa∪βCP(b))中的整谱图

设图G是一个简单图,图G的补图记为(G),如果G的谱都是整数,就称G是整谱图.鸡尾酒会图CP(n)=K2n-nK2(K2n是2n阶完全图)和完全图Ka都是整谱图[1].本文确定了图类￣αKa∪βCP(b)中的所有整谱图.     

一个图的匹配数条件

设G是一个简单图,在图G中任意一个最大匹配的基数叫做G的匹配数,记作v(G),在这篇文章中我们获得了下面的结果,(1)设G是连通的和不完全的,则对于x,y∈v(G)和xyE(G),v(G-{x,y}=v(G)-1的充分必要条件是(a)G[A(G)]是完全的和A(G)的每一个点和C(G)的每一个点相邻,(b)c(D(G))=|A(G)| 1,和(c)y∈D(G-x)对于x,y∈C(G)。(2)设G是连通的和不完全的,则v(G-{x,y})=v(G)-2对于x,y∈V(G)和xyE(G)的充分必要条件是GK_(n,n),其中n≥2。     

图类aKa,a\βCP(b)中的整谱图

设图G是一个简单图,图G的补图记为G,如果G的谱都是整数.就称G是整谱图.鸡尾酒会图CP(n)=K2n-nK2(K2n是2n阶完全图)和完全二部图K…都是整谱图.确定了图类 aKa,a∪βCP中的所有的整谱图.     

偶图的K3.3剖分

设G＝（X，Y；E）是一个偶图。如果|X|≥2|Y|-3且d(v)=3对任意v∈X,那么G含有K3.3的剖分。有例子表明|X|的下界在一定程度上是不可改进的。     

一类图设计的构造

设Kv是一个v点完全图,G是一个有限简单图,Kv上的一个图设计G-GD(v)是一个对子(X,B),其中X是Kv的顶点集合,B是Kv的一些与G同构的子图(称为区组)的集合,使得Kv的任意一条边恰出现在B的一个区组中．文中讨论的简单图是C(r)10,即带有一条弦的10长圈(含有11条边),其中r表示弦的两个端点之间的顶点个数,1≤r≤4．给出了C^（r）10-GD(v)的存在谱：v=0,1(mod11)且v≥11．