[論文レビュー] Deterministic parameterized connected vertex cover

Marek Cygan|arXiv (Cornell University)|Feb 29, 2012

Advanced Graph Theory Research参考文献 8被引用数 10

ひとこと要約

本稿では、$O(2^k n^{O(1)})$ 時間と多項式空間で動作する、連結頂点被覆問題の決定的アルゴリズムを提示している。これは、以前の決定的アルゴリズムの最良境界 $O^*(2.4882^k)$ よりも改善されたものである。さらに、重み付きおよびカウント変種に対しても $O(2^k k(n+m))$ 時間と空間で解けるように拡張されており、強い指数時間仮説（SETH）のもとで最適性を達成している。

ABSTRACT

In the Connected Vertex Cover problem we are given an undirected graph G together with an integer k and we are to find a subset of vertices X of size at most k, such that X contains at least one end-point of each edge and moreover X induces a connected subgraph. For this problem we present a deterministic algorithm running in O(2^k n^O(1)) time and polynomial space, improving over previously best O(2.4882^k n^O(1)) deterministic algorithm and O(2^k n^O(1)) randomized algorithm. Furthermore, when usage of exponential space is allowed, we present an O(2^k k(n+m)) time algorithm that solves a more general variant with arbitrary real weights. Finally, we show that in O(2k k(n + m)) time and O(2^k k) space one can count the number of connected vertex covers of size at most k, which can not be improved to O((2 - eps)^k nO(1)) for any eps > 0 under the Strong Exponential Time Hypothesis, as shown by Cygan et al. [CCC'12].

研究の動機と目的

• 従来の決定的手法よりも時間計算量を改善した、連結頂点被覆問題の決定的パラメータ化アルゴリズムの開発。
• 最適実行時間を維持したまま、問題の重み付きおよびカウント変種を扱えるようにアルゴリズムを拡張すること。
• 意思決定問題に対しては多項式空間、重み付きおよびカウント変種に対しては指数時間空間を用いること。
• 強いついえん時間仮説（SETH）のもとで、カウントアルゴリズムが最適であることを証明すること。

提案手法

• サイズが高々 $k$ の頂点被覆候補集合 $T$ の部分集合に対して動的計画法を用いる。ここで $T$ は頂点の部分集合である。
• 各部分集合 $T_0 \subseteq T$ および各 $j \leq k$ に対して、$t(T_0, j)$ という状態を保持し、$T_0$ を拡張するサイズ $j$ の連結頂点被覆の最小重みまたはカウントを表す。
• 二部グラフの構造を活用し、問題を端子が $T$ である変種の二部グラフスティーナー木問題に還元する。
• 連結性と重み情報を部分集合全体にわたって伝搬する再帰的動的計画法ルーチンを適用し、近傍拡張によって連結性を保証する。
• 意思決定ケースにおいて多項式空間を達成するために、Nederlof [14] のアルゴリズムを用い、重み付きおよびカウント変種では指数時間空間の使用を置き換える。
• 標準的手法を用いて、同じ時間計算量で動的計画法テーブルから実際の頂点被覆集合を再構築する。

実験結果

リサーチクエスチョン

• RQ1 連結頂点被覆問題の決定的アルゴリズムを、$O(2^k n^{O(1)})$ 時間で設計可能か。これは、以前の $O^*(2.4882^k)$ の境界を改善するものである。
• RQ2 任意の実数重みをもつ重み付き連結頂点被覆問題を、$O(2^k k(n+m))$ 時間および空間で解くことは可能か。
• RQ3 サイズが高々 $k$ の連結頂点被覆の数を数えるカウント変種を、$O(2^k k(n+m))$ 時間および空間で解くことは可能か。
• RQ4 任意の $\varepsilon > 0$ に対して $O^*((2-\varepsilon)^k)$ 時間は不可能であるとされる強いついえん時間仮説（SETH）のもとで、提案されたカウントアルゴリズムは最適か。
• RQ5 重み付きおよびカウント変種において、指数時間空間の要請を回避しつつ、最適実行時間計算量を維持することは可能か。

主な発見

• 本稿では、$O(2^k n^{O(1)})$ 時間と多項式空間で動作する連結頂点被覆問題の決定的アルゴリズムを提示しており、以前の決定的アルゴリズムの最良境界 $O^*(2.4882^k)$ よりも改善されている。
• 任意の実数重みをもつ重み付き連結頂点被覆問題に対して、$O(2^k k(n+m))$ 時間および $O(2^k k)$ 空間のアルゴリズムが開発された。
• サイズが高々 $k$ の連結頂点被覆の数を数えるカウント変種に対して、$O(2^k k(n+m))$ 時間および $O(2^k k)$ 空間のアルゴリズムが提示され、これは強いついえん時間仮説（SETH）のもとで最適である。
• カウントアルゴリズムは、$O^*((2-\varepsilon)^k)$ 時間が任意の $\varepsilon > 0$ に対して不可能であるという点で、SETHのもとでタイトであることが証明された。
• 多項式空間において、重み付き変種で重みが多項式的に有界な整数である場合、$O(2^k n^{O(1)})$ 時間と多項式空間で解くことができ、Nederlof [14] のアルゴリズムが用いられた。
• カウント機能および重み付き拡張を伴う連結性問題に対して、ランダム化でない、完全に多項式空間のアプローチに、元々ランダム化でカウント機能のないCut&Count技法を置き換えることができた。