[论文解读] Cycle decompositions of complete graphs

Darryn Bryant, Daniel Horsley+1 more|arXiv (Cornell University)|Apr 17, 2012

graph theory and CDMA systems被引用 6

一句话总结

本论文建立了将完全图分解为指定长度圈的必要且充分条件：当 n 为奇数时，完全图 Kn 可分解为 t 个长度为 m₁,…,mt 的圈，当且仅当每个 mi 满足 3 ≤ mi ≤ n，且其总和等于边的总数 C(n,2)。当 n 为偶数时，若圈长度之和等于 C(n,2) − n/2，且每个 mi 满足 3 ≤ mi ≤ n，则 Kn 可分解为一个完美匹配和 t 个指定长度的圈。

ABSTRACT

We show that the complete graph on $n$ vertices can be decomposed into $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is odd, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\cdots+m_t=\binom n2$. We also show that the complete graph on $n$ vertices can be decomposed into a perfect matching and $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is even, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\ldots+m_t=\binom n2-\frac n2$.

研究动机与目标

• 确定在 n 个顶点的完全图上，何时可分解为 t 个指定长度的圈。
• 将圈分解结果扩展至包含一个完美匹配与圈并存的情形。
• 刻画此类分解存在的圈长度与图阶数的必要且充分条件。
• 统一并推广现有关于完全图中圈分解的研究成果。

提出的方法

• 作者基于边数和奇偶性约束，运用组合论证推导出圈分解的必要条件。
• 他们应用已知的图分解结果，特别是关于完全图中圈分解的研究，特别关注边的总数。
• 证明依赖于验证圈长度之和与图中边数相等，当 n 为偶数时需考虑完美匹配的影响。
• 通过确保所有圈长度均在有效范围 [3, n] 内，且长度之和与所需边数匹配，分析圈分解的可行性。
• 论证区分了奇数 n 与偶数 n 的情况，因为完美匹配仅在 n 为偶数时存在。
• 他们使用归纳法与构造性技巧，证明所列条件的充分性。

实验结果

研究问题

• RQ1 当 n 为奇数时，n 个顶点的完全图在何种条件下可分解为 t 个指定长度 m₁,…,mt 的圈？
• RQ2 当 n 为偶数时，n 个顶点的完全图是否可分解为一个完美匹配与 t 个指定长度的圈？
• RQ3 此类分解存在的圈长度 m₁,…,mt 必须满足何种约束？
• RQ4 当圈长度之和等于图中边的总数时，结合长度上下限，是否足以保证分解的存在？
• RQ5 关于圈长度与图阶数的条件是否对这类分解而言既必要又充分？

主要发现

• 当 n 为奇数时，完全图 Kn 可分解为 t 个长度为 m₁,…,mt 的圈，当且仅当每个 mi 满足 3 ≤ mi ≤ n，且 mi 的总和等于 C(n,2)。
• 当 n 为偶数时，Kn 可分解为一个完美匹配与 t 个长度为 m₁,…,mt 的圈，当且仅当每个 mi 满足 3 ≤ mi ≤ n，且 mi 的总和等于 C(n,2) − n/2。
• 图中边的总数完全由圈长度之和所覆盖，确保无边遗漏或重复。
• 最小圈长度为 3，对应三角形；最大长度为 n，对应哈密顿圈。
• 这些条件既必要又充分，意味着除长度范围与边数总和相等外，无需额外约束。
• 本结果通过显式刻画任意完全图中可行圈长度集合，推广了先前关于圈分解的研究。