[論文レビュー] A survey on Hamilton cycles in directed graphs

Daniela Kühn, Deryk Osthus|arXiv (Cornell University)|Jun 3, 2010

Limits and Structures in Graph Theory参考文献 42被引用数 9

ひとこと要約

本調査は、有向グラフ、有向グラフ、トーナメントにおけるハミルトン閉路の存在定理に関する最近の進展を提示する。主な結果として、すべての正則トーナメントの辺は、ほぼ辺に重複のないハミルトン閉路によってカバー可能であることが示されている。証明は、強化拡張の概念を活用し、Ghouila-Houri および Meyniel の結果を拡張して、近似的なハミルトン分解を確立する。

ABSTRACT

We survey some recent results on long-standing conjectures regarding Hamilton cycles in directed graphs, oriented graphs and tournaments. We also combine some of these to prove the following approximate result towards Kelly's conjecture on Hamilton decompositions of regular tournaments: the edges of every regular tournament can be covered by a set of Hamilton cycles which are `almost' edge-disjoint. We also highlight the role that the notion of `robust expansion' plays in several of the proofs. New and old open problems are discussed.

研究の動機と目的

• 有向グラフ、有向グラフ、トーナメントにおけるハミルトン閉路に関する長年の予想に関する最近の進展を調査すること。
• 強化拡張の概念が、有向グラフにおけるハミルトニシティの結果を証明する際に果たす役割を調査すること。
• 正則トーナメントのハミルトン分解に関する Kelly の予想に対する近似的な解法を提供すること。
• Ghouila-Houri や Meyniel の古典的定理を、次数条件や連結性の仮定を弱めた有向グラフ設定に拡張すること。
• 正則有向グラフおよびトーナメントにおけるハミルトン閉路の辺カバー性を調査し、ほぼ辺に重複のない分解を目指すこと。

提案手法

• 密度の高い有向グラフにおけるハミルトニシティの証明に、強化拡張を構造的ツールとして用いる。特に正則トーナメントに焦点を当てる。
• 定理 17 を適用して、正則トーナメントに大きな辺に重複のないハミルトン閉路の集合を特定する。
• 未カバーの辺からなる残渣グラフ F を構築し、Vizing の定理と反復的分割を用いて小さなマッチングに分解する。
• 各小さなマッチング M に対して、M の辺を1つの頂点に収縮して、新しい有向グラフ D を構成する。この過程で強化拡張性と最小半次数が保たれる。
• 定理 30（強化出次数拡張子に関するもの）を適用して、D がハミルトン閉路を含むことを示し、この閉路が元のグラフにおける M のすべての辺を含むハミルトン閉路に引き伸ばせることを示す。
• 代替的手法として、双方向辺と有向マッチングを含む変更された有向グラフ D' に対して Ghouila-Houri の定理を適用し、各 M を含むハミルトン閉路を保証する。

実験結果

リサーチクエスチョン

• RQ1 正則トーナメントの辺は、ほぼ辺に重複のないハミルトン閉路によってカバー可能か？
• RQ2 ディラック、Ghouila-Houri、Meyniel などの古典的ハミルトニシティ条件は、次数や連結性の仮定を弱めた有向グラフ設定にどの程度拡張可能か？
• RQ3 強化拡張の概念は、密度の高い有向グラフにおけるハミルトン閉路の存在証明をどのように支援するか？
• RQ4 正則トーナメントや正則有向グラフにおいて、保証できる辺に重複のないハミルトン閉路の最大数は何か？
• RQ5 正則トーナメントにおける小さなマッチングは、どのような条件下でハミルトン閉路に拡張可能か？

主な発見

• n ≥ n₀ 個の頂点を持つすべての正則トーナメントは、(1/2 − o(1))n 個のほぼ辺に重複のないハミルトン閉路によってカバー可能である。
• 初期のハミルトン閉路集合によってカバーされなかった辺からなる残渣グラフ F は最大次数 O(η₁n) であり、O(η₁^{1/2}n) 個のマッチングに分解可能で、それぞれのサイズは O(η₁^{1/2}n) である。
• 各小さなマッチング M を1つの頂点に収縮した結果得られる有向グラフ D は、依然として強化 (ν/2, 2τ)-出次数拡張子であり、最小半次数が (1/2 − o(1))n 以上である。
• 定理 30 により、このような D がハミルトン閉路を含むことが保証され、この閉路は元のトーナメントにおける M のすべての辺を含むハミルトン閉路に引き伸ばせる。
• Ghouila-Houri の定理を用いた代替的証明では、双方向辺と有向マッチングを含む有向グラフ D' に対して、最小半次数 ≥ n/2 であればハミルトン閉路が保証される。
• この結果は、正則トーナメントのハミルトン分解に関する Kelly の予想に対する強い証拠を提供し、辺カバーの誤差が小さい範囲でこのような分解が存在することを示している。