论文部分内容阅读
设Kv是v阶完全图,G是有限简单图,v阶λ重G-设计(G-填充设计,G-覆盖设计),G-GDλ(v)(G-PDλ(v),G-CDλ(v)),是一个序对(X,B),其中X是Kv的顶点集,B是Kv的一些与图G同构的子图(称为区组)的集合,使得Kv中的每条边均恰好(至多,至少)出现在B的λ个区组中.对于一个填充(或覆盖)设计,如果不存在其它同阶数的填充(或覆盖)设计含有更多(或更少)的区组,则称此填充(或覆盖)设计为最大(或最小)的,记为max G-PDλ(v)(或min G-C Dλ(v)).最大填充设计(或最小覆盖设计)的区组数称为填充数(或覆盖数),记为p(v,G,λ)(或c(v,G,λ)).如果p(v,G,λ)=([)λv(v-1)/2|E(G)](或[λv(v-1)/2|E(G)|(])=c(v,G,λ)),则称G-PDλ(v)(或G-CDλ(v))为正则的,记作G-OPDλ(v)(或G-OCDλ(v)). 设有G-GDλ(v)(X,B),H是G的子图.现将B中每个区组B分拆为B和BB,其中B同购于H.记B(H)={B:B∈B}.若D(GH)={BB:B∈B}中的全部边可被重新安排成一族与H同构的子图(记为D(H)),那么(X,B(H)∪D(H))恰是一个H-GDλ(v),上述过程被称为G-GDλ(v)到H-GDλ(v)的变化,记为(G>H)-GMλ(v). 本文讨论了两个二部图的图设计到其部分子图的图设计的变化,确定了其存在谱,同时还完全解决了4个含5长圈的七点七边图Di(1≤i≤4)的图设计,图填充和图覆盖问题.