[論文レビュー] 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 に等しいとき、完全マッチングと 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 頂点からなる完全グラフが、所望の長さ m₁,…,mt の t 個のサイクルに分解可能となる条件を特定すること。
• 完全マッチングを含むケースにまで拡張されたサイクル分解の結果を提示すること。
• このような分解が存在するためのサイクル長およびグラフの次数に関する必要十分条件を特徴づけること。
• 既存のサイクル分解に関する結果を統合・一般化すること。

提案手法

• 著者たちは、辺の数と偶奇の制約に基づく組合せ的議論を用いて、サイクル分解の必要条件を導出している。
• 特に辺の総数に注目し、既知のグラフ分解および完全グラフ内のサイクル分解に関する結果を応用している。
• 証明は、サイクル長の総和が、n が偶数の場合は完全マッチングを含む場合に調整されたグラフの辺の総数に一致することを確認することに依拠している。
• すべてのサイクル長が有効範囲 [3, n] 内にあり、かつ長さの総和が必要な辺数と一致することを保証することで、サイクル分解の可能性を分析している。
• n が奇数か偶数かによって状況が異なるため、n が偶数のときのみ完全マッチングが存在することを区別している。
• 帰納法と構成的技法を用いて、提示された条件が十分条件であることを示している。

実験結果

リサーチクエスチョン

• RQ1 n が奇数のとき、n 頂点からなる完全グラフが、長さ m₁,…,mt の t 個のサイクルに分解可能となる条件は何か？
• RQ2 n が偶数のとき、n 頂点からなる完全グラフが、完全マッチングと長さ m₁,…,mt の t 個のサイクルに分解可能となるか？
• RQ3 このような分解が存在するためには、サイクル長 m₁,…,mt が満たすべき制約は何か？
• RQ4 サイクル長の総和がグラフの辺の総数に等しいことが、長さの上限・下限と組み合わせて分解可能であるための十分条件となるか？
• RQ5 サイクル長およびグラフの次数に関する条件が、このような分解に対して必要かつ十分であるか？

主な発見

• 奇数 n に対しては、完全グラフ Kn が t 個の長さ m₁,…,mt のサイクルに分解可能であるための必要十分条件は、各 mi が 3 ≤ mi ≤ n を満たし、その総和が C(n,2) に等しいことである。
• 偶数 n に対しては、Kn が完全マッチングと t 個の長さ m₁,…,mt のサイクルに分解可能であるための必要十分条件は、各 mi が 3 ≤ mi ≤ n を満たし、その総和が C(n,2) − n/2 に等しいことである。
• グラフの辺の総数は、すべてのサイクル長の和によって完全にカバーされており、重複や欠落がないことが保証されている。
• 最小サイクル長は 3 であり、これは三角形に対応する。最大長は n であり、ハミルトン閉路に対応する。
• これらの条件は必要かつ十分であり、長さの制限と辺の総数の一致に加えて、追加の制約は不要である。
• 本稿の結果は、既存のサイクル分解に関する先行研究を一般化しており、任意の完全グラフに対して可能なサイクル長の集合を明示的に特徴づけている。