8长圈加1条弦的图设计

设λKυ是λ重υ点完全图，G是无孤立点的有限简单图，将G-设计记作(υ，G，λ)-GD=(X，R)，其中X是完全图Kυ的顶点集，R是Kυ中同构于G的子图(区组)的集合，使得Kυ中每条边恰好出现在R的λ个区组中，利用差分法、拟群及组合设计理论中经典的PBD方法等，建立了若干有效的构造图设计的递归方法，并给出了若干小设计的直接构造，最终解决了λ=1时，8长圈加1条弦的图设计的存在性问题，并给出其λ=1时的存在谱。     

一个图的图设计(Ⅰ)

λKv是λ重v点完全图,对于有限简单图G，所谓的图设计G—GDλ(v)是一个序偶(X，B)，其中X是Kv的顶点集，而区组集V为λKv的全部边的一种分拆，其每个成员(区组)都是与G同构的子图．运用“差方法”、“带洞图设计”等工具，结合一系列小设计的构作，对一个6点9边图H的图设计进行了讨论，并证明了：存在H-GD(v)←→v≡0，1(mod9)且v≠9．     

带2条弦的6长圈的图设计

λKυ是λ重υ点完全图,对于有限简单图G,图设计G—GDλ(υ)是1个序偶(X,B),其中X是Kυ的顶点集,区组集B为λKυ的全部边的一种分拆,其每个成员(区组)都是与G同构的子图．利用“差方法”、“带洞图设计”等工具,结合一系列小设计的构作,对6点8边图C的图设计进行了讨论,并证明了存在C—GD(υ)←→υ≡0,1(mod16),υ≥6．     

6长圈加1条弦的图设计

设λK_v是λ重v点完全图,G是无孤立点的有限简单图.将G-设计记作(v,G,λ)-GD,是指一个序偶(X,),其中X是完全图K_v的顶点集,是K_v中同构于G的子图(区组)的集合,使得K_v中每条边恰好出现在的λ个区组中.解决了图6长圈加1条弦的图设计问题,并给出其λ=1时的存在谱.     

关于K2,3+e的图设计

λKv是一个λ重v点完全图，G为一个不带弧立点的简单图。λKv的一个G－设计，常记为（v,G,λ)-GD，是指一个对子（X，　），其中X为Kv的点集， 为Kv的一些子图（亦称为区组）构成的集合，使得任一区组均与图G同构，且Kv的任意2个不同点组成的边恰在 的λ个区组中出现。现讨论了2类6点7边图Gi=K2,3 e(i=1,2）的图设计存在性问题，证明了存在（v,Gi,λ)-GD(i=1,2）当且仅当14|λv(v-1),v≥6，且（v,λ)≠(7,1),(8,1)。     

K2,2s-设计的存在性

λKv是一个λ重v点完全图,G为一个不带孤立点的简单图,λKv的一个G－设计,常记为（v,G,λ)-GD,是指一个对子（X,B）,其中X为Kv的点集,B为Kv的一些子图（亦称为区组）构成的集合,使得任一区组均与图G同构,且Kv的任意2个不同点组成的边恰在B的λ个区组中出现,用统一的方法构造了K2,2^s-设计,并给出其存在谱,存在（v,K2,2^s,λ）－GD当且仅当。     

两类含四长圈的八点图的图设计

设λKv为完全多重图,G为有限简单图,图设计G-GDλ(v)是一个序偶(X,B),其中,X是Kv的顶点集,区组集B为λKv的一种分拆,B是与G同构的子图,利用"差方法"、"带洞图设计"等工具,结合小阶数的设计,对两类八点八边图的图设计进行讨论,并确定了对任意λ的存在谱.     

K2s,2t-设计的存在性

Kν是ν点完全图，G为不带孤立点的简单图。Kν的G－设计常记为（ν，G，1）－GD，是指一个对子（X，B），其中X为Kν的点集，B为Kν的一些子图（亦称为区组）构成的集合，使得任一区组均与图G同构，且Kν的任意2个不同点组成的边恰在B的一个区组中出现。采用统一的方法构造了K2^s,2^t-设计，并给出其存在谱如下：存在（ν，K2^s,2^t,1)-GD当且仅当ν≡1(mod 2^s t 1),s,t≥0。     

6长圈带2条悬边的8阶连通图的图设计

