[論文レビュー] Designing FPT algorithms for cut problems using randomized contractions

Rajesh Chitnis, Marek Cygan+3 more|arXiv (Cornell University)|Jul 17, 2012

Complexity and Algorithms in Graphs参考文献 38被引用数 7

ひとこと要約

本稿では、基本的グラフカット問題に対する固定パrameter tractable (FPT) アルゴリズムを設計するための新しい技法であるランダム化縮約を導入する。Unique Label Coverに対する最初のFPTアルゴリズムを達成し、Steiner CutおよびNode Multiway Cut-Uncutに対して指数的高速化を実現した。それぞれの実行時間は $2^{O(k^2ackslash\log|\Sigma|)}n^4\log n$ および $2^{O(k^2\log k)}n^4\log n$ であり、非負の辺および頂点重みを扱える。

ABSTRACT

We introduce a new technique for designing fixed-parameter algorithms for cut problems, namely randomized contractions. We apply our framework to obtain the first FPT algorithm for the Unique Label Cover problem and new FPT algorithms with exponential speed up for the Steiner Cut and Node Multiway Cut-Uncut problems. More precisely, we show the following: - We prove that the parameterized version of the Unique Label Cover problem, which is the base of the Unique Games Conjecture, can be solved in 2^{O(k^2\log |Σ|)}n^4\log n deterministic time (even in the stronger, vertex-deletion variant) where k is the number of unsatisfied edges and |Σ| is the size of the alphabet. As a consequence, we show that one can in polynomial time solve instances of Unique Games where the number of edges allowed not to be satisfied is upper bounded by O(\sqrt{\log n}) to optimality, which improves over the trivial O(1) upper bound. - We prove that the Steiner Cut problem can be solved in 2^{O(k^2\log k)}n^4\log n deterministic time and ilde{O}(2^{O(k^2\log k)}n^2) randomized time where k is the size of the cutset. This result improves the double exponential running time of the recent work of Kawarabayashi and Thorup (FOCS'11). - We show how to combine considering `cut' and `uncut' constraints at the same time. More precisely, we define a robust problem Node Multiway Cut-Uncut that can serve as an abstraction of introducing uncut constraints, and show that it admits an algorithm running in 2^{O(k^2\log k)}n^4\log n deterministic time where k is the size of the cutset. To the best of our knowledge, the only known way of tackling uncut constraints was via the approach of Marx, O'Sullivan and Razgon (STACS'10), which yields algorithms with double exponential running time. An interesting aspect of our technique is that, unlike important separators, it can handle real weights.

研究の動機と目的

• NP困難なグラフカット問題に対するFPTアルゴリズムを設計するための新しい汎用的技法の開発。
• 従来、二重指数的実行時間を引き起こしていたパラメータ化アルゴリズムにおける「カット」と「アンカット」制約の併存という課題に対処すること。
• 非負の重みを伴うUnique Label Cover、Steiner Cut、Node Multiway Cut-Uncutなどの問題に対して、効率的なFPTアルゴリズムを設計すること。
• 特にパrameter依存性が高いために実行時間が長くなる問題において、既存のFPTアルゴリズムを著しく高速化することで改善すること。
• ランダム化縮約が、正確性や効率性を損なわずに重み付きカット問題の変種に適応可能であることを示すこと。

提案手法

• 解の構造を保持しつつ、問題インスタンスを縮小するランダムな辺または頂点の縮約を用いる、新しいアルゴリズムフレームワーク「ランダム化縮約」を導入する。
• 境界付き探索木、動的計画法、高連結性フェーズにおける貪欲な削減技術と組み合わせることで、FPTアルゴリズムを設計する。
• 二段階アプローチを採用する：まず、ランダム化縮約により、有界な木幅または高連結性インスタンスにグラフを縮小する。次に、その縮小インスタンスを動的計画法または探索木で解く。
• 非負の重みを扱うために、動的計画法テーブルを拡張し、解のサイズと総重みの両方を追跡することで、最適解を保証する。
• 小さな連結成分や大きな連結成分といった構造的性質を活用し、縮約集合および解候補の選定を支援する。
• 解候補が分離条件と非分離条件の両方を満たすように、統一的な問題抽象化（Node Multiway Cut-Uncut）を定義することで、カットとアンカット制約を同時に処理する。

実験結果

リサーチクエスチョン

• RQ1 広範なグラフカット問題クラスに対してFPTアルゴリズムを設計するための新しい汎用的技法を開発可能か？
• RQ2 従来、二重指数的時間が必要とされたカットとアンカット制約を併せ持つ問題に対し、ランダム化縮約が効果的に機能するか？
• RQ3 非負の辺および頂点重みを伴う重み付きグラフカット問題に、FPT実行時間の保証を維持したままフレームワークを拡張可能か？
• RQ4 特に頂点削除バージョンにおいて、パラメータ化されたUnique Label Cover問題に対する最初のFPTアルゴリズムを達成可能か？
• RQ5 Steiner CutおよびNode Multiway Cut-Uncutに対して、既存のFPTアルゴリズムより指数的高速化を達成可能か？

主な発見

• 本稿では、パrameter化されたUnique Label Cover問題に対する最初のFPTアルゴリズムを提示する。実行時間は $2^{O(k^2\backslash\log|\Sigma|)}n^4\log n$ の決定的時間であり、$k$ は不満足な辺の数、$|\Sigma|$ はアルファベットサイズである。
• Steiner Cut問題に対しては、$2^{O(k^2\log k)}n^4\log n$ の決定的時間および $ackslashackslashackslashackslash ext{tilde{O}}(2^{O(k^2\log k)}n^2)$ のランダム化時間で実行され、KawarabayashiとThorup（FOCS'11）の二重指数的時間より顕著に改善されている。
• Node Multiway Cut-Uncut問題は $2^{O(k^2\log k)}n^4\log n$ の決定的時間で解かれる。これは、アンカット制約を伴うこの問題に対する最初のFPTアルゴリズムであり、従来のアプローチが二重指数的時間であったのを回避している。
• 動的計画法テーブルの拡張により、非負の辺および頂点重みを効果的に扱い、正確性と効率性を保持している。
• アルゴリズムのアプローチは、3つの問題の重み付き変種に、コア論理や実行時間の保証に大きな変更を加えずに適応可能である。
• 結果として、$O(\sqrt{\log n})$ 個以下の不満足な辺を有するUnique Gamesインスタンスは多項式時間で最適に解けることが示唆され、自明な $O(1)$ 界より改善されている。