[論文レビュー] Inapproximability of Treewidth, One-Shot Pebbling, and Related Layout Problems

Per Austrin, Toniann Pitassi+1 more|arXiv (Cornell University)|Sep 22, 2011

Advanced Graph Theory Research参考文献 20被引用数 11

ひとこと要約

本稿は、Small Set Expansion (SSE) 結論の下で、木幅、パス幅、ワンショットペブルイング、および関連するグラフレイアウト問題について、初めての近似不能性結果を確立する。独創的な還元フレームワークを用いて、これらの問題が任意の定数因子内で近似可能でない（SSE-hard）ことを証明し、これらの基本的グラフパラメータに対して多項式時間の定数因子近似アルゴリズムが存在しない可能性が非常に高いという強力な証拠を提供する。

ABSTRACT

We study the approximability of a number of graph problems: treewidth and pathwidth of graphs, one-shot black (and black-white) pebbling costs of directed acyclic graphs, and a variety of different graph layout problems such as minimum cut linear arrangement and interval graph completion. We show that, assuming the recently introduced Small Set Expansion Conjecture, all of these problems are hard to approximate within any constant factor.

研究の動機と目的

• 木幅が多項式時間で定数因子近似可能かどうかという長年の未解決問題を解明すること。
• 一意的ゲームの結論を超えて、拡張性のようなグローバルなグラフ構造を含む問題へ、近似不能性結果を拡張すること。
• 木幅、パス幅、ペブルイング、線形配置、区間完了といった多様なグラフレイアウト問題の近似可能性状態を、一つの結論に基づいて統一すること。
• ワンショットブラックおよびブラック・ホワイトペブルイング問題に対する、初めての近似不能性結果を提供すること。
• Small Set Expansion 結論が、拡張性に敏感な問題に対して、一意的ゲームの結論よりも強力でより自然な基盤として、近似不能性を証明する可能性を探索すること。

提案手法

• SSE問題から木幅およびパス幅への還元を、インスタンスの構造的性質を保つように構築する。
• ペブルイング戦略をシミュレートするためのピラミッド型DAG構築法を考案し、還元されたグラフ内のペブルイング配置が元のインスタンス内の有効な配置に対応することを保証する。
• 正規形ペブルイング戦略を用いて、必要なペブル数の上限を制限し、ピラミッドグラフ内の互いに素な対角線集合を用いて下界を強制する。
• 最大値および合計集約子を用いて、さまざまなレイアウトコスト関数をモデル化し、線形配置および完成問題への一般化を可能にする。
• 帰納的証明を用いて、サイズ $ d' < d $ の部分ピラミッドをペブルイングする任意の配置は、少なくとも $ d' $ 個のペブルを含む必要があることを証明する。
• 元のDAGとその変換版における配置の間の対応関係を確立し、ペブルイングコストおよび構造的制約を保つ。

実験結果

リサーチクエスチョン

• RQ1 Small Set Expansion 結論を仮定した場合、木幅は任意の定数因子内で多項式時間で近似可能か？
• RQ2 ワンショットブラックおよびブラック・ホワイトペブルイング問題は、SSE 結論の下で任意の定数因子内で近似可能でないか？
• RQ3 Minimum Cut Linear Arrangement および Interval Graph Completion の近似不能性は、同じ結論の下で確立可能か？
• RQ4 Small Set Expansion 結論は、一意的ゲームの結論では到達できない範囲のグラフレイアウト問題の近似不能性を証明するのに十分か？
• RQ5 この還元フレームワークは、制限のないペブルイングまたは時間制限付きペブルイングモデルへ拡張可能か？

主な発見

• 本稿は、木幅のSSE-hard性を確立し、Small Set Expansion 結論が誤りである限り、定数因子近似アルゴリズムは存在しないことを証明する。
• ワンショットブラックおよびブラック・ホワイトペブルイング問題に対する、初めての近似不能性結果を提供し、これらの問題が任意の定数因子内で近似可能でない（SSE-hard）ことを示す。
• 著者らは、Minimum Cut Linear Arrangement および Interval Graph Completion が、任意の定数因子内で近似可能でない（SSE-hard）ことを証明する。
• ピラミッドグラフにおいて、サイズ $ d $ のピラミッドの $ d' < d $ 個のソースノードをペブルイングする配置は、少なくとも $ d' $ 個のペブルを含む必要がある。これは重要な下界を確立する。
• 還元フレームワークにより、現在知られている最良の $ O(\sqrt{\log \text{tw}}) $ の木幅近似が、SSE 結論の下では定数因子にまで改善できないことが示される。
• 結果から、SSE 結論は、拡張性に敏感なグラフ問題における近似不能性を証明するための、一意的ゲームの結論よりも強力でより自然な基盤である可能性が示唆される。