构造了所需的带洞图设计, 再结合一些小阶数的图设计的存在性, 得到了关于图Gi (i=1,2,3,4)的图设计(v, Gi ,1)-GD的存在谱, 其中图Gi (i=1,2,3,4)是给6长圈增加2条悬挂边所得的8阶连通图, 且G1, G2, G3, G4互不同构.     

一个6点8边图的图设计

主要讨论了一个6点8边图的图设计问题.利用成对平衡设计给出了图设计存在的递归构造,利用恰二可迁群有效地构造了所需的带洞图设计,且用直接构造的方法确定了作为递归构造基础的图设计的存在性,从而给出了这个6点8边图的图设计存在谱.     

两类8点8边图的图设计

设λKv是v阶λ重完全图,G是一个有限简单图.图设计(v,G,λ)-GD是一个有序对(X,B),其中X是完全图Kv的顶点集合,B是λKv中与G同构的子图(叫做区组)的集合,使得Kv中任意一条边恰出现在B的λ个区组中.研究了两类8点8边图Gi(i=1,2)的图设计,并给出了(v,Gi,1)-GD(i=1,2)的存在谱.     

2-连通图过指定边的长圈

对2-连通非完全图G，令μ(G)=min{max{dG(v)}|dG(u,v)=2}．一个著名的范定理;每一个2-连通非完全图G包含长至少为min{|V(G)|，2μ(G)}的圈．在这篇论文中我们证明了：若G是2-连通无三角形图，则通过G的任一边存在长至少为min{|V(G)|，2μ(G)}的圈．     

一个图的图设计(Ⅱ)

图H是带3条弦及1条悬边的5长圈,其λ=1时的图设计结论已知.现运用"差方法"、"带洞图设计"等工具,结合一系列小设计的构作,研究λ＞1的情况下H-GDλ(v)的存在性,并完成其存在谱H-GDλ(v)存在<=>λv(v-1)≡0(mod18)且(v,λ)≠(9,1).     

一个图的图设计(II)

图H是带3条弦及1条悬边的5长圈,其λ=1时的图设计结论已知.现运用"差方法"、"带洞图设计"等工具,结合一系列小设计的构作,研究λ>1的情况下HGDλ(v)的存在性,并完成其存在谱:HGDλ(v)存在 λv(v-1)≡0(mod18)且(v,λ)≠(9,1).     

利用Skolem序列构作图Km+2\Km的图设计

首先应用Skolem序列及Langford序列等直接构作了图G4=K6\K4的2个无穷类图设计,进而将这2个构作方法推广到更广泛的图类Gm=Km 2\Km上,给出了Gm-GD(2(2m 1)t 1)与Gm-GD(2(2m 1)t)的直接构造.其中m与t为任意正整数(前者中m奇且t≡2，3（mod4)的情形除外）。     

完全图Kn的8长圈最小覆盖设计

首先对所需要的小阶数w构作其最小覆盖设计,然后应用递归构造给出了任意v≡w（mod 16）的最小覆盖设计,从而证明了对任意正整数v完全图Kv的8长圈最小覆盖设计的存在性.     

关于完美3—全图的一点注记

得到３－全国含有奇洞的充要条件,完美３－全图是ｋ是染色的充要条件及３－全图是连通的充要条件。     

多部竞赛图的点泛圈性

把c-部完全图的每条边任意加上一个方向后得到的定向图称为c-部竞赛图,设T为c-部竞赛图,定义ig(T)=maxx,y∈VCT│d^ (x)-d^-(y)│。给出了c－部竞赛图具有点泛圈性的一个充分条件,即：设T为c－部竞赛图（c≥13),V1,V2,…Vc为T的各分部。如果│V1│≤│V2│≤…≤│Vc│≤│V1│ 1并且ig(T)≤1,那么T具有点泛圈性。     

完全图Kv的8长圈最大填充设计

研究了完全图Kv的8长圈最大填充设计.在给出了2个递归构造并构作了一系列最大填充设计后,对所有正整数v≥8完全确定了相应的填充数.     

图K2,3+e的最优填充

主要讨论了2类6点7边图Gi＝K2,3 e(i=1，2）的最优填充存在性问题，证明了：存在（v,Gi,1）－OPD当且仅当v≥6，除去非最优（但为最大）的P（6，Gi，1）＝1有未知的（9,Gi,1）－OPD，i＝1，2。