[論文レビュー] A Linear Time Parameterized Algorithm for Directed Feedback Vertex Set

Daniel Lokshtanov, M. S. Ramanujan+1 more|arXiv (Cornell University)|Sep 14, 2016

Advanced Graph Theory Research参考文献 47被引用数 9

ひとこと要約

本稿は、時間 $ackslash ext{mathcal extbackslash extbackslash O}(k!\,4^k\,k^5\,(n+m))$ で実行される最初の線形時間固定パrameter tractable (FPT) アルゴリズムを、有向サイクル除去頂点集合問題 (DFVS) に対して提示する。この成果は、パラメータ依存性を保ちながらインスタンスサイズを段階的に縮小する、新しい分離子に基づく反復的縮小技術を導入することによって達成された。この技術により、パラメータ依存性は $k$ 要因の差異を除き、既存の最良の結果と一致する。また、この手法は、Multicut や有向サブセットサイクル除去頂点集合問題といった関連問題の高速化にも寄与する。

ABSTRACT

In the Directed Feedback Vertex Set (DFVS) problem, the input is a directed graph $D$ on $n$ vertices and $m$ edges, and an integer $k$. The objective is to determine whether there exists a set of at most $k$ vertices intersecting every directed cycle of $D$. Whether or not DFVS admits a fixed parameter tractable (FPT) algorithm was considered the most important open problem in parameterized complexity until Chen, Liu, Lu, O'Sullivan and Razgon [JACM 2008] answered the question in the affirmative. They gave an algorithm for the problem with running time $O(k!4^kk^4nm)$. Since then, no faster algorithm for the problem has been found. In this paper, we give an algorithm for DFVS with running time $O(k!4^kk^5(n+m))$. Our algorithm is the first algorithm for DFVS with linear dependence on input size. Furthermore, the asymptotic dependence of the running time of our algorithm on the parameter $k$ matches up to a factor $k$ the algorithm of Chen, Liu, Lu, O'Sullivan and Razgon. On the way to designing our algorithm for DFVS, we give a general methodology to shave off a factor of $n$ from iterative-compression based algorithms for a few other well-studied covering problems in parameterized complexity. We demonstrate the applicability of this technique by speeding up by a factor of $n$, the current best FPT algorithms for Multicut [STOC 2011, SICOMP 2014] and Directed Subset Feedback Vertex Set [ICALP 2012, TALG 2014].

研究の動機と目的

• 古典的な有向サイクル除去頂点集合問題 (DFVS) に対して、最初の線形時間 FPT アルゴリズムを設計すること。
• Chen ら (2008) の最新の $\mathcal{O}(4^k\,k!\,k^4\,nm)$ の実行時間より改善し、入力サイズに対して線形依存性を達成すること。
• 被覆問題に対する反復圧縮に基づく FPT アルゴリズムにおいて、$n$ 要因を削減する一般化可能な手法を開発すること。
• この技術の適用範囲を、Multicut や有向サブセットサイクル除去頂点集合問題といった他の問題へ拡張すること。
• パラメータ $k$ が小さい場合に実装可能で効率的であることを示し、隠れ定数が小さいことによる実用的効率を示すこと。

提案手法

• 各反復でインスタンスサイズを定数倍だけ縮小する、新しい分離子に基づく反復的縮小フレームワークを導入する。
• パラメータを小さくするか、効率的なインスタンス圧縮を可能にする良い分離子を同定するために、タイト分離子列を用いる。
• 有効なサイクル除去頂点集合を探索するための指針として、$l$-良い、$r$-良い、$l$-軽量、$r$-軽量分離子の概念を用いる。
• 一般 DFVS 問題をその圧縮版に変換するブラックボックス還元を適用し、線形時間性能を実現する。
• 解構造の剛性を活用して、分離子によって誘導される部分構造が、望ましいグラフクラスに留まることを保証する。
• 同様の技術を用いて、Multicut や有向サブセットサイクル除去頂点集合問題に対する既存の FPT アルゴリズムを $n$ 要因高速化する。

実験結果

リサーチクエスチョン

• RQ1 有向サイクル除去頂点集合問題 (DFVS) に対して、$\mathcal{O}(f(k)\cdot(n+m))$ の実行時間で実行される線形時間 FPT アルゴリズムを設計することは可能か？
• RQ2 反復的縮小技術を、反復圧縮に基づく FPT 問題、特に $\mathcal{O}(f(k)\cdot n)$ のオーバーヘッドを持つ問題へ一般化することは可能か？
• RQ3 パラメータ依存性を、既存の最良の結果と一致させつつ、入力サイズに対して線形依存性を達成することは可能か？
• RQ4 新しい分離子に基づく手法が、$k$ が小さい場合の実用的効率を顕著に向上させられるか？
• RQ5 この技術を、Multicut や有向サブセットサイクル除去頂点集合問題といった他の被覆問題へ拡張可能か？

主な発見

• 本稿は、実行時間 $\mathcal{O}(k!\,4^k\,k^5\,(n+m))$ で入力サイズに対して線形依存性を達成する、DFVS 問題に対する最初の線形時間 FPT アルゴリズムを提示する。
• パラメータ依存性は $\mathcal{O}(k!\,4^k)$ まで、$k$ 要因の差異を除き、既存の最良の結果と一致する。これは、指数時間仮説 (ETH) に基づくほぼ最適性を示唆する。
• 各反復でインスタンスサイズを定数倍だけ縮小する、分離子列に基づく革新的な反復的縮小アプローチを導入する。
• この技術により、Multicut や有向サブセットサイクル除去頂点集合問題に対する既存の FPT アルゴリズムが $n$ 要因高速化され、実行時間は $\mathcal{O}(f(k)\cdot n^2)$ から $\mathcal{O}(f(k)\cdot n)$ に短縮される。
• アルゴリズムは基本的なアルゴリズム的および組合せ的ツールのみに依存しており、隠れ定数が小さいことが示唆され、$k$ が小さい場合の実用的効率が非常に高い。
• このフレームワークにより、任意の反復圧縮に基づく FPT アルゴリズム（$\mathcal{O}(f(k)\cdot n)$ のオーバーヘッドを持つもの）を、各ステップで入力サイズを縮小することで、$\mathcal{O}(f(k)\cdot n)$ 時間のアルゴリズムに変換する一般手法が提供される。