带洞的圈设计和(5-%27r-，8-%27s-)-圈系的研究.pdfVIP

摘 要 组合数学是研究离散对象在给定约束条件下如何进行安排(或配置) 的数学分支. 它 的渊源可以追溯到公元前2200 年我国的大禹治水时代, 但该学科进展一直很缓慢直到二 十世纪40 年代电子计算机诞生后, 它开始以前所未有的速度发展和壮大起来, 并且在计 算机网络、数字通讯、实验设计及现代企业管理等多方面的应用越来越广泛. 现代科学技 术的进步和计算机以及信息等相关学科的快速发展, 也使得离散数学中的组合设计、图 论、网络理论以及编码设计等领域的研究内容越来越丰富越来越充实起来. 同时, 提出了 许多具有重要理论意义和应用前景的新问题. 例如本文主要研究的著名的Alspach 猜想. 设 为 点完全图, 并且当 为偶数时, − 为 点完全图减去一个1- 因子. 圈 长分别为 长的圈 能分解 (或 − ) 的必要条件为: ; (2) ≡ ,(或 ≡ ); (或 . Alspach 提出猜想: 这些必要条件是充分条件. 我们将介绍一种方法, 在一定条件下可 以用来证明这些必要条件是充分的. 本文解决了当 ∈ { } 时, Alspach 猜想成立. 当把 (或 − 分解成都是等长的− 长圈时, 我们通常把这些圈叫做 (或 − 的− 圈系. 虽然 (或 − 的− 圈系存在问题已经被完全解决了，但 是 \ (或 − \ − 的− 长圈系存在问题结果不是很多. 特别是当 都为偶数时, 只有如下两种情况得到了解决. D.Bryant 解决了 时的这种情 况, Adams,Bryant 和Khodkar 解决了 时的这种情况. 本文则解决了当 都为偶 数, ≡ 且 ≤ ≤ 时的情况. 这篇文章的主要工作如下: 第一章, 介绍本文用到的一些概念, 记号和主要定理. 第二章, 本文首先从带洞图 的− 圈系存在问题的必要条件出发, 运用数论的思 想分析出了最初始带洞图 的圈系情况, 然后巧妙的把带洞图 分拆成一些已知图的并, 或是运用集合论的思想和差集的方法具体构造出最初始带洞图 的圈系来. 最后再利用 定理2.2 完全解决了当 为偶数, 且 ∈ { } 时, − \ − 的 − 圈系存在问题. 第三章, 我们已经知道了当 ≤ 时, \ 的− 圈系存在问题的结果, 利用 以上的结果并运用图论的知识把图 巧妙的分拆成一些子图的并, 然后利用已知图存在 − 圈系的结果做了递归构造, 构造出了一般的小阶数图 的 − 圈系. 利用已知 III \ 的− 圈系存在问题的结果和定理1.