四阶循环群作用下四元组的轨道分类.pdfVIP

第37卷 第6期 应 用 数 学 学 报 Vol。37No．6 2014年 11月 ACTAMATHEMATICAEAPPLICATAESINICA Nov．2014 四阶循环群作用下四元组的轨道分类 赵红涛 孙园园 (华北电力大学数理学院，北京 102206) (E—mail：ht_zhao~163．corn；syyjiayou~yeah．net) 摘 要 组合数学中的组合设计及其大集问题的研究有着悠久的历史，其在计算机科学、编码 论等领域都有广泛的应用．由于条件复杂，组合设计大集问题被公认为组合设计中的难点，长 期以来进展缓慢．近年来，在新的方法和理论推动下，组合设计大集问题的研究呈现了很好的 态势．研究组合设计大集的首要问题是将区组进行轨道分类．本文研究了n元集 x中四元组 (即4子集)集合在X上对称群 S 的四阶循环子群作用下的轨道分类问题，得到了四元组的轨 道计数以及轨道代表系的一种取法，并给出了轨道分类的一些应用． 关键词 组合设计；大集；四元组；轨道；代表元 MR(2000)主题分类 05A05；05B05 中图分类 O157．2 1 引言 组合设计是组合数学中一个既古老而又年轻的数学分支，是一门研究将事物按特 定要求进行安排并讨论其性质的学问．组合设计在计算机科学、编码和密码学、生物学 等学科中，以及企业管理、交通规划、城市物流等领域中都有重要的应用．组合设计中 的大集问题因其条件复杂而被公认为组合设计中的难点． 定义 1．1t-(佗，k，A)设计：一个序偶 (，)， 是一个 n元点集，8是由 的若 干 k子集 (区组)所构成的族，使得 中任一个t子集恰出现在 8中的 个区组中． ￡一(_凡，k，入)设计也记做 Sx(t，k，礼)， =1时略去不写． 定义 1．2s(t，k，佗)设计的大集：礼元点集 的所有k子集的一个分拆召1，2，… ， 使得每一个 B (1 i frt)都是一个 s(，k，凡)(称为小集)，记做 Ls(t，，佗)， =1时 亦略去不写． 对于Ls(t，k，佗)的研究已有很多结果，例如：存在LS(2，3，n)当且仅当n三1，3(rood 本文 2013年 5月 31日收到．2013年 l1月 8日收到修改稿． 国家自然科学基金项目11201143)，中央高校基本科研业务费专项资金项目(13MS38，2014ZZD10) 国家留学基金委项 目和北京市教委共建项目资助． 6期 赵红涛，孙园园：四阶循环群作用下四元组的轨道分类 1035 6)，n≠7[1,2,3】．而t=2，k=4时仅有两个已知结果，即LS(2，4，13)I，LS(2，4，16)I引．最 著名的大集问题为 Kirkman三元系大集，目前关于此大集的最新结果见 6[，7]，其中 [6] 中还总结了Kirkman三元系大集的各种构造方法． 本文中，n元集 X={1，2，…，n)， ，Y为 的不同元， 上的无序对记为 {，)． 上的一个无序四元组 (4子集){0，b，C，d)是由六个无序对 {n)6)，{a，c)，{0，d)， ，c)， {6，d)，fc，d)组成的构形．此无序四元组可有 24种不同的排列记法，它们都对应同一个 无序四元组．简便起见，礼元集 上所有四元组的集合记做 (X)．为了研究LS~(t，4，礼)， 通常需给出 (X)在 上的某一置换群G作用下的等价类 (轨道)划分，并给出一个轨 道代表系．对于一般有限群 G作用在有限集合上的定义，请参阅[8]_本文中，群G直 接取为置换群． 对于正整数 n三i(rood4)(i=0，1，2，3)，Sn表示 n元集 上的对称群．设 -0= (1，2，3，4)(5，6，7，8)一·(nf—i一3，n—i一2，礼～i一1，礼一i)(n～i+1)一·(n一1)(几)，G=(-0)． 易见，置换群G是由-0生成的四阶循环群． VB={0，b，c，d)∈(X)， ∈G，定义 ({0，b，c，d})={(0)，(6)，(c)，(d)}