[論文レビュー] Arbitrary Orientations Of Hamilton Cycles In Oriented Graphs

Luke Kelly|ArXiv.org|Jul 20, 2009

Limits and Structures in Graph Theory参考文献 18被引用数 4

ひとこと要約

本稿では、任意の α > 0 に対して、十分に大きな有向グラフが最小インデグリーおよびアウトデグリーが (3/8 + α)n 以上であるとき、ハミルトン閉路のあらゆる向き付けが存在することを証明している。ランダム化埋め込み法を用いて、Häggkvist と Thomason の予想を確認し、有向ハミルトン閉路を保証するのと同じ最小次数境界が、わずかな誤差項を除いて、それらの閉路のあらゆる向き付けを保証することを示している。

ABSTRACT

We use a randomised embedding method to prove that for all α>0 any sufficiently large oriented graph G with minimum in-degree and out-degree δ^+(G),δ^-(G)\geq (3/8+α)|G| contains every possible orientation of a Hamilton cycle. This confirms a conjecture of Häggkvist and Thomason.

研究の動機と目的

• 有向グラフにおけるハミルトン閉路のあらゆる向き付けを保証する最小次数条件に関する Häggkvist と Thomason の予想を解決すること。
• 以前、有向ハミルトン閉路を保証するために知られていた (3/8 + α)n の境界が、すべての向き付けに対して十分であることを確立すること。
• 最近の強化拡張およびハミルトン閉路埋め込みに関する結果を、有向グラフにおける任意の閉路の向き付けへと拡張すること。
• 最小半次数条件 δ⁰(G) ≥ (3/8 + α)n が、すべてのハミルトン閉路の向き付けを含むことの十分条件であることを示し、極値境界と αn の誤差項を除いて一致すること。

提案手法

• すべての可能なハミルトン閉路の向き付けを、大きな有向グラフに埋め込むために、ランダム化埋め込み法が用いられている。
• 証明は、強化されたアウトエクpanse（robust outexpansion）の概念を活用しており、与えられた次数条件がこの拡張性を示すことを示している。
• グラフのクラスタへの近似的な分解が行われた後、クラスタへの割り当ての不均衡を管理するために、シフトウォーク（shift-walk）技術が用いられている。
• 例外的頂点は、クラスタのバランスと埋め込み長を保つように変更されたウォークを介して統合されている。
• 不均衡なクラスタ割り当てを修正するための補正機構が導入されており、パス長と埋め込み制約を維持するようにウォークの置き換えが行われている。
• この方法により、長さ ≥3 の長大なパス上に存在しない辺の数が o(m_B) で抑えられ、埋め込み構造が保たれている。

実験結果

リサーチクエスチョン

• RQ1 有向グラフにおける最小半次数が (3/8 + α)n である場合、すべてのハミルトン閉路の向き付けが存在するか？
• RQ2 ランダム化埋め込み法は、有向閉路に限らず、任意の閉路の向き付けに対しても適応可能か？
• RQ3 (3/8 + α)n の境界は、すべてのハミルトン閉路の向き付けを含むことに関してタイトなものか、それとも改善可能か？
• RQ4 強化された拡張性（robust expansion）は、有向グラフにおけるすべてのハミルトン閉路の向き付けの埋め込みとどのように関係するか？
• RQ5 パスの埋め込みを妨げないよう、例外的頂点を統合するためにどのような構造的修正が必要か？

主な発見

• 任意の α > 0 に対して、n₀(α) が存在し、n ≥ n₀ の頂点をもつすべての有向グラフ G について、δ⁺(G), δ⁻(G) ≥ (3/8 + α)n ならば、すべてのハミルトン閉路の向き付けが存在する。
• 境界 (3/8 + α)n は、αn の誤差項を除いて最良であり、δ⁰(G) = (3n−5)/8 である極値構成がハミルトン閉路を避けることから示されている。
• 証明により、最小半次数 δ⁰(G) ≥ (3/8 + α)n が強化されたアウトエクスパンションを示すことが示され、すべての閉路の向き付けの埋め込みが可能である。
• ランダム化埋め込み法は、ウォーク置換とシフトウォーク技術を用いて、不均衡なクラスタ割り当てに対しても効果的に対処している。
• 長さ ≥3 の長大なパス上に存在しない辺の数は o(m_B) で抑えられており、埋め込みの構造的整合性が保たれている。
• 結果として、単一の有向ハミルトン閉路を保証するのと同じ次数閾値が、すべての可能なハミルトン閉路の向き付けを保証するのにも十分であることが確認された。