[論文レビュー] The Directed Grid Theorem

Ken‐ichi Kawarabayashi, Stephan Kreutzer|arXiv (Cornell University)|Nov 20, 2014

Advanced Graph Theory Research参考文献 31被引用数 6

ひとこと要約

この論文は、リード、ジョンソン、ロバートソン、セモア、トーマスが提起した予想を確認し、有向グラフの有向木幅が十分に大きい場合、任意の指定された次数の有向グリッドがバタフライマイナーとして含まれることを証明する有向グリッド定理を提示する。証明では、有向木幅がf(k)に達すれば、次数kの有向グリッドが含まれることを保証する関数f(k)を確立し、有向グラフへのバイディメンショナリティおよび構造理論の拡張を実現し、パrameterized複雑性における新たなアルゴリズム的応用を可能にする。

ABSTRACT

The grid theorem, originally proved by Robertson and Seymour in Graph Minors V in 1986, is one of the most central results in the study of graph minors. It has found numerous applications in algorithmic graph structure theory, for instance in bidimensionality theory, and it is the basis for several other structure theorems developed in the graph minors project. In the mid-90s, Reed and Johnson, Robertson, Seymour and Thomas (see [Reed 97, Johnson, Robertson, Seymour, Thomas 01]), independently, conjectured an analogous theorem for directed graphs, i.e. the existence of a function f : N -> N such that every digraph of directed tree-width at least f(k) contains a directed grid of order k. In an unpublished manuscript from 2001, Johnson, Robertson, Seymour and Thomas give a proof of this conjecture for planar digraphs. But for over a decade, this was the most general case proved for the Reed, Johnson, Robertson, Seymour and Thomas conjecture. Only very recently, this result has been extended to all classes of digraphs excluding a fixed undirected graph as a minor (see [Kawarabayashi, Kreutzer 14]). In this paper, nearly two decades after the conjecture was made, we are finally able to confirm the Reed, Johnson, Robertson, Seymour and Thomas conjecture in full generality and to prove the directed grid theorem. As consequence of our results we are able to improve results in Reed et al. in 1996 [Reed, Robertson, Seymour, Thomas 96] (see also [Open Problem Garden]) on disjoint cycles of length at least l and in [Kawarabayashi, Kobayashi, Kreutzer 14] on quarter-integral disjoint paths. We expect many more algorithmic results to follow from the grid theorem.

研究の動機と目的

• 無向グラフのグリッド定理に類似する有向グラフ理論における有向グリッド定理の存在に関する長年の予想を解決すること。
• 任意の有向グラフが有向木幅f(k)以上である場合、次数kの有向グリッドがバタフライマイナーとして含まれることを保証する関数f(k)を確立すること。
• 無向グラフ理論における構造的・アルゴリズム的ツール（例えば、バイディメンショナリティや無関係頂点技法）を有向グラフの文脈に拡張すること。
• NP困難問題に対するパラメータ化複雑性における新しいアルゴリズム的結果の基盤を提供すること。

提案手法

• 高い有向木幅を持つグラフにおける問題を簡約するために、構造的分解と連結性の議論を用いた、無関係頂点技法の有向版を開発する。
• 強いセグメンテーションと擬似フェンスを用いて、有向グラフにおけるパス系の構造的複雑性を分析・制御する。
• 半整数および整数連結性を再帰的に用いてパス系から大規模なグリッドに類似した構造を構築する。
• バタフライマイナー包含関係を、有向グリッドの定義および構築の主要な包含関係として用いる。
• 無向グラフマイナー理論の技術を新規の有向グラフ固有の議論（セグメンテーションおよびパス継続性解析）と組み合わせる。
• 先行研究の結果（例：[KawarabayashiKK14, KawarabayashiK14]）を活用して、核心的な構造的メカニズムを構築する。

実験結果

リサーチクエスチョン

• RQ1 任意の有向グラフが有向木幅f(k)以上である場合、次数kの有向グリッドがバタフライマイナーとして含まれる関数f(k)が存在するか？
• RQ2 特にグリッド定理を含む無向グラフの構造理論が、有向グラフへと拡張可能か？
• RQ3 有向木幅というパラメータが、無向木幅と同様の方法で、大きな有向グリッドマイナーの存在を保証するのに十分か？
• RQ4 このグリッド定理を用いて、無関係頂点法のようなアルゴリズム的技法が有向設定に適応可能か？

主な発見

• この論文は、リード、ジョンソン、ロバートソン、セモア、トーマスの予想を確認し、任意の有向グラフが有向木幅f(k)以上であれば、次数kの有向グリッドがバタフライマイナーとして含まれることを保証する関数f(k)の存在を証明する。
• 証明により、有向グリッド定理が一般に成立することが示され、有向グラフ構造理論における15年間の未解決問題が解決された。
• 有向グリッド定理により、例えば長さl以上の素性サイクルの disjoint な集合に関する改善結果や、固定パラメータ可 tractable アルゴリズムへの潜在的拡張が可能になる。
• 構築は、擬似フェンスと連結性系の新規な応用に依存しており、有向グラフにおけるグリッド構造を模倣する。
• 関数f(k)は、連結性およびセグメンテーションの補題を再帰的に適用することで暗黙的に定義されており、今後の研究で多項式バウンドが得られると期待される。
• この結果は、バイディメンショナリティおよび構造理論を有向グラフへ拡張するための基盤的ツールを提供し、無向グラフ理論における無向グリッド定理が果たす役割を模倣する。