循环群Zv上（v，k，k-1）-不相交差族的构造方法.pdfVIP

北京交通大学硕士学位论文 第一章绪论 第一章绪论 1基本概念 些k元子集构成的子集族。对任意B∈G，记AB={Ⅱ一b：n，b∈B，n≠”，△，= U蚶△毋，若△，=A(G＼日)(其中A(G＼日)表示包含G＼日中的任一元素恰好A次的 多重集)，则称，是一个(G，Ek，A)．差族(或(G，只‰A)一DF)，B‘称为基区组。当g= 1时，简记为(G，E cyclic packingCP(k，1；钉)。 为(口，g，k，A)-DF，在【8l中它也被称为g—regular 个(G，H，奄，A)．差族，如果它满足下面两个条件：(1)，里的基区组互不相交；(2) t= 而G上(口，g，k，k一1)．DDF存在的必要条件是t，兰g(rood七)。 一个(G，K，sA)一DDF，并且(G，t 关于(G，k，A)一DDF的一些递归构造方法。这些构造方法我们将在第二章的第二节 介绍。 下面介绍与循环差族和不相交的差族密切相关的两个概念：循环可分组设计 与半循环的frame。 可分组设计(GDD)是一个满足下面条件的三元组(x，9，B)： (1)9是集合x(x中的元素叫点)的一个划分，g中的元素叫做组； (2)日是x的子集的集合(嚣中的元素叫区组)，并且每个组和每个区组至多交于一 个点： (3)每一对来自不同组的点恰包含在A个区组中。 北京交通大学硕士学位论文 第一章绪论 常用指数形式来描述一个GDD的组型：组型tf，…t静表示在g中有地个如长 平衡不完全区组设计(BZBD)，记为B(‰1：秽)． 设(x，多，8)是一个GDD，盯是．x上的一个置换。对于任意集合S={。1，．．．，z。) 构盯把8分成若干个等价类，每个等价类叫层在盯下的轨道。每个轨道取出一个区 组代表叫做此GDD的基区组。一个GDD称为是循环的，如果它有一个白同构包含 t，)。我们 一个长为=ⅨI的圈，这时可以把x看成玩并取盯：i—i+1(mod 用(KA)一CGDD来表示轨道都为长轨道的循环的GDD。 设芦是一个扣，9，k，A)-CDF，则，可以产生一个组型为矿扣=9n)的(％，砷一 一个划分，则称C为此GDD的一个部分平行类。若组集8能够划分成一些部分平行 类的并，则此GDD称为一个．细me。易见，磊上一个(％夕，七，七一1)一DDF可以产生 ——个(t，，g，七，七一1)一frame。 假设n和h都是正整数，厶={1，2，…，n}，s=厶×磊。如果s上存在一 为半循环的。易知磊上的(hn，h，后，七一1)．DDF可以产生一个半循环的(概，h，七，k- 11—丘锄e。 例子1．1．1Z15上一个(15，3，4，3)一DDF的基区组如下： {1，2，4，8)，{3，11，12，14}，{6，7，9，13}。 列出它的五个平行类如下(分别模加0，1，2，3，4)： {l，2，4，8，，{3，11，12，14}，{6，7，9，13}， {2，3，5，9)，{4，12，13，15}，{7，8，10，a4}， {3，4，6，lo}，{5，13，14，16}，{8，9，11，15’， {4，5，7，11)，{6，14，15，17}，{9，10，12，16}， {5，6，8，12)，{7，15，16，18}，{lo，11，13，17}a 将每一个平行类中的元素分别表示成厶×磊的形式，即可得到一个组型为35的 半循环的(15，3，4，3)一DDF，它的五个初始平行类如下所示： 2 北京交通大学硕士学位论文 第一章绪论 RI：{