循环群Z_2cv_上（v2ck2ck-1）-不相交差族的构造方法.pdfVIP

北京交通大学硕士学位论文 第一章绪论 第一章绪论 l基本概念 些七元子集构成的子集族。对任意B∈G，记△B={口一6：n，6∈B，n≠6}，△，= U；，△鼠，若△，=A(G＼日)(其中A(G＼日)表示包含G＼日中的任一元素恰好A次的 多重集)，则称乃黾一个(G，E七，A)一差族(或(G，日，七，A)一DF)，鼠称为基区组。当g= 要条件为A(IG 为(t，，口，七，A)一DF，在【8】中它也被称为9·啪rqc娩妒蜘cP(七，1；t，)。 个(G，E七，A)．差族，如果它满足下面两个条件：(1)理的基区组互不相交；(2) DDF)．当A=七一1时，不相交的差族，={恳：l∈n恰是G＼日的一个划分，从 而G上(秽，g，詹，七一1)一DDF存在的必要条件是t，兰9(mod七)． 设{五，死…．，五}是一个(G，七，A)．DDF的集合，其中每一个乃(1≤t≤8)都 一个(G，K Hara等人在[3】中给出了(G，七，A)．cDDF的递归够造方法，从而我们也得到了一些 关于(G，七，A)．DDF的一些递归构造方法。这些构造方法我们将在第二章的第二节 介绍。 下面介绍与循环差族和不相交的差族密切相关的两个概念：循环可分组设计 与半循环的丹aⅡle。 可分组设计(GDD)是一个满足下面条件的三元组(五9，8)： (1)g是集合x(x中的元素叫点)的一个划分，9中的元素叫做组； (2)8是x的子集的集合(日中的元素叫区组)，并且每个组和每个区组至多交于一 个点； (3)每一对来自不同组的点恰包含在A个区组中。 1 北京交遥大学硕士学位论文 第一章绪论 常用指数形式来描述一个GDD的组型：组型tf-…t静表示在9中有他个如长 平衡不完全区组设计(B，BD)，记为B(七，1：)。 设(五g，舀)是一个GDD，盯是x上的一个置换。对于任意集合s={zl，．．．，％} 构盯把召分成若干个等价类，每个等价类叫嚣在盯下的轨道。每个轨道取出一个区 组代表叫做此GDD的基区组。一个GDD称为是循环的，如果它有一个自同构包含 一个长为”；IxI的圈，这时可以把x看成乙并取口：i—t+1(modt，)。我们 用(KA)．CGDD来表示轨道都为长轨道的循环的GDD。 设，．-黾一个(％9，七，A)一cDF，则，可以产生一个组型为9”0=卵)的(后，A)一 S cGDD。其中组集9一{(v／9)乙+{：o i居)，区组集8={B+t，：B专 一个划分，则称C为此GDD的一个部分平行类．若组集且能够划分成一些部分平行 类的并，则此GDD称为一个加咖艮易见，磊上一个(t，，9，七，七一1)-DDF可以产生 ——个(口，夕，七，七一1)一丘锄e． 假设n和^都是正整数，厶={1，2，…，n}，s=厶x磊。如果s上存在一 个(砌，^，詹，七一1)．丘锄e，它有n个部分平行类扁，风+l，…，置。一1m1，分别形成s＼ 类诜+1中每一个元素的第二个分量模加j得到，这样的(hn，h，七，七一1)啬锄e被称 为半循环的。易知磊上的(砌，^，b七一1)．DDF可以产生一个半循环的(梳，^，七，七一 11一丘ame口 例子1．1．1磊5上一个(15，3，4，3)一DDF的基区组如下： {1，2，4，8}，{3，11，12，14)，{6，7，9，13)。 列出它的五个平行类如下(分别模加O，1，2，3，4)： {1，2，4，8}，{3，11，12，14)，{6，7，9，13)， {2，3，5，9)，t4，12，13，15}，{7，8，10，14}， {3，4，6，10)，{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)，{10，11，13，17)· 将每一个平行类中的元素分别表示成厶×磊的形式，即可得到一个组型为35的 半循环的(15，3，4，3)一DDF