[论文解读] On decomposing complete tripartite graphs into 5-cycles

Mohammad Abdolmaleki, Saeed Ilchi+2 more|arXiv (Cornell University)|Jul 14, 2019

graph theory and CDMA systems参考文献 4被引用 3

一句话总结

本文证明了Mahmoodian与Mirzakhani关于将完全三部图$K_{r,s,t}$分解为5-圈的猜想在$r$、$s$和$t$均为5的倍数、$t + 90 \leq \frac{4rs}{r+s}$且$t \neq s + 10$时成立。作者采用基于拉丁表示和交换分解的构造方法，系统地生成5-圈分解，扩展了先前结果，并解决了该长期猜想中的一个重要未决情况。

ABSTRACT

The problem of finding necessary and sufficient conditions to decompose a complete tripartite graph $K_{r,s,t}$ into 5-cycles was first considered by E.S. Mahmoodian and Maryam Mirzakhani (1995). They stated some necessary conditions and conjectured that those conditions are also sufficient. Since then, many cases of the problem have been solved by various authors; however, the case when the partite sets $r\leq s\leq t$ have odd and distinct sizes remained open. We show the conjecture is true when $r$, $s$ and $t$ are all multiples of 5, $t+90 \leq \frac{4rs}{r+s}$, and $t eq s+10$.

研究动机与目标

• 解决Mahmoodian与Mirzakhani关于完全三部图分解为5-圈的长期猜想。
• 解决所有部分集大小为奇数、互不相同且均为5的倍数时的剩余开放情况。
• 提供一种基于拉丁表示与交换分解的构造性算法，用于生成有效的5-圈分解。
• 建立充分条件，扩展先前结果，并在新的、非平凡的参数区域内确认该猜想。

提出的方法

• 使用大小为$s \times r$的反循环拉丁方（元素取值为1至$s$）构造$K_{r,s,t}$的拉丁表示，并在最后$t-s$列和$t-r$行中扩展元素至$s+1$至$t$。
• 采用特定类型的交换（1A、1B、1C、1E）将三角形和边重新配置为5-圈，实现系统的分解。
• 应用七步算法遍历并分配交换操作于拉丁表示中，最小化单元使用量，同时确保所有边均被覆盖。
• 利用组合界确保在部分$A$之外有足够的单元覆盖所有必需边，从而导出条件$t + 18 \leq \frac{4rs}{r+s}$。
• 实施基于交换的重新配置策略，在保持边覆盖的同时将三角形集合转化为5-圈。
• 通过$K_{15,17,21}$的详细案例研究验证该方法，证明算法的可行性和正确性。

实验结果

研究问题

• RQ1 当$r$、$s$和$t$均为5的倍数且为奇数、互不相同时，完全三部图$K_{r,s,t}$在何种条件下可分解为5-圈？
• RQ2 Mahmoodian与Mirzakhani的猜想——即5-圈分解的必要条件也是充分条件——在所有部分集均为5的倍数时是否成立？
• RQ3 能否基于拉丁表示与交换分解的构造性算法，在特定大小约束下生成$K_{r,s,t}$的5-圈分解？
• RQ4 该算法推导出的充分条件与必要条件$t \leq \frac{4rs}{r+s}$之间的差距有多大，其加法常数是多少？

主要发现

• 当$r$、$s$和$t$均为5的倍数、$t + 90 \leq \frac{4rs}{r+s}$且$t \neq s + 10$时，Mahmoodian与Mirzakhani的猜想在$K_{r,s,t}$上被证实为真。
• 作者建立了5-圈分解存在的充分条件$t + 18 \leq \frac{4rs}{r+s}$，该条件与必要条件之间的差距为常数。
• 该算法成功构造了$K_{15,17,21}$的5-圈分解，证明了该方法的实际适用性。
• 该方法通过交换重构三角形和边以形成5-圈，七步算法中最多忽略$9(s + r)$个单元。
• 分析表明，在考虑忽略的单元后，外部部分$A$使用的单元数最多为内部部分$A$的两倍，确保了可行性。
• 该结果解决了完全三部图分解为5-圈中的一个重要开放情况，仅剩至少一个部分不是5的倍数的情形尚未解决。