[論文レビュー] Hamiltonian degree sequences in digraphs

Daniela Kühn, Deryk Osthus+1 more|arXiv (Cornell University)|Jul 11, 2008

Limits and Structures in Graph Theory参考文献 12被引用数 6

ひとこと要約

本論文は、Nash-Williamsのハミルトニアン有向グラフに関する予想に対する近似解を提示する。具体的には、任意の $\eta > 0$ に対して、十分に大きな有向グラフが特定の出次数および入次数列の条件（特に、$d^{+}_{i} \geq i + \eta n$ または $d^{-}_{n-i-\eta n} \geq n-i$、かつ同様に入次数についても対称的に）を満たすならば、ハミルトニアンサイクルを含むことを証明する。さらに、このような有向グラフはパンシクルであることが示され、2から $n$ までのすべての長さのサイクルを含む。

ABSTRACT

We show that for each η>0 every digraph G of sufficiently large order n is Hamiltonian if its out- and indegree sequences d^+_1\le ... \le d^+_n and d^- _1 \le ... \le d^-_n satisfy (i) d^+_i \geq i+ ηn or d^-_{n-i- ηn} \geq n-i and (ii) d^-_i \geq i+ ηn or d^+_{n-i- ηn} \geq n-i for all i < n/2. This gives an approximate solution to a problem of Nash-Williams concerning a digraph analogue of Chvátal's theorem. In fact, we prove the stronger result that such digraphs G are pancyclic.

研究の動機と目的

• ハミルトニアンサイクルに関するChvátalの定理の有向グラフ版としてのNash-Williamsの長年の予想に取り組む。
• 順序付けられた出次数および入次数列に基づいた、大きな有向グラフにおけるハミルトニアン性の十分条件を提供する。
• 同じ条件がハミルトニアン性に加えてパンシクル性を保証することを確立する。
• 小さな誤差項 $\\eta n$ を用いて度数の閾値を緩和することで、予想の近似解を提示する。
• 極値的構成を通じて、度数条件が漸近的に最良であることを示す。

提案手法

• 問題を最小半次数が有界な縮小有向グラフに還元するために、正則性法およびブロー・アップ補題を用いる。
• エッジの削除後も強連結性および拡張性を維持できるように、強力な拡張性性質を適用する。
• 正則性補題を用いて頂点分割から縮小有向グラフ $R^*$ を構成し、クラスタ間の正則対を保証する。
• 例外集合 $V_0$ を修正し、多数のクラスタに対して接続が悪い頂点を削除することで、最小半次数を維持する。
• 修正された有向グラフ $G^*$ が高次の最小半次数および強力な拡張性を持つことを利用し、定理16を適用してハミルトニアンサイクルを発見する。
• 構造的および拡張性の議論を通じて、同じ条件がすべての長さ $t = 2, \\dots, n$ のサイクルを保証することを示し、パンシクル性を証明する。

実験結果

リサーチクエスチョン

• RQ1 出次数および入次数列を用いて、Chvátalの定理の有向グラフ版を確立することは可能か？
• RQ2 度数列の条件がNash-Williamsが予想した閾値に漸近的に近い場合に、大きな有向グラフにおけるハミルトニアン性を証明することは可能か？
• RQ3 ハミルトニアン性を保証する同じ度数条件が、パンシクル性を保証するのか？
• RQ4 強力な拡張性および正則性法を用いて、緩和された度数制約を持つ有向グラフにおけるハミルトニアンサイクルの存在を証明することは可能か？
• RQ5 極値的構成によって示されるように、予想における度数条件は漸近的に最良であるとされるのか？

主な発見

• 任意の $\\eta > 0$ に対して、$n_0(\\eta)$ が存在し、$n \geq n_0$ 個の頂点を持つすべての有向グラフが度数列の条件を満たすならば、ハミルトニアンである。
• 同じ条件が有向グラフがパンシクルであることを保証する。つまり、2から $n$ までのすべての長さのサイクルを含む。
• 極値的構成により、度数条件を $k$ 番目の位置で1単位だけ緩和するとハミルトニアン性が失われるため、結果は漸近的に最良である。
• Nash-Williamsの予想の近似版が証明され、閾値 $i+1$ が小さな $\eta > 0$ を用いて $i + \\eta n$ に置き換えられた。
• $(n-1)/2$ 未満のエッジが削除された正則トーナメントは、依然としてハミルトニアンサイクルを含む。これは大きな $n$ に対して予想を確認する。
• 証明は強力な拡張性および正則性法に依存しており、高次の最小半次数および拡張性が、大きな有向グラフにおけるハミルトニアン性を示すことを示している。