[論文レビュー] Polynomial Bounds for the Grid-Minor Theorem

Chandra Chekuri, Julia Chuzhoy|arXiv (Cornell University)|May 28, 2013

Advanced Graph Theory Research参考文献 15被引用数 12

ひとこと要約

この論文は、有界な木幅を持つグラフにおける最大グリッドマイナーのサイズに対する最初の多項式下界を確立し、任意の木幅 $k$ を持つグラフが、ある絶対定数 $δ > 0$ に対して $Ω(k^{\delta}/\operatorname{poly}\log k)$ のグリッドマイナーを含むことを証明している。著者らは、幅 $w$ と長さ $π$ を持つ「集合のパス系」と呼ばれる新しい組合せ的構造を導入し、このようなグリッドマイナーのモデルを効率的に構築する確率的多項式時間アルゴリズムを提示している。

ABSTRACT

One of the key results in Robertson and Seymour's seminal work on graph minors is the Grid-Minor Theorem (also called the Excluded Grid Theorem). The theorem states that for every grid $H$, every graph whose treewidth is large enough relative to $|V(H)|$ contains $H$ as a minor. This theorem has found many applications in graph theory and algorithms. Let $f(k)$ denote the largest value such that every graph of treewidth $k$ contains a grid minor of size $(f(k) imes f(k))$. The best previous quantitative bound, due to recent work of Kawarabayashi and Kobayashi, and Leaf and Seymour, shows that $f(k)=Ω(\sqrt{\log k/\log \log k})$. In contrast, the best known upper bound implies that $f(k) = O(\sqrt{k/\log k})$. In this paper we obtain the first polynomial relationship between treewidth and grid minor size by showing that $f(k)=Ω(k^δ)$ for some fixed constant $δ> 0$, and describe a randomized algorithm, whose running time is polynomial in $|V(G)|$ and $k$, that with high probability finds a model of such a grid minor in $G$.

研究の動機と目的

• 木幅とグリッドマイナーのサイズの間の多項式的関係を確立するという長年の未解決問題を解決すること。
• これまでの最良の下界 $f(k) = \Omega(\sqrt{\log k / \log \log k})$ を改善すること。
• 任意の木幅 $k$ を持つグラフにおいて、高確率で多項式時間内に大きなグリッドマイナーのモデルを構築できる確率的多項式時間アルゴリズムを開発すること。
• グリッドマイナー定理の構成的証明を、明示的な定量的境界を伴って与えることにより、既知の上界と下界のギャップを埋めること。

提案手法

• 幅 $w$ と長さ $\ell$ の「集合のパス系」と呼ばれる新しい組合せ的構造を導入・利用し、互いに素な頂点集合が、互いに素なパスで接続されており、内部連結性の強い性質を持つこと。
• 幅 $w$ と長さ $w$ の集合のパス系が、$Ω(w^{1/2}) \times \Omega(w^{1/2})$ のグリッドマイナーを効率的に見つけるのに利用できることを証明する。
• 与えられた木幅 $k$ のグラフ $G$ に対して、確率的サンプリングとwell-linked性の性質を活用し、幅 $Ω(k^{\delta})$（$δ > 0$）の集合のパス系を構築する確率的アルゴリズムを設計する。
• 境界の性質を制御するクラスタへの再帰的分解を用い、変動に対しても強い連結性とwell-linked性を維持するようにする。
• グラフ拡張とwell-linked集合におけるルーティングの技術を適用し、エッジの混雑度の上限や帯域幅の性質を用いて、クラスタの精錬過程でも構造的整合性を保つ。
• 既知の木幅とマイナー包含に関する結果に加え、新しい構造的補題を組み合わせることで、十分に大きな木幅を持つグラフにおいてこのような構造が存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 木幅 $k$ の関数として、最大グリッドマイナーのサイズに対する多項式的下界を確立できるか？
• RQ2 多項式時間内に、$|V(G)|$ および $k$ の関数として、グリッドマイナーのモデルを効率的に構築できる確率的アルゴリズムを設計できるか？
• RQ3 すべての木幅 $k$ を持つグラフに対して $f(k) = \Omega(k^{\delta}/\operatorname{poly}\log k)$ が成り立つような、最良の指数 $\delta$ は何か？
• RQ4 well-linked集合と集合のパス系の構造的性質をどのように活用することで、グリッドマイナー定理の定量的境界を改善できるか？

主な発見

• 著者らは、ある普遍定数 $δ > 0$ に対して $f(k) = \Omega(k^{\delta}/\operatorname{poly}\log k)$ が成り立つことを確立した。特に $δ \geq 1/98$ が明示的に証明された。
• 著者らは、高確率で、$|V(G)|$ および $k$ の多項式時間内で、サイズ $Ω(k^{\delta}/\operatorname{poly}\log k) \times \Omega(k^{\delta}/\operatorname{poly}\log k)$ のグリッドマイナーのモデルを発見する確率的アルゴリズムを提示した。
• 集合のパス系フレームワークにより、多項式的定量的境界を伴うグリッドマイナー定理の構成的証明が可能となり、長年の未解決問題が解決された。
• この結果は、固定された単純な平面グラフをマイナーとして含まないグラフの木幅が、ある普遍定数 $c$ に対して $O(|V(H)|^c)$ で有界であることを示唆し、既存の境界を改善する。
• 従来の下界（例：$f(k) = \Omega(\sqrt{\log k / \log \log k})$）は非多項式的であったが、本研究はそのギャップを、既知の上界 $f(k) = O(\sqrt{k / \log k})$ と一致させる形で埋めた。
• well-linked性とクラスタの精錬に基づくアルゴリズム的枠組みは、今後のグラフ理論およびアルゴリズム設計分野における新たなツールキットを提供する。