一个图的图设计(Ⅰ)

λ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．     

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分解为一个二部图

λKv是λ重v点完全图,对于有限简单图G,所谓图设计GGDλ(v)是序偶(X,B),其中X是Kv的顶点集,而区组集B为λKv的全部边的1种分拆,其中每个成员(区组)都是与G同构的子图.利用"差方法"、"带洞图设计"等工具,结合一系列小设计的构作,对1个6点8边图G1的图设计进行了讨论,并证明了:存在G1GDλ(v) λv(v-1)≡0(mod16),v≥6.     

两类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)的存在谱.     

关于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)。     

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

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

关于两个六点八边图的图设计

设Kv是一个v个点的完全图,G为Kv的一个不含孤立点的简单子图.Kv的一个G-设计,常记为(v,G,1)-GD,是指一个二元组(X,B),其中X为Kv的顶点集,B是Kv的一些子图(亦称为区组)构成的集合,使得每一个区组与G同构,且Kv的任何一条边恰在B的一个区组中出现.文章讨论了两个六点八边图G1和G2的图设计存在性问题,并证明了(v,Gi,1)-GD(i=1,2)存在的必要条件v≡0,1(mod 16)且vE 16也是充分的.     

关于六点八边图的图设计

设Kv是一个v点的完全图，G为一个不含孤立点的简单图。Kv的一个G-设计，常记为（v,Gi,)-GD，是指一个二元组（X，B），其中X为Kv的顶点集，B是Kv的一些子图（亦称为区组）构成的集合，使得每一个区组与G同构，且Kv的任何一条边恰在B的一个区组中出现。本文讨论了三类六点八边图（v,Gi,1)-GD（i=1,2,3)的图设计存在问题，即（v,Gi,1)-GD(i=1,2,3)存在的充要条件是v≡0,1 mod(16）且v≥16。     

一类六点八边图的图设计

设Kv是一个v个点的完全图,G为Kv的一个不含孤立点的简单子图.Kv的一个G-设计,常记为(v,G,1)-GD,是指一个二元组(X,B),其中X为Kv的顶点集,B是Kv的一些子图(亦称为区组)构成的集合,使得每一个区组与G同构,且Kv的任何一条边恰在B的一个区组中出现.文章讨论了一类六点八边图中尚未解决的3个图Gi(i=1,2,3)的图设计存在性问题,并证明了(v,G,1)-GD(i=1,2,3)存在的必要条件v=0,1(mod 16)且≥16也是充分的.从而给出了这类六点八边图图设计存在的完全解.     

七点有向θ图的图设计

设Kv是一个v点的有向完全图,G是一个简单有向图,Kv的一个G-设计,记为(v,G,1)-GD,是指一个二元组(X,B),其中X为Kv的点集,B为Kv的一些子图(也称为区组)构成的集合,使得任一子图(区组)与G同构,且Kv的任意两个不同点组成的有向边恰在B的一个区组中出现。研究了七点有向图的图设计的存在性问题。     

图K2,3+e的最优覆盖

设λKv是λ重V点完全图，G为一个无弧立点的有限简单图，λKv的一个G-覆盖设计，记为（v,G,λ）-CD，是指一个对子（X，D），其中X为点集，D为λKv的一些子图（亦称为区组）构成的集合，使得任一区组均与G同构，且任意两个不同点组成的边至少在D的λ个区组中出现，讨论了两类六点七边图Gi=K2,3 e(i=1,2)的最优覆盖的存在性问题，证明了存在（v,Gi,λ）-OCD，i=1,2当且仅当v≥6，除去非最优（但为最大）的C（6，G1，1）=4。     

六点有向θ图设计

设Kv是一个v点的有向完全图,G是一个简单有向图。Kv的一个G-设计（记为（v,G,λ）-GD）是指一个二元组（X,B）,其中X为kv的点集,B为Kv的一些子图（也称为区组）构成的集合。任一子图（区组）与G同构,且Kv的任意两个不同点组成的有向边恰在B的一个区组中出现。本文研究了不同构的六点有向θ图设计的存在性问题。     

一类图设计存在性的完全解决

一个(λKv,G)-设计是将λKv划分成边互不相交的子图,使得每一个子图都和G同构.本文作者将完全解决(λKv,G19)-设计对于任意λ的存在性.证明了(λKv,G19)-设计存在的充要条件是λv(v-1)≡0(mod 14)且(v,λ)≠(8,1).     

8长圈加1条弦的图设计

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

几类7点7边图的图设计与最优填充

设λKv是λ重ν点完全图，G是无孤立点的有限简单图。将G－设计（G－填充）记作（ν，G，λ）－GD（（ν，G，λ）－PD）是指一个序偶（X，B），其中X是完全图Kν的顶点集，B是Kν中间构于G的子图（区组）的集合，使得Kν中每条边恰好（至多）出现在B的λ个区组中。讨论了3类7点7边图Gi(i=1,2,3)的图设计及最优填充问题，并给出了（ν，Gi,1)-GD及（ν，Gi,1)-OPD(i=1,2,3)存在的谱。     

6长圈加1条弦的图设计

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

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

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

准可分解4-星设计

设λKv表示v个顶点λ重的完全图.一个4-星设计是指有序对（X,B）,其中X=V（λKv）,B是一些同构于4-星的子图（称为区组）的集合,使得λKv中每一条边恰好出现在B的唯一区组中.如果B能划分为平行类（顶点集的划分）,则（X,B）为可分解4-星设计;若B能划分为准平行类（顶点集去一点的划分）,则（X,B）为准可分解4-星设计.在可分解4-星设计存在的充分必要条件基础上,证明了准可分解4-星设计存在的必要条件v≡1（mod 5）,λ≡0（mod 8）也是充分的.     

λKυ分解为一个二部图

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

两类八点图的图设计

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