[論文レビュー] Linear-Time FPT Algorithms via Network Flow

Yoichi Iwata, Keigo Oka+1 more|arXiv (Cornell University)|Jul 18, 2013

Advanced Graph Theory Research被引用数 4

ひとこと要約

本稿では、奇サイクル除去問題やAlmost 2-SATといった基本的問題に対する、初めての線形時間FPTアルゴリズムを提示する。$O(4^k n)$の実行時間を達成するため、BIP2整数計画問題を頂点被覆のLP上での最適解に還元し、全探索中に最適LP解を維持するためにネットワークフローを用いる。主な革新は、残余グラフの分解を用いた線形時間での最適双対解の更新であり、最小限のオーバーヘッドで効率的な分岐を可能にする。

ABSTRACT

In the area of parameterized complexity, to cope with NP-Hard problems, we introduce a parameter k besides the input size n, and we aim to design algorithms (called FPT algorithms) that run in O(f(k)n^d) time for some function f(k) and constant d. Though FPT algorithms have been successfully designed for many problems, typically they are not sufficiently fast because of huge f(k) and d. In this paper, we give FPT algorithms with small f(k) and d for many important problems including Odd Cycle Transversal and Almost 2-SAT. More specifically, we can choose f(k) as a single exponential (4^k) and d as one, that is, linear in the input size. To the best of our knowledge, our algorithms achieve linear time complexity for the first time for these problems. To obtain our algorithms for these problems, we consider a large class of integer programs, called BIP2. Then we show that, in linear time, we can reduce BIP2 to Vertex Cover Above LP preserving the parameter k, and we can compute an optimal LP solution for Vertex Cover Above LP using network flow. Then, we perform an exhaustive search by fixing half-integral values in the optimal LP solution for Vertex Cover Above LP. A bottleneck here is that we need to recompute an LP optimal solution after branching. To address this issue, we exploit network flow to update the optimal LP solution in linear time.

研究の動機と目的

• NP困難問題に対して、関数 $f(k)$ が小さく、多項式の次数 $d$ が線形である固定パrameter tractable (FPT) アルゴリズムを設計すること。
• 分岐後に最適LP解を再計算することによる高コストなオーバーヘッドを回避するための、FPTアルゴリズムのボトルネックを克服すること。
• 頂点被覆のLP上での最適解への一般化を、特にBIP2と呼ばれる整数計画問題の広いクラスに拡張し、効率的なパrameter化された解法を可能にすること。
• 奇サイクル除去問題やAlmost 2-SATに対して、$O(4^k n)$という線形時間複雑度を達成することにより、従来の多項式次数が高く、または指数的係数が大きなアルゴリズムを改善すること。

提案手法

• 頂点被覆やAlmost 2-SATといった問題をモデル化するために、変数 $x_i, x_j$ と一回限りのスラック変数 $z_{ij}$ を含む、二値整数計画問題のクラスBIP2を導入する。
• 任意のBIP2インスタンスを、パrameter $k$ を保持したまま頂点被覆のLP上への還元を行うことで、既知のLPに基づくFPT技術の適用を可能にする。
• 全探索中に頂点被覆のLP上での最適LP解を、ネットワークフローを用いて線形時間で計算・維持する。
• 隣接頂点と等しい重みを持つ独立集合に対応する、尾部の強連結成分を同定し、削除することで変数に0/1値を安全に割り当てられる。
• 各分岐ステップ後に、ノードを削除し、残余グラフでフローを増強することで最適双対解を更新する。半整数性を活用し、更新コストを有界に保つ。
• 各増強ステップが $k$ を $\Delta/2$ 減少させることを活用し、再帰的呼び出しの総数が $4^k$ で有界であることを保証することで、全変数割り当ての全探索を実行する。

実験結果

リサーチクエスチョン

• RQ1 基本的NP困難問題に対して、入力サイズに線形依存する多項式とパrameter $k$ に単一指数的依存を持つFPTアルゴリズムを設計可能か？
• RQ2 FPTアルゴリズムの全探索中に、各ステップで最適LP解を再計算せず、効率的に最適LP解を維持する方法は何か？
• RQ3 整数計画問題の一般枠組みは、頂点被覆のLP上への線形時間還元と効率的分岐を可能にするか？
• RQ4 パrameter化された整数計画問題における変数固定後に、ネットワークフロー技術を用いて最適双対解を線形時間で更新可能か？
• RQ5 半整数最適解の文脈において、効率的な安全な変数割り当てを同定するために、残余グラフのどの構造的性質が有効か？

主な発見

• 本稿は、奇サイクル除去問題およびAlmost 2-SATに対する、初めての線形時間FPTアルゴリズムを達成し、実行時間 $O(4^k n)$ を実現した。これは従来の $O(3^k knm)$ や $O(15^k km^3)$ の境界と比べて顕著に改善されたものである。
• BIP2から頂点被覆のLP上への還元はパrameter $k$ を保持するため、広範な問題クラスにLPに基づくFPT技術を適用可能にする。
• ネットワークフローと残余グラフの分解を用いることで、頂点被覆のLP上での最適LP解を線形時間で維持可能であり、高コストな再計算を回避できる。
• アルゴリズムは、安全な0/1割り当てに対応する尾部の強連結成分を同定し、削除することで探索空間を効率的に削減する。
• すべての再帰的呼び出しにおけるフロー増強の総コストは $O(4^k (|V| + |E|))$ で有界であり、全体の実行時間が入力サイズに線形に保たれることを保証する。
• 本手法はパrameter $k$ に対して $4^k$ の依存性を達成しており、現在の枠組みにおいて最適であり、類似問題の $9^k$ や $15^k$ の境界を改善する。