[論文レビュー] Parameterized Study of the Test Cover Problem

Robert Crowston, Gregory Gutin+3 more|arXiv (Cornell University)|Dec 1, 2012

Advanced Graph Theory Research参考文献 12被引用数 5

ひとこと要約

本稿は、Test Cover問題のパラメータ化された複雑性解析を提供し、二つの固定パラメータ可 tractable (FPT) パラメータ化—k-Test Cover および (n−k)-Test Cover—を同定する。一方、(m−k)-Test Cover および (log n + k)-Test Cover が W[1]-hard であることを証明する。主な貢献は、有界深さの木分解とクラスサイズの低減を用いて (n−k)-Test Cover の FPT 状態を確立し、その結果、解法の実行時間は k にのみ依存するように可能となる。

ABSTRACT

We carry out a systematic study of a natural covering problem, used for identification across several areas, in the realm of parameterized complexity. In the {\sc Test Cover} problem we are given a set $[n]=\{1,...,n\}$ of items together with a collection, $\cal T$, of distinct subsets of these items called tests. We assume that $\cal T$ is a test cover, i.e., for each pair of items there is a test in $\cal T$ containing exactly one of these items. The objective is to find a minimum size subcollection of $\cal T$, which is still a test cover. The generic parameterized version of {\sc Test Cover} is denoted by $p(k,n,|{\cal T}|)$-{\sc Test Cover}. Here, we are given $([n],\cal{T})$ and a positive integer parameter $k$ as input and the objective is to decide whether there is a test cover of size at most $p(k,n,|{\cal T}|)$. We study four parameterizations for {\sc Test Cover} and obtain the following: (a) $k$-{\sc Test Cover}, and $(n-k)$-{\sc Test Cover} are fixed-parameter tractable (FPT). (b) $(|{\cal T}|-k)$-{\sc Test Cover} and $(\log n+k)$-{\sc Test Cover} are W[1]-hard. Thus, it is unlikely that these problems are FPT.

研究の動機と目的

• 四つの異なるパラメータ化に基づいて、Test Cover 問題のパラメータ化された複雑性を体系的かつ分析すること。
• 解のサイズ、上限/下限、対数項に基づくパラメータ化が、固定パラメータ可 tractable (FPT) アルゴリズムをもたらすかどうかを特定すること。
• (n−k)-Test Cover の複雑性状態を解明すること。本稿では、テストツリーの構造的分解とクラスサイズの境界を用いて、これが FPT であることが示される。
• (m−k)-Test Cover および (log n + k)-Test Cover が W[1]-hard であることを証明し、標準的な仮定のもとで FPT アルゴリズムが存在しない可能性が高いことを示すこと。
• 将来の実用的アルゴリズムの基盤を提供するため、パラメータ k にのみ依存する有界実行時間を持つ FPT ケースを同定すること。

提案手法

• 独立集合問題を (m−k)-Test Cover にパラメータ化還元することで、W[1]-hard であることを示す。
• グリーディーなアルゴリズム（Greedy-mini-test）を適用し、少なくともそのサイズの 1.5 倍のクラスを誘導する小さなテストカバーを特定する。
• テスト構造の木分解を用い、深さを f₁(k) で、クラスサイズを f₃(d,k) で境界づけることで、アイテム数を制限する。
• 署名に基づく同型性の議論を用いて、重複する部分木を低減し、異なるテスト設定の数を有界に保つ。
• 木のサイズおよびクラスの基数に関する再帰的境界を適用し、関数 f₂(d,k) および f₃(d,k) を用いてインスタンスのサイズを制御する。
• 還元の妥当性を検証するため、元のインスタンスと還元後のインスタンスの間で等価性を示し、k-mini テストカバーの存在を保持することを確認する。

実験結果

リサーチクエスチョン

• RQ1 n−k でパラメータ化された (n−k)-Test Cover 問題は、固定パラメータ可 tractable (FPT) であるか？
• RQ2 m がテスト数であるとき、(m−k)-Test Cover のパラメータ化された複雑性は何か？
• RQ3 (log n + k)-Test Cover は FPT 時間で解けるか、それとも W[1]-hard であるか？
• RQ4 k-Test Cover は、テストカバーのサイズに対するタイトな下界 ⌈log n⌉ が存在するにもかかわらず、FPT アルゴリズムを有するか？
• RQ5 テストツリーの構造的分解とクラスサイズの境界は、Test Cover 問題に対して FPT アルゴリズムを導くことができるか？

主な発見

• (n−k)-Test Cover 問題は、有界な深さとテストによって誘導されるクラスのサイズの両方が有界であるため、パラメータ k のみに依存する実行時間を持つ FPT である。
• k-Test Cover 問題は FPT である。下界 ⌈log n⌉ により、k ≥ log n が必須であるが、k が小さい場合にはブルートフォース探索が可能となる。
• (m−k)-Test Cover 問題は W[1]-hard である。これは、標準的な複雑性仮定のもとで、FPT アルゴリズムが存在しない可能性が高いことを示唆する。
• (log n + k)-Test Cover 問題も W[1]-hard である。これは、タイトな下界より上にパラメータ化しても、 tractability が得られないことを示している。
• (n−k)-Test Cover の還元後インスタンスに含まれるアイテム数は、k の関数として有界であり、具体的には 3k × f₃(f₁(k),k) で表される。これにより FPT アルゴリズムが可能となる。
• 同型な部分木とそれに対応するテストを削除しても、k-mini テストカバーの存在が保持されることを示すことにより、有効な還元が確立された。