[論文レビュー] Finding Detours is Fixed-Parameter Tractable

Chuzhoy, Julia|arXiv (Cornell University)|Feb 8, 2016

Advanced Graph Theory Research参考文献 7被引用数 27

ひとこと要約

本稿は、Excluded Grid Theorem の概念的に単純で自己完結的な証明を提示し、treewidth 関数 f(g) の多項式上界を著しく改善した。O(g⁹⁸ poly log g) から O(g¹⁹ poly log g) にまで低減された。この手法は、有界次数グラフに対する基本的構成と、構造的グラフ分解および well-linkedness の強化技術を統合した強化フレームワークを組み合わせることで、よりタイトな境界を達成する。

ABSTRACT

We study the Excluded Grid Theorem of Robertson and Seymour. This is a fundamental result in graph theory, that states that there is some function $f: Z^+ ightarrow Z^+$, such that for all integers $g>0$, every graph of treewidth at least $f(g)$ contains the $(g imes g)$-grid as a minor. Until recently, the best known upper bounds on $f$ were super-exponential in $g$. A recent work of Chekuri and Chuzhoy provided the first polynomial bound, by showing that treewidth $f(g)=O(g^{98}\operatorname{poly}\log g)$ is sufficient to ensure the existence of the $(g imes g)$-grid minor in any graph. In this paper we improve this bound to $f(g)=O(g^{19}\operatorname{poly}\log g)$. We introduce a number of new techniques, including a conceptually simple and almost entirely self-contained proof of the theorem that achieves a polynomial bound on $f(g)$.

研究の動機と目的

• 有界次数グラフに対する Excluded Grid Theorem の概念的に単純で、大部分が自己完備な証明を提供すること。
• g×g グリッドマイナーの存在を保証する treewidth 関数 f(g) の上界を改善すること。
• Chekuri と Chuzhoy の以前の O(g⁹⁸ poly log g) の結果よりも、よりタイトな多項式上界を達成すること。
• 次数低減技術を用いて一般のグラフへ証明フレームワークを拡張可能であることを示し、treewidth を対数的要因の範囲で保つこと。
• f(g) の上界の指数部分における g のべきを最適化することに重点を置きつつ、単純さと最適性のバランスを図ること。

提案手法

• 複雑な技術的ツールに依存せずに、第一原理的推論を用いて有界次数グラフに対して f(g) = O(g³⁶ poly log g) を達成する基本的構成を導入する。
• well-linkedness の強化メカニズムを用いてクラスタ内の接続性を向上させ、well-linked セット間の頂点非共有パスの構築を可能にする。
• 再帰的分割戦略を適用し、well-linked 境界集合を有する頂点非共有クラスタ X と Y を特定し、十分な端子分布と接続性を保証する。
• 端子集合と境界頂点の 1/3-well-linkedness および α(d)-well-linkedness 性質を活用し、複数の頂点非共有パスの存在を保証する。
• パス圧縮とエッジ混雑度低減を、頂点非共有パス抽出により実現し、エッジ非共有パスを頂点非共有パスに変換する。
• 基本的構成と Chekuri と Chuzhoy の証明からの洗練された技術を組み合わせることで、最終的な上界 f(g) = O(g¹⁹ poly log g) を達成する。

実験結果

リサーチクエスチョン

• RQ1 Excluded Grid Theorem は、カットマッチングゲームや LP に基づく近似法などの高度な技術的ツールに依存せずに、より単純で自己完備なフレームワークで証明可能か？
• RQ2 すべての treewidth が f(g) のグラフが (g×g)-グリッドマイナーを含むことを保証する、f(g) の最良の多項式上界は何か？
• RQ3 well-linkedness 性質を体系的に活用することで、非共有パスの構築とグラフマイナーにおける接続性の強化はどのように達成できるか？
• RQ4 次数低減技術は、一般のグラフに対する証明構造を単純化しつつ、treewidth をどの程度まで保てるか？
• RQ5 非構成的証明であっても、f(g) に対するタイトな上界が得られ、固定パラメータ適合性や Erdös-Pósa 型の結果への応用に有用であるか？

主な発見

• 本稿は、Excluded Grid Theorem の新しい上界 f(g) = O(g¹⁹ poly log g) を確立し、以前の最良の上界 O(g⁹⁸ poly log g) よりも改善した。
• 証明フレームワークは、有界次数グラフに対して概念的に単純で、大部分が自己完備であり、複雑な技術的道具に依存しない。
• 構成により、well-linked 境界集合と十分な端子分布を有する二つの頂点非共有クラスタ X と Y の存在が保証される。
• 新規のパス圧縮および well-linkedness 強化技術により、κ（端子数）に対して Ω(κ/ poly(d)) 個の頂点非共有パスをクラスタ間で導出可能である。
• 最終的な上界は、基本的構成と、先行研究からの洗練された構造的分解および well-linkedness 強化ステップを組み合わせることで達成された。
• 結果として、f(g) の多項式上界が、完全に構成的でなくても、洗練されモジュラーな証明構造によって達成可能であることが確認された。