[论文解读] Hierarchies of Inefficient Kernelizability

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

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

一句话总结

本文提出了 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.

研究动机与目标

• 为现有核化下界所未涵盖的领域提供补充，即尽管多项式图灵核化在实践中具有重要意义，但现有下界并未排除其可能性。
• 形式化图灵核化不可约性的层次结构，类比于标准参数化不可约性中的 W- 和 M- 层次结构。
• 识别并分类那些即使在核化概念被放宽的情况下，也极不可能存在高效图灵核化的自然参数化问题。
• 证明若干著名问题（包括 Clique(k log n) 和 Connected Vertex Cover(k)）为 WK[1]- 完全，表明其在图灵核化中具有根本性困难。
• 探索新层次结构与经典复杂度类（尤其是 EXPT 和 FPT）之间的结构性联系。

提出的方法

• 通过定义被认为对高效图灵核化困难的问题的 PPT-闭包，提出新的类层次结构——WK[1]、WK[2]、… 和 MK[1]、MK[2]、…
• 使用多项式参数变换（PPTs）来保持多项式图灵核化性质，从而在层次结构内定义完备性。
• 通过从已知的 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（而非 k log n）下为 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，为核化不可约性提供了结构化的分类框架。