[論文レビュー] Approximating Sparsest Cut in Graphs of Bounded Treewidth

Eden Chlamtáč, Robert Krauthgamer+1 more|arXiv (Cornell University)|Jun 21, 2010

Complexity and Algorithms in Graphs参考文献 28被引用数 10

ひとこと要約

本稿では、有界木幅グラフにおける一般の需要を伴うスパーステスト・カット問題に対する、初めての定数倍近似アルゴリズムを提示する。この手法は、木幅 $ r $ に対して $ r + O(1) $ 階のシェラリ・アダムス線形計画緩和を用い、グラフサイズに依存しない近似因子 $ C(r) $ を達成する。従来のフロー・カットギャップやメトリック埋め込み手法に依存せず、木幅が有界な構造における複雑な依存関係を扱うために、階層的なLP緩和の強化を活用する。

ABSTRACT

We give the first constant-factor approximation algorithm for Sparsest Cut with general demands in bounded treewidth graphs. In contrast to previous algorithms, which rely on the flow-cut gap and/or metric embeddings, our approach exploits the Sherali-Adams hierarchy of linear programming relaxations.

研究の動機と目的

• 有界木幅グラフにおける一般の需要を伴うスパーステスト・カット問題の近似アルゴリズムにおいて、長年のギャップを埋めること。特に、木幅3に対しても定数倍アルゴリズムが存在しなかったという事実を解消する。
• フロー・カットギャップやメトリック埋め込みに依存しない、新たなアプローチの開発。これらは有界木幅の文脈では適用範囲が限られている。
• シェラリ・アダムス緩和の線形計画法が、構造的グラフ族におけるスパーステスト・カット問題に対して定数倍近似をもたらす可能性を示すこと。
• 有界木幅における定数倍近似の理論的基盤を構築するため、対称的フローデコンポジションを用いたフローベースト・マルコフ連鎖モデルを構築すること。
• 有界木幅グラフにおいて、$ r + O(1) $ 階のシェラリ・アダムス緩和の整数性ギャップが有界であることを証明し、定数倍のラウンドイングを可能にする。

提案手法

• アルゴリズムは、木幅 $ r $ に対して $ r + O(1) $ 階のシェラリ・アダムス線形計画緩和を用い、スパーステスト・カット問題の標準的線形計画緩和を強化する。
• 容量制約を満たすように設計された、$ k $ 個のノードを各レイヤーに持つ階層的容量付き有向グラフ $ H_k(N, \rho) $ を構築する。このグラフは、ソース・シンクペア間の対称的フロー経路をモデル化する。
• ソース・シンクペア $ \{s_0,s_1\} $ から $ \{t_0,t_1\} $ へのパス上で、対称的フローデコンポジションを定義する。合計フロー値は $ |F| = (N - k)\varepsilon $ であり、容量制約を満たし、端末の使用が対称的になるようにする。
• フローグラフ内のノードに対して、終端が反対側に到達する確率を定量化する潜在関数 $ A(v) $ を導入し、$ \frac{1}{2} + A(t_1) $ との関係でフロー値を評価する。
• ラウンドイング手順は、解の分布に基づく割り当てを用い、対称性とパス分解を活かしてフロー構造を保持する形で、シェラリ・アダムス解を有効なカットに変換する。
• 解析により、$ N = \omega(k^2) $ のとき、フロー値が $ |F| \geq (1 - o(1))(k-1)(\frac{1}{2} + A(t_1)) $ を満たすことが示され、大規模な対称的フローの存在が保証され、結果として低コストのカットが存在することが証明される。

実験結果

リサーチクエスチョン

• RQ1 有界木幅グラフにおける一般の需要を伴うスパーステスト・カット問題に対して、グラフサイズに依存しない定数倍近似アルゴリズムを設計可能か？
• RQ2 有界木幅グラフにおいて、$ r + O(1) $ 階のシェラリ・アダムス緩和が、スパーステスト・カット問題に対して有界な整数性ギャップを有するか？
• RQ3 階層的グラフにおける対称的フローデコンポジションを用いて、フロー・カットギャップに依存せずに、LPラウンドイングにより低コストのカットを構築可能か？
• RQ4 各レイヤーに $ O(k) $ 個のノードを持つマルコフフローグラフを構築可能か？このグラフは、ソース・シンクペア間で $ \Omega(k)(\frac{1}{2} + A(t_1)) $ のフローをサポートする。
• RQ5 このようなフローグラフにおいて、潜在関数 $ A(v) $ はレイヤー間でどのように振る舞い、フロー値の下界を示すために利用可能か？

主な発見

• 本稿では、木幅 $ r $ のグラフにおける一般の需要を伴うスパーステスト・カット問題に対する、初めての定数倍近似アルゴリズムを提示する。近似因子は $ C(r) $ であり、$ n $ に依存しない。
• アルゴリズムの実行時間は $ (2^r n)^{O(1)} $ であり、木幅に関して固定パrameter tractable（FPT）である。
• 有界木幅グラフにおいて、$ r + O(1) $ 階のシェラリ・アダムス緩和の整数性ギャップは有界であり、定数倍ラウンドイングが可能である。
• $ N = \omega(k^2) $ のとき、構築されたフローグラフ $ H_k(N, \varepsilon) $ は、$ |F| = (N - k)\varepsilon $ の対称的フローをサポートし、$ |F| \geq (1 - o(1))(k-1)(\frac{1}{2} + A(t_1)) $ を満たす。
• 潜在関数 $ A(v) $ はレイヤー間で線形に減少し、$ A(v^j_i) = \frac{1}{2} - \frac{i}{k-1} $ である。$ N $ が十分に大きいとき、$ A(t_1) \approx -\frac{1}{2} + \frac{N \varepsilon}{k-1} $ となる。
• この構成により、$ \Omega(k) \cdot (\frac{1}{2} + A(t_1)) $ のサイズの対称的フローが存在することが証明され、ラウンドイング手順により低コストのカットが得られることを示唆する。