[論文レビュー] Bidimensionality, Map Graphs, and Grid Minors

Erik D. Demaine, MohammadTaghi Hajiaghayi|ArXiv.org|Feb 16, 2005

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

ひとこと要約

この論文は、固定のマイナーを除外しないクラスである地図グラフおよびパワーグラフに、二重次元理論を拡張する。これは、木幅と最大グリッドマイナーのサイズの間の多項式関係を確立することで達成される。地図グラフが木幅 $ r^3 $ を持つ場合、$ \Omega(r) \times \Omega(r) $ のグリッドマイナーを含むことが証明され、このようなクラスのパワーグラフは類似の境界を継承する。これにより、固定パrameterアルゴリズムの性能向上が可能となり、一般グラフにおける多項式的木幅-グリッドマイナー関係に関する refined な予想を支持する。

ABSTRACT

In this paper we extend the theory of bidimensionality to two families of graphs that do not exclude fixed minors: map graphs and power graphs. In both cases we prove a polynomial relation between the treewidth of a graph in the family and the size of the largest grid minor. These bounds improve the running times of a broad class of fixed-parameter algorithms. Our novel technique of using approximate max-min relations between treewidth and size of grid minors is powerful, and we show how it can also be used, e.g., to prove a linear relation between the treewidth of a bounded-genus graph and the treewidth of its dual.

研究の動機と目的

• マイナー閉じたグラフ族を超えて、任意の大きなクリークを含む可能性がある地図グラフやパワーグラフを含むクラスに、二重次元理論を拡張すること。
• これらのグラフクラスにおいて、木幅と最大グリッドマイナーのサイズの間の多項式的関係を確立し、従来の超指数的境界の制限を克服すること。
• すべてのグラフが木幅とグリッドマイナーのサイズの間で多項式的関係を持つという予想を支持し、$ r \times r $ グリッドマイナーに対して $ O(r^3) $ の木幅が十分であるという既知の境界を $ O(r^3) $ に精緻化すること。
• 木幅とグリッドマイナーのサイズの間の近似最大最小関係を用いる新規な技術を開発し、タングルに基づく関係への依存を排除すること。

提案手法

• 地図グラフを平面的二部グラフの半二乗として定義し、ラジアルグラフを用いて構造的解析を可能にする概念を導入・形式化する。
• ラジアルグラフ構成を用いて、 genus-$ g $ の曲面上の2セル埋め込みにおけるグラフとその双対の木幅を関連付ける。
• 曲面の genus に起因する頂点および辺を避けるために、パス系の変更を加えることでグリッドマイナー構成技術を応用する。
• グリッドを安定的かつ解析可能な構造として用い、境界のブートストラップに適した近似最大最小関係を確立する。
• 任意のグラフクラスについて、木幅-グリッドマイナー関係が多項式的である場合、その $ k $ 乗グラフも多項式的関係を維持し、次数は $ k $ に依存しない定数分だけ増加することを証明する。
• カット頂点を含むグラフに対して、帰納法と分解技術を用いて、2連結グラフから一般グラフへの境界の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 マイナーを固定で除外しない、たとえば地図グラフやパワーグラフのようなグラフ族に対し、二重次元理論を拡張することは可能か？
• RQ2 地図グラフにおいて、木幅と最大グリッドマイナーのサイズとの間で得られる最もタイトな多項式的関係は何か？
• RQ3 二重次元的グラフクラスのパワーグラフは、多項式的木幅-グリッドマイナー関係を継承するか？ もしそうなら、次数はパワーコンスタント $ k $ に対してどのように変化するか？
• RQ4 一般グラフにおいて $ O(r^3) $ の木幅が $ r \times r $ グリッドマイナーを保証するという予想はタイトか？
• RQ5 genus-$ g $ の曲面上に埋め込まれたグラフの木幅とその双対の木幅との間には、多項式的要因で関連づけられるか？ その最良の要因は何か？

主な発見

• 木幅 $ r^3 $ を持つ地図グラフは、$ \Omega(r) \times \Omega(r) $ のグリッドマイナーを含み、かつそれまで知られていなかった多項式的関係を確立する。
• 任意のグラフクラスについて、木幅-グリッドマイナー関係が多項式的である場合、その $ k $ 乗グラフも多項式的関係を維持し、次数は $ k $ に依存しない定数分だけ増加する。
• genus-$ g $ の曲面上に埋め込まれたグラフの木幅は、その双対の木幅の $ O(g^4) $ 倍で抑えられ、洗練されたグリッド構成により $ O(g^2) $ に改善可能である。
• 本研究は、Robertson-Seymour-Thomas 予想の精緻化版を支持する証拠を提供する：木幅が $ c r^3 $ 以上である任意のグラフは $ r \times r $ グリッドマイナーを含み、この境界はタイトである。
• 新しい木幅-グリッドマイナー境界を活用することで、地図グラフおよびパワーグラフにおける二重次元的問題の固定パrameterアルゴリズムの実行時間を向上させた。
• 木幅とグリッドマイナーのサイズの間の近似最大最小関係の使用は、一般化可能で強力な技術であることが示され、有界な genus のグラフにおける双対グラフ関係に対しても適用可能である。