ExtendedMendelsohn三元系大集的构造-河北师范大学学报.PDFVIP

第30 卷 第5 期 河北师范大学学报(自然科学版) Vol.30 No.5 2006 年　9 月 Journ l of Hebei Norm l University (N tur l Science Edition) Sep.2006 Extended Mendelsohn 三元系大集的构造 王小哲, 　于兰香 (华北电力大学应用数学系, 河北保定　071000) 摘　要:Mendelsohn 三元系大集(LM TS)是一类有 设计的大集, 它的存在性问题已完全解决.若在以上 的设计中要求有序对(x , x )也出现, 则称这样的设计为extended Mendelsohn 三元系大集(LEMT S).给出了 LEMT S 的构造, 从而完全解决了LEMT S 的存在性问题. 关键词:Mendelsohn 三元系大集;extended Mendelsohn 三元系大集;循环三元组 中图分类号:O 157 　　　文献标识码:A 　　　文章编号:1000-5854(2006)05-0497-03 设X 为一个v 元集, x , y , z 是X 的3 个互不相同的元, X 上的循环三元组〈x , y , z 〉(或〈y , z , x 〉, 〈z , x , y 〉), 表示如下3 个有序对(x , y ), (y , z )和(z , x ). 设X 为一个v 元集,B 是由X 上的循环三元组所构成的集合, 使得对X 的任意2 个不同的元 x, y , 有序对(x, y )恰出现在B 的唯一一个循环三元组中, 称(X ,B)为v 阶Mendelsohn 三元系, 记为MTS (v ). 设(X ,A), (X ,B)为集合X 上的2 个循环三元系, 如果A和B 不含相同的循环三元组, 则称这2 个 M endelsohn 三元系是互不相交的. M endelsohn 三元系大集, 是指把X 的所有循环三元组分拆成两两互不相交的Mendelsohn 三元系, v 阶Mendelsohn 三元系大集记作LMTS (v ).易知v 元集X 的所有循环三元组恰分拆成v -2 个两两 互不相交的Mendelsohn 三元系. 关于LEMTS 的存在性问题已完全解决, 见文献[1 ～3], 结论为如下引理1. [1] 引理1 　LMTS (v )存在当且仅当v ≡0, 1(mod 3), v ≥3, 且v ≠6. Bennett 和Mendelsohn 在文献[4] 中提出extended Mendelsohn 三元系的概念. 设X 为一个v 元集, B是由X 上的循环三元组(三元组中可以有相同的元)所构成的集合, 使得对 X 的任意两元x , y (x , y 可以相同), 有序对(x, y )恰出现在B 的唯一一个循环三元组中, 称(X ,B)为v 阶Extended M endelsohn 三元系, 记为EMTS (v ). 对于EMTS 的存在性有如下引理2. [4] 引理2 　对任意的正整数v ≥3, 均存在EMTS (v ). 类似于Mendelsohn 三元系大集的定义, 给出extended M endelsohn 三元系大集的定义. 如果v 元集上的所有循环三元组恰能分拆成v 个两两互不相交的EMTS (v ), 则称它们构成一个 v 阶extended Mendelsohn 三元系大集, 记作LEMTS (v ). 下面给出LEMTS 的构造. 引理3　当v ≡1, 2 (mod 3)时, 存在LEMTS (v ). 构造　设X =Z v , d ∈X , τd 包含如下循环三元组: 1)〈d, d, d 〉, 2)〈x , x , z 〉, 2x +z ≡3d (mod υ), x ≠z ∈X , 3)〈x , y , z 〉〈x , z , y 〉, x