[論文レビュー] Faster Parameterized Algorithms using Linear Programming

Daniel Lokshtanov, N. S. Narayanaswamy+3 more|arXiv (Cornell University)|Mar 5, 2012

Advanced Graph Theory Research参考文献 16被引用数 19

ひとこと要約

本稿では、頂点被覆問題の最適解とその線形計画法（LP）緩和値との差を活用することで、頂点被覆および関連問題に対するより高速なパrameterizedアルゴリズムを提示する。LP値の変化をブランチング段階で分析することにより、Above Guarantee Vertex Coverおよび関連問題に対して $O^{*}(2.3146^k)$ のアルゴリズムを達成し、従来の $O^{*}(3^k)$ の境界を顕著に上回る。また、標準的な頂点被覆問題に対しては、$2k - O(\log k)$ のカーネルを提供する。

ABSTRACT

We investigate the parameterized complexity of Vertex Cover parameterized by the difference between the size of the optimal solution and the value of the linear programming (LP) relaxation of the problem. By carefully analyzing the change in the LP value in the branching steps, we argue that combining previously known preprocessing rules with the most straightforward branching algorithm yields an $O^*((2.618)^k)$ algorithm for the problem. Here $k$ is the excess of the vertex cover size over the LP optimum, and we write $O^*(f(k))$ for a time complexity of the form $O(f(k)n^{O(1)})$, where $f (k)$ grows exponentially with $k$. We proceed to show that a more sophisticated branching algorithm achieves a runtime of $O^*(2.3146^k)$. Following this, using known and new reductions, we give $O^*(2.3146^k)$ algorithms for the parameterized versions of Above Guarantee Vertex Cover, Odd Cycle Transversal, Split Vertex Deletion and Almost 2-SAT, and an $O^*(1.5214^k)$ algorithm for Konig Vertex Deletion, Vertex Cover Param by OCT and Vertex Cover Param by KVD. These algorithms significantly improve the best known bounds for these problems. The most notable improvement is the new bound for Odd Cycle Transversal - this is the first algorithm which beats the dependence on $k$ of the seminal $O^*(3^k)$ algorithm of Reed, Smith and Vetta. Finally, using our algorithm, we obtain a kernel for the standard parameterization of Vertex Cover with at most $2k - c \log k$ vertices. Our kernel is simpler than previously known kernels achieving the same size bound.

研究の動機と目的

• 最適頂点被覆サイズとその線形計画法（LP）緩和値との差をパrameterとして用いることで、頂点被覆および関連問題に対するより高速なパrameterizedアルゴリズムを開発すること。
• 奇サイクル除去問題および関連問題における長年の $O^{*}(3^k)$ の境界を改善すること。
• 従来の境界を改善した、サイズ $2k - O(\log k)$ のより単純なカーネルを標準的頂点被覆問題に対して設計すること。
• LPに基づくパラメータ化が、よりタイトな実行時間解析と改善されたアルゴリズム設計を可能にすることを示すこと。

提案手法

• 著者らは、頂点被覆のLP緩和値を $\text{OPT}_{\text{LP}}$ とし、$k = \text{OPT}_{\text{VC}} - \text{OPT}_{\text{LP}}$ をパラメータとして用いる。
• ブランチング段階におけるLP値の変化を分析することで、再帰呼び出しの回数を制限し、より良いブランチング要因を達成する。
• 方程式 $x^3 = x^2 + 1$ の根に基づく再帰関係を実現する洗練されたブランチングアルゴリズムを設計し、$O^{*}(2.3146^k)$ の実行時間を得る。
• 標準的な前処理ルールとLPに基づくブランチングを組み合わせ、複雑な構造的還元を回避する。
• Above Guarantee Vertex Coverからのパラメータ化還元を用いて、奇サイクル除去問題やKon"{i}g頂点削除問題へとこの手法を拡張する。
• $k - \text{OPT}_{\text{LP}} \leq \log k$ となるまで前処理ルールを適用し、その後直接解くカーネル化手順を開発する。

実験結果

リサーチクエスチョン

• RQ1 最適頂点被覆サイズとLP緩和値との差を、頂点被覆および関連問題に対するより高速なパrameterizedアルゴリズムの設計に活用できるか？
• RQ2 LP値の変化を精確に分析したLPベースのブランチングが、より良い漸近的実行時間境界をもたらすか？
• RQ3 このアプローチにより、従来のものよりも小さいカーネルが標準的頂点被覆問題に対して得られるか？
• RQ4 この手法は、奇サイクル除去問題などに対して $O^{*}(3^k)$ の壁を破るか？

主な発見

• 著者らは、Above Guarantee Vertex Coverに対して $O^{*}(2.3146^k)$ のアルゴリズムを達成し、従来の $O^{*}(4^k)$ の境界を改善した。
• 奇サイクル除去問題および関連問題において、新しいアルゴリズムは $O^{*}(3^k)$ の壁を破り、$O^{*}(2.3146^k)$ の実行時間に到達した。
• 標準的頂点被覆問題に対しては、サイズが $2k - O(\log k)$ 以下のカーネルが得られ、同様の境界を持つ従来の構成よりも単純である。
• Kon"{i}g頂点削除問題のアルゴリズムは $O^{*}(1.5214^k)$ の時間で実行され、従来の境界を改善した。
• Split Vertex Deletion や Almost 2-SAT を含む、他の問題に対してもパラメータ化還元を用いて一般化可能である。
• これらの結果から、Above Guarantee Vertex Coverに適用可能なカーネルサイズの境界が、その還元チェーン内のすべての問題にそのまま適用可能であることが示唆される。