区组轨道分类与其应用.pdfVIP

华北电力大学硕士学位论文 II 区组集中恰构成点集X的分拆的一族区组)的并，则称其为KJrkman三元系，简记 为KTS(v，A)。 s；(f，k，刀)设计大集：，z元集x的所有k子集的一个拆分E，垦，…，吃，使得每一 个E(1≤i≤m)都是一个只(f，k，以)，记做￡足(f，k，，z)，五=1时略去不写。 近五十年来，组合设计及其大集方面的研究飞速发展，国内外对组合设计及其 大集方面研究也相当重视。STS(v)的存在谱v三1，3(mod sets ofCombinatorial of --1984年，Journal Theory陆续发表了陆家羲题为“Onlarge Steiner 7，懈1，基本上完成了对全部可能阶数(即 disjoint triplesystems”的6篇论文n 的大集问题自1850年提出后尚未解决。图设计大集。玎1问题是组合设计大集问题的 完全二部图的Hamilton圈分解大集问题由康庆德及赵红涛。伸3完成，无向2长链和有 向2长链的分解大集问题由康庆德和张艳芳‘“。…完成。此外康庆德教授在文献 [42，43]中介绍了关于大集问题的已知结果及常用的构作方法。 设计大集的重要构造方法，因此讨论四元组的轨道分类极为重要。 1．3区组轨道及其研究结果 定义1．3．1设有咒元集X及有限群G，邑为x上的对称群。若存在GjS。的同态： 万方数据 华北电力大学硕士学位论文 g 为X所在的轨道。彳中的两元同轨关系实际上是一种等价关系，它满足： 反身性：魄∈X，3 e∈G，使得以(x)=x，即x∈O(x)； 对称性：若Y∈O(x)，则]g∈G，使得万。(x)=Y。而对于g。1∈G， x ％渤(z)=(％。％：)(z)。％．(％：(z))2％．(少)=z_x∈口(z)； 通常，作用在X上的群G可以直接取为X上的置换群(即X上对称群的子群， 此时同态万。取为恒等映射)。O(x)中任意一个元素都称为该轨道的代表元(基区组)， 轨道中的每个代表元都可以生成此轨道。轨道口(x)即是x在G作用下所划分成的等 价类。若lO(x)|=n，即轨道长为n，我们称该轨道为整长轨道，否则称该轨道为短 轨。 一个三元组，我们称p—a，c—b，a—c)为三元组的差三元组。设{x，Y，z)是个差三元 组，则x，Y，z都是不超过兰的正整数，且满足x+Y+z=，z或者x+y=z。 Z 对于n阶循环群作用下的三元组轨道分类有如下结论。 有无序三元组对应的差，且每个差轨道互异。 1≤x≤finf，x≤y≤，z一2x—l,zn-x-Y LJJ 应的差，目每个差轨道互异。 — — I|