[論文レビュー] Hierarchies of Inefficient Kernelizability

Danny Hermelin, Stefan Kratsch+3 more|arXiv (Cornell University)|Oct 5, 2011

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

ひとこと要約

本稿では、多項式チューリングカーネル化に対して感受性が強いパrameterized問題を分類するための新しい枠組みであるWK-およびMKハイアラルキーを導入する。Min Ones d-SAT(k)、Binary NDTM Halting(k)、Connected Vertex Cover(k)、Clique(k log n)といった問題がWK[1]-完全であることを示すことにより、効率的なチューリングカーネルを有しない問題を捉えるハイアラルキーを確立し、従来のカーネル化下界の枠を超えて拡張する。

ABSTRACT

The framework of Bodlaender et al. (ICALP 2008) and Fortnow and Santhanam (STOC 2008) allows us to exclude the existence of polynomial kernels for a range of problems under reasonable complexity-theoretical assumptions. However, there are also some issues that are not addressed by this framework, including the existence of Turing kernels such as the "kernelization" of Leaf Out Branching(k) into a disjunction over n instances of size poly(k). Observing that Turing kernels are preserved by polynomial parametric transformations, we define a kernelization hardness hierarchy, akin to the M- and W-hierarchy of ordinary parameterized complexity, by the PPT-closure of problems that seem likely to be fundamentally hard for efficient Turing kernelization. We find that several previously considered problems are complete for our fundamental hardness class, including Min Ones d-SAT(k), Binary NDTM Halting(k), Connected Vertex Cover(k), and Clique(k log n), the clique problem parameterized by k log n.

研究の動機と目的

• 既存のカーネル化下界には、実用的に重要な多項式チューリングカーネルを除外しないというギャップを埋めるため。
• 標準的なパrameterized非効率性のW-およびMハイアラルキーに類似した、チューリングカーネル化の非効率性の階層を形式化するため。
• 標準的なカーネル化の緩和された概念ですら、効率的なチューリングカーネルを有しない可能性が極めて高い自然なパrameterized問題を特定・分類するため。
• Clique(k log n) や Connected Vertex Cover(k) といった代表的な問題が WK[1]-完全であることを示し、チューリングカーネル化における根本的な困難性を示すため。
• 新ハイアラルキーと古典的複雑度クラス（特に EXPT と FPT）との構造的関係を調査するため。

提案手法

• 効率的なチューリングカーネル化に対して困難であると信じられる問題のPPT閉包を通じて、WK[1]、WK[2]、… および MK[1]、MK[2]、… という新たなクラスのハイアラルキーを定義する。
• 多項式パラメトリック変換（PPT）を用いて、多項式チューリングカーネル化を保存するようにし、ハイアラルキー内での完全性の定義を可能にする。
• 既知の W[1]-完全問題からの還元を用いて、Min Ones d-SAT(k)、Binary NDTM Halting(k)、Clique(k log n) などの問題が WK[1]-完全であることを確立する。
• フラグを備えたチューリングマシンモデルを導入し、ヒットセット問題やスティーナー木問題をシミュレートすることで、WK[2] クラスへの還元を可能にする。
• 遷移とフラグ条件をパラメトリックな WSAT フレームワーク上の命題論理式に符号化することで、WK[2] に属することを証明する。
• PPT閉包の性質を活用し、還元の下でも硬さの結果が保たれることを保証し、標準的カーネル化とチューリングカーネル化の違いを維持する。

実験結果

リサーチクエスチョン

• RQ1 既存のカーネル化下界の制限を超えて、多項式チューリングカーネル化の非効率性の階層を定義できるか？
• RQ2 PPTの下で WK[1]-完全である自然なパラメータ付き問題は存在するか？ これは、効率的なチューリングカーネル化に対する根本的困難性を示唆する。
• RQ3 新ハイアラルキー WK/MK と EXPT や FPT といった古典的複雑度クラスとの関係は何か？
• RQ4 Path(k) や Cycle(k) といった問題は多項式チューリングカーネルを有するか？ もし有するならば、WKハイアラルキー内に分類可能か？
• RQ5 k log n ではなく標準的なパラメータ k を用いる自然な問題が WK[2]-完全であることを示せるか？

主な発見

• 本稿では、Clique(k log n) が WK[1]-完全であることを確立し、多項式階層が崩壊しない限り、多項式チューリングカーネルを有しない可能性が高いことを示した。
• Connected Vertex Cover(k) が WK[1]-完全であることが示され、既知の多項式カーネルの非可能性がチューリングカーネル化の文脈へと拡張された。
• Binary NDTM Halting(k) が WK[1]-完全であることが証明され、非決定的マシンのシミュレーションがチューリングカーネル化モデル下でも困難であることが示された。
• Min Ones d-SAT(k) が WK[1]-完全であることが示され、制限付きの充足可能性問題でさえ、効率的なチューリングカーネル化に対して困難であることが明らかになった。
• Steiner Tree(k log n) が WK[2]-完全であることが示され、ネットワーク設計問題と新ハイアラルキーとの関係が確立された。
• WK-およびMKハイアラルキーは、MK[1] ⊆ WK[1] ⊆ MK[2] ⊆ WK[2] ⊆ ... ⊆ EXPT という包括的で洗練された塔を形成し、カーネル化非効率性の分類に体系的な枠組みを提供する。