区组大小为8完美Mendelsohn设计.pdf

区组大小为8 的完美Mendelsohn 设计 项鸣晓，靳贻良 宁波大学理学院，浙江宁波（315211 ） E-mail ：xiangmingxiao@163.com 摘 要：令 v 为正整数和 K 是正整数集合， Mendelsohn 设计记为(v,K ,1) −MD 是对集 (X , B) ，其中X 是v 个点的集合，B 是X 的循环有序子集，大小为集合K （称为区组）使 得X 中的每一有序对在区组集B 中的一个区组中恰只连续出现一次。如果对所有的t=1 ， 2 ，…r ，X 中的每一有序对在区组集B 中的一个区组中恰是t-分离的，那么(v,K ,1) −MD 称 为 r-重完美设计，简记为 r-重完美(v,K ,1) −MD 。如果K {k}和r k - 1 ，那么 r-重 (v, {k },1) −MD 就为(v, k ,1) −完美Mendelsohn 设计，简记为（v, k ，1）−PMD 。在这篇文章 中我们来研究区组大小为8，对v ≥9 且v ≡1,9(mod 72) 的完美Mendelsohn 设计的存在性。 关键词: （v, k ，1）−PMD ；BIBD；截态设计TD；Mendesohn 设计 中图分类号：O157 1．引言 如果a ≺a ≺... ≺a ≺a 称这个k 个元素组成的集合为循环有序的，a , a 在循环 1 2 k 1 i i+t k-元组（a , a ,..., a ）中是t-分离的。 1 2 k 令v，λ为正整数和K 是正整数集合，完美Mendelsohn 设计记为(v,K ,λ) −MD 是对 集(X , B) ，其中X 是v 个点的集合，B 是X 的循环有序子集，大小为集合K （称为区组） 使得X 中的每一有序对在区组集B 中的λ个区组中恰只连续出现一次。如果对所有的t=1 ， 2 ，…r ，X 中的每一有序对在区组集B 中的一个区组中恰是t-分离的，那么(v,K ,λ) −MD 称为 r-重完美设计，简记为 r-重完美（v,K ,1）−MD 。如果K {k}和r k - 1 ，那么r-重 (v, {k },1) −MD 就为(v, k ,1) −完美Mendelsohn 设计，简记为（v, k ，1）−PMD 。 如果我们忽视点的循环有序的，那么（v, k ，1）−PMD 就为平衡不完全区组设计，参数 为v,k 和λ k −1，简记为(v, k , k −1) −BIBD ，因此我们认为完美Mendelsohn 设计是广 义的平衡不完全区组设计，Mendelsohn 在[1]中首次介绍了完美循环设计的概念。这个概念 被许多作者做进一步研究，包括Hsu 和Keedwell[2] ，其中这些设计都被称为Mendelsohn 设 计，我们因此也采用此术语。 λv(v - 1) 我们很容易发现在 （v, k,λ）−PMD 中区组的个数为 ，因此， k （v, k ，λ）−PMD 存在的必要条件为λv(v −1) ≡0(mod k ) ，这个必要条件在一般情况下 都是充分的，但是不是全部的。 定理1.1：[1，9] （1）v ≥3 ，(v ，3,λ) −PMD 存在的必要条件为λv(v −1) ≡0(mod 3) ， 也是充分的，除了不存在(6,3,1) −PMD 。 （2 ）[11,12,13,14] v ≥4 ，(v ，4,λ)