不相交斯泰纳和柯克曼三元系大集两定理（一）.pdfVIP

第 卷第 期 数学的实践与认识 . .年 月 .,不相交斯泰纳和柯克曼三元系大集两定理 一 罗洪田 , 王 宇 , 孙 晶 , 赵金伟.西安交通大学 机械工程学院,西安 .西安交通大学 电信学院,西安 摘要: 给定一个斯泰纳或柯克曼三元系,介绍其大集的生成方法得到其大集存在条件的判据是一个位差 各异的循环数;柯克曼三元系其大集判据是,不能分解的柯克曼三元系有大集,能分解的无大集. 关键词: 斯泰纳三元系;柯克曼三元系;不能分解的柯克曼三元系;大集;循环数;位差 名词术语的定义及代号 阶斯泰纳三元系?? 在 个三元组中,任两数只能 且必须 结合一 次,不得重复. 阶斯泰纳三元系大集??在 一 个的全部三元组中,任三个数只能 且必须 结合一次,不得重复. 厂 一 阶柯克曼三元系??能安排 分解 成 天 平行类 ,使得每天 平行类 的 / 个三元组都包含 个数的. 阶柯克曼三元系大集 ?? 在 一 个的全部三元组中,任三个数只 能且必须 结合一次,不得重复. 前 言 迄今,国内外关于不相交斯泰纳和柯克曼三元系大集 和 的研究,普通存 在以下局限.尽管,首先必须是,但在研究其大集 时,却是将 和 两者截然分开的. 例如,我国英年早逝的陆家羲 ~ 以其研究,解决了关于不相交 的存 在性问题而获得 年国家自然科学壹等奖;而历史上最早提出的 问题,其存在性 至今尚未完全解决.两者的研究,认为都与其阶数 的大小有关 如陆在其获奖的 篇论文中,运用了代数数论等多种数学工具,给出了 个引理个 定理和 个递归结果等最终得到了存在性的“大集定理”,但却认为尚有、、 、、 、 等 个 值不能包含在其中】.又如,在关于 存在性问题的研究 上,认为迄今为止的主要结论是,对于以下的阶数 存在 原文有具体的 公式, 因其极为复杂,本文略 且认为在 ≤ 的范围内尚有 、 、 、 、 、 、 等 个数 收稿日期:? ? 数 学 的 实 践 与 认 识卷 值,其存在性问题尚待解决.以上评论摘自 年“陆家羲与组合设计大集”.对不同阶数 值,在求解或 时,其方法也可能各不相同,但都只能求 得 个大集的解. 如文中提到用陆的一系列构造方法中最简单的一种去构造一个 的大集,并称 一 是陆文发表前尚未给出答案的最小一个 值.又如 年,丹尼斯顿用他的方法, 在计算机上也只求出了 个 ,它被称为“数学史上第一个大集问题的第 一 个答案” .实际上,在本文中将看到,不管是 或乙,有解的话,都不止 个,如,其解数应为 个.两者的逆命题都未涉及 即便是两者的存在性问题解决了,但对于具体给定一个或,它们是否有大集, 有儿个不同构的 及如何寻找等都远未解决,事实上,它是“存在性”命题的逆命题.现在的 研究,都集中在“存在性”问题上,其逆命题未见涉及,更不用说将正、逆命题放在一起研究. 本文的研究,不受以上所限.简言之,将不分或,一概视为、不论 为 何值 当然要满足斯泰纳三元系条件,即 三 或 、在同一个数学模型下,按正、逆 命题分成两部分各求出其全部的解.第一部分??给定求大集 ,即求位差各 异的循环数;第二部分??给定循环数,求位差各异的 . 给定求 的方法 . 大集的生成方法 . . 循环数 先以 阶为例,给定一个 ,如表 所示的 个三元组,任意选定一个三元组如 , , ,并固定其中任意两个数如 、 .给出一个由剩下的 个数任意排列的有序数例如 , ??称有序 循环数. , 表示在后述的循环变化过程中 和 恒定不变. 表 位差不各异循环数 ,位差马 .\ / \ / \ / \ / 相交 相交 相交 相交 . . 循环数生成大集 令 的 个三元组中的 、 不变,将 当作封闭数字环,三元组中各数字视 为环首,依序各书写一遍.例如三元组 , , , 、 不变, 为环首,则可写出? ?? ? 期 罗洪田,等:不相交斯泰纳和柯克曼三元系大集两定理一 ? ? 返回 ;又如 , , , 不变, 为环首,则有 ??? ? ? ? 返回 等等.这 样,就循环生成了如表 所示的, 。,?,等. 为了有一个清晰的几何概念,也可用图形来说明上述的循环生成方法.将圆周作 等 分,在 个分点上依序标注循环数 、 、 、 、 、 、 等.给定的 的 个三元组就可表示 在该圆周上.为了清楚,将其分列在 个图中.在图 上,用两点的联线代表只含有 不含 的三元组,如联线 代表三元组 , , ,则联线 , ,分别代表三元组 , , 和 , ,;同理,在图 上,联线 、 、 分别代表只含 不含 的三元组 , , 、 , , 和 , , .而在图、 上,则用圆周上三个点联线所成三边形代表同时不含 和