[論文レビュー] Proof of the 1-factorization and Hamilton decomposition conjectures III: approximate decompositions

Béla Csaba, Daniela Kühn+3 more|arXiv (Cornell University)|Jan 16, 2014

graph theory and CDMA systems参考文献 12被引用数 14

ひとこと要約

この論文は、完全にバランスの取れた二部グラフや二つの等大なクリークの和に近いグラフに近い稠密な正則グラフにおけるハミルトングラフおよび完全マッチングの近似分解フレームワークを確立する。例外的な頂点と辺を含む事前に定義されたパス系を、構造化されたブローイングアップサイクルとバランスの取れた辺拡張を用いて拡張することで、近似ハミルトングラフ分解の存在を証明する。これは、すべての十分に大きなグラフにおける1-ファクタリゼーションおよびハミルトングラフ分解予想を解決するための重要なステップである。

ABSTRACT

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4 ceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$. (ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 floor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree. According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we show the following: suppose that $G$ is close to a complete balanced bipartite graph or to the union of two cliques of equal size. If we are given a suitable set of path systems which cover a set of `exceptional' vertices and edges of $G$, then we can extend these path systems into an approximate decomposition of $G$ into Hamilton cycles (or perfect matchings if appropriate).

研究の動機と目的

• 稠密な正則グラフをハミルトングラフまたは完全マッチングに近似分解するための一般的手法を開発すること。
• 完全にバランスの取れた二部グラフや二つの等大なクリークの和に近い構造を持つグラフを扱うこと。
• 例外的な頂点と辺を含む事前に指定されたパス系を、近似ハミルトングラフ分解へと拡張するためのフレームワークを提供すること。
• 1-ファクタリゼーションおよびハミルトングラフ分解予想の完全な証明を支援するために、基礎的な近似分解結果を確立すること。

提案手法

• 元のグラフの稠密な部分構造から導かれる補助マルチグラフにおける近似ハミルトングラフ分解の探索に、ターゲットグラフにおける近似分解問題を還元する。
• パス系の埋め込みをガイドするためのブローイングアップサイクル構造を用い、頂点集合間での分布をバランスさせる。
• 部分的なパス系を、ブローイングアップサイクルを回る辺を用いて1-ファクタに拡張するバランスの取れた拡張技術を適用する。
• 方向付きグラフの向き付けと辺を共有しないサイクル構築を用いて、最終的な分解における一貫性と重複の回避を保証する。
• レジリエントな拡張性と正則性に基づく分解ツールを活用して、主な構造的ケースを処理する。
• 補題の反復的適用により、初期のパス系集合から複数の辺を共有しないハミルトングラフサイクルを構築し、グローバルな辺の非共有性を保証する。

実験結果

リサーチクエスチョン

• RQ1 完全にバランスの取れた二部グラフ $K_{n/2,n/2}$ に近いグラフにおいて、事前に指定されたパス系が与えられたとき、ハミルトングラフへの近似分解が可能か？
• RQ2 二つの等大なクリークの和に近いグラフにおいて、構造化されたパス拡張法を用いて、ハミルトングラフまたは完全マッチングへの近似分解が可能か？
• RQ3 近似分解において、例外的な頂点と辺を効率的に処理する方法は何か？ これにより、バランスと辺の非共有性を維持できるか？
• RQ4 ブローイングアップサイクルフレームワークを用いて、パス系がどのようにしてハミルトングラフに拡張可能かを保証する条件は何か？
• RQ5 近似分解は、完全なハミルトングラフ分解または1-ファクタリゼーションへの段階的到達にどの程度有効なステップとして機能するか？

主な発見

• 完全にバランスの取れた二部グラフ $K_{n/2,n/2}$ に近いグラフでは、例外的な頂点と辺をカバーする適切なパス系が与えられた場合、ハミルトングラフへの近似分解が存在する。
• 二つのサイズ $n/2$ のクリークの和に近いグラフでは、パス系の拡張を用いて、ハミルトングラフまたは完全マッチングへの近似分解が達成可能である。
• この手法により、近似分解において $| frac{1}{2}inom{n}{2} - o(n^2)|$ 個の辺を共有しないハミルトングラフサイクルが構築可能であり、理論上の最大値に近づく。
• 拡張プロセスにより、すべての構築されたサイクルが辺を共有せず、初期のパス系と整合的であり、構造的なバランスが保たれる。
• このフレームワークは、すべての十分に大きな $n$ に対して1-ファクタリゼーションおよびハミルトングラフ分解予想を証明するための重要な技術的基盤を提供する。
• 主定理における次数の上限が、既知の極値的構成によって最良であることが示されており、結果はタイトである。