关于一类特殊六点八边图的图设计.pdfVIP

第6卷第4期 淮阴师范学院学报(自然科学版) VDJ．6 N0．4 200r7年 l1月 JOURNAL OF HUAIYIN TEACHERS COLLEGE(NATURAL SCIENCE EDmON) N0v．200r7 关于一类特殊六点八边图的图设计 刘重阳 (山东工商学院数学学院，山东烟台 264005) 摘 要：讨论了一类特殊六点八边图的图设计存在性问题，证明了其存在的充分必要条件，从 而给出了这类图设计存在的完全解． 关键词：图；图设计；带洞图设计；PBD．闭包 中图分类号：0157．5 文献标识码：A 文章编号：1671—6876(2007)04—0276—04 r z，≥ 尼 【一 l；0(m0dd) b 。 。 图l 顶点度的最大公因子为2的两个六点八边图 且 ≥17也是充分的． 1 基本定义 = 定义1 设K…， … ． ( ， )为一个完全多部图，满足： 收稿日期：2007．06．22 作者简介：刘重阳(1977．)，男，山东济南人，讲师，主要从事图与组合最优化方面的研究 第4期 刘重阳：关于一类特殊六点八边图的图设计 277 1)其顶点集 =U ，这里l l=n ，且 是两两不交的，i=1，2，…，m，l l= = n ； 1 1 2)其边集 ，V ∈ ，Y∈ ，，i≠ ，边( ，Y)∈E，而当i= 时，( ，Y) E． 定义2 给定一个图G，若 ．， ，， 可分拆成若干与G同构的边不交的子图的并，则称其为带洞 G设计，记为( ，G，B)．其中 ：L_J 为K 的点集，G={ 。， ，…， }( 亦称为洞)，B为 ， 与G同构的边不交子图(亦称为区组)的集合，(n ，n ，…， )称为带洞G设计的型，为r方便，也可用 指数形式记为(n ，n ，…，n )，即n。出现 。次，…，n 出现 次．这样，一个带洞 G设计常记为 C,-HD(n -，n ，…，n )． 特别地，一个C,-HD(1 一12) )也称为不完全的G设计，记为( ，12)；G，1)．ID．易知，一个( ，G，1)．GD 也是一个G-HD(1 )或是一个( ，12)；G，1)．117，其中， =0或1． 定义3 设K是一个正整数集合，称( ， 是一个成对平衡设计，记为PBD[ ，K]，其中 是有 个点的有限集合，B是 的一个子集(区组)簇，且满足下列两个条件： 1)如果B∈B，贝0 l B l∈K； 2) 中任意两个不同的元素恰在B的一个区组中出现． 定义4 没K是一个正整数集合，若PBD[ ，K]存在一定有 属于集合K，则称K是一个PBD-闭集． 定义5 设K是一个正整数集合，且有B(K)：{ 1 PBD[ ，K]}，则称胎口闭集B(K)为K的 闭包， 2 直接构造 在本文的直接构造中，阿贝尔群起了重要的作用，类似于在构造不完全平衡设计(BIBD)中采用的 方法，我们不是列出所有的区组，而是给出设计的基区组(亦称为初始区组)，然后在阿贝尔群的作用下 展开得到区组集．即：设G是一个加法阿贝尔群，B：(rzl，rz2，rz3，rz4，Ⅱ5，rz6)(或B=(∞，rzl，rz2，rz3，rz4， n5))是一个Ⅸ组．则B在群