[論文レビュー] Reductions Between Expansion Problems

Prasad Raghavendra, David Steurer+1 more|arXiv (Cornell University)|Nov 11, 2010

Complexity and Algorithms in Graphs被引用数 5

ひとこと要約

本稿は、小集合拡張仮説（SSEH）と制限付きバージョンの一意的ゲーム予想（UGC）の等価性を確立し、SSEHが弱い小集合拡張条件を満たすインスタンスに制限してUGCを含むことを証明する。さらに、SSEHに基づく構造的性質を活用する非局所的ガジェット還元を用いて、バランスドセパレータおよび最小線形配置問題に対する最初の強い近似不可能性結果を導出する。

ABSTRACT

The Small-Set Expansion Hypothesis (Raghavendra, Steurer, STOC 2010) is a natural hardness assumption concerning the problem of approximating the edge expansion of small sets in graphs. This hardness assumption is closely connected to the Unique Games Conjecture (Khot, STOC 2002). In particular, the Small-Set Expansion Hypothesis implies the Unique Games Conjecture (Raghavendra, Steurer, STOC 2010). Our main result is that the Small-Set Expansion Hypothesis is in fact equivalent to a variant of the Unique Games Conjecture. More precisely, the hypothesis is equivalent to the Unique Games Conjecture restricted to instance with a fairly mild condition on the expansion of small sets. Alongside, we obtain the first strong hardness of approximation results for the Balanced Separator and Minimum Linear Arrangement problems. Before, no such hardness was known for these problems even assuming the Unique Games Conjecture. These results not only establish the Small-Set Expansion Hypothesis as a natural unifying hypothesis that implies the Unique Games Conjecture, all its consequences and, in addition, hardness results for other problems like Balanced Separator and Minimum Linear Arrangement, but our results also show that the Small-Set Expansion Hypothesis problem lies at the combinatorial heart of the Unique Games Conjecture. The key technical ingredient is a new way of exploiting the structure of the Unique Games instances obtained from the Small-Set Expansion Hypothesis via (Raghavendra, Steurer, 2010). This additional structure allows us to modify standard reductions in a way that essentially destroys their local-gadget nature. Using this modification, we can argue about the expansion in the graphs produced by the reduction without relying on expansion properties of the underlying Unique Games instance (which would be impossible for a local-gadget reduction).

研究の動機と目的

• 小集合拡張仮説（SSEH）と、小集合拡張の性質が弱い条件下でのみ成り立つ一意的ゲーム予想（UGC）の制限付きバージョンとの等価性を確立すること。
• SSEHがUGCのすべての結果を含むことを示し、特に基本的なグラフ分割問題における強い近似不可能性結果を含むこと。
• SSEHから導かれる一意的ゲームインスタンスの構造的特徴を活用することで、従来の局所的ガジェット還元の制限を回避する新しい還元フレームワークを開発すること。
• SSEHのもとでバランスドセパレータおよび最小線形配置問題に対する最初の強い近似不可能性結果を証明すること。これらは従来、UGCのもとでも知られていなかった。

提案手法

• 局所的構造に依存せずに拡張性を保つ非局所的ガジェット構成を用いて、小集合拡張（SSE）から一意的ゲームへの新しい還元を構築する。
• パrameter (η, δ, M) を持つSSEインスタンスのパラメータ族を導入し、η が小集合拡張の閾値を制御し、M が考慮対象となる集合の測度を上限とする。
• 還元の拡張構造を活用して、出力グラフ内の低拡張性集合を元のSSEインスタンス内の低拡張性集合にマッピングする復号手順を採用する。
• 標準の一意的ゲーム還元の修正版を用い、元のインスタンスが強い局所的拡張性を持たない場合でも拡張性の挙動を保つように調整する。
• 適切に選ばれたパラメータのもとで、出力グラフ内に非拡張性集合が存在するならば、入力側にも非拡張性集合が存在することを示すためのキーレムマ（補題6.12）を適用する。
• ガウスグラフ G(1−ε) の拡張プロファイルを基準として、割り当てによって誘導される分割におけるエッジ拡張性の確率的解析を通じて、完全性と健全性を確立する。

実験結果

リサーチクエスチョン

• RQ1 小集合拡張仮説は、小集合拡張が有界な条件下でのみ成り立つ一意的ゲーム予想の制限付き形式と等価であるか？
• RQ2 小集合拡張仮説を用いて、これまでにそのような結果が得られていなかったバランスドセパレータおよび最小線形配置問題に対して強い近似不可能性結果を導出できるか？
• RQ3 非局所的ガジェット還元を設計することで、元のインスタンスが強い局所的拡張性を持たない場合でも、出力グラフのグローバルな拡張性を保てるか？
• RQ4 ガウスグラフ G(1−ε) の拡張プロファイルは、SSEHのもとで、満たされるか満たされないかの区別に適切なタイトな基準として機能するか？
• RQ5 SSEHから生成される一意的ゲームインスタンスの構造的性質を活用することで、従来の局所的ガジェット還元の制限を回避し、近似不可能性証明において有効に利用できるか？

主な発見

• 小集合拡張仮説は、弱い小集合拡張性を満たすインスタンスに限定して成立する一意的ゲーム予想の制限付きバージョンと等価であり、両仮説を統合する。
• 本稿は、SSEHのもとでバランスドセパレータ問題に対する最初の強い近似不可能性結果を証明し、任意の定数要因内での近似がSSE-hardであることを示す。
• SSEHのもとで最小線形配置問題に対する最初の強い近似不可能性結果を確立し、定数要因での近似が不可能であることを示す。
• 本稿で開発された還元フレームワークは、局所的ガジェットの性質に依存せず、グローバルな拡張構造を活用することで、入力インスタンスの局所的拡張性に依存しない健全性解析を可能にする。
• 任意の ε > 0 に対して、opt > 1 − 2ε − o(ε) と opt < O(q^(-ε/(2−ε))) + γ の間の区別が、ガウスグラフ G(1−ε) の拡張プロファイルと一致する条件のもとでSSE-hardであることを示す。
• 構成により、出力グラフ内の任意の非拡張性集合は、入力側に対応する非拡張性集合に写され、測度と拡張性がタイトな境界内で保持される。これにより、タイトな健全性解析が可能になる。