K2，3的多重多部图设计的构造.pdfVIP

维普资讯 第23卷第6期 大 学 数 学 V01．23，№ ．6 2007年 12月 C0LLEGE MATHEMATICS Dec．2007 K2，3的多重多部 图设计 的构造 舒 伟 (淮海工学 院 数理科学系 ，江苏 连云港 222005) [摘 要],1K (￡)是一个 重完全多部图，G为一个不带孤立点的简单图．所谓的图设计 G—HD (t)是 一 个序偶(X，日)，其 中X是K (￡)的顶点集 ，日为2K (f)的一些子图(亦称为区组)构成 的集合 ，使得任一区组 均与图G 同构，且 K (￡)的任意 2个不同点组成的边恰在 日的 个区组 中出现 ．本文讨论 了G—Kz．。的完全 多部图设计存在性问题 ，证 明了存在 G—HD (t)当且仅 当2n(～1)t。；0(modl2)，≥2，￡≥5且 (，，t) ≠ (9，l，1)，(12，l，1)，(3，l，2)，(4，1，2)． [关键词]多重完全多部图；图设计；带洞图设计 [中图分类号]O157．5 [文献标识码]A [文章编号]1672—1454(2007)06—0080—06 1 引 言 设 K 是 重完全图，其任意 2个不 同顶点 和Y间都恰有 条边 (z，Y)相连，当 一1时简记为 K ．对于有限简单 图G，所谓的图设计 G—GD ()是一个序偶 (X，曰)，其 中X是K 的顶点集 ，区组集 曰 为 K 的一些子图(区组)构成的集合，使得任一区组均与 G同构，且 K 的任意 2个不同点恰在 曰的 个 区组中出现．我们记 2K 一 (X，E)为一个 重完全多部图，满足 ” 一 (i)其点集为x—UX，其中Ix。I— (一1，2，…，，2)，VnV，一 (1≤ij≤，2)，IxI一 ：，． — J一 1 —i = l (ii)其边集 ，Vz∈X，，y，∈X ，i：／=j，边 (z，)在 E中出现 次，而当 — 时，(z，) E． 对于简单图G，若2K ，…．．，．可分拆成若干个与G同构的子图的并 ，且 K ．．．的任意 2个不同 点组成的边在所有与 G 同构 的子 图构成 的集合 中出现 次 ，则称其为带洞 的 G一设计 ，其 中诸 X (14 ≤，2)称为洞，T— ：；… 称为带洞 G一设计 的型．为方便计 ，它被表达为指数形式．例如 ： ：。… 表示m。长洞出现 。次，…， 长洞出现 次，这样的带洞G一设计常记为G—HD (T)或 G—HD ( ；。… )．当 一