Min Ones问题的预处理：一个二分法
摘要：Min Ones约束满足问题的参数化问题中的参数化问题，形式化定义了预处理的概念。我们对Min Ones约束满足问题进行了完整的分类，介绍了可合并性的概念，并获得了一个具有O(k^{d+1})变量和多项式总大小的内核，其中d是Gamma中的约束的最大等值的性质，与d-Hitting Set问题的O(k^{d-1})顶点的界限相比显得很好。否则，Gamma中的任何不可合并的关系都允许我们构造一个对数成本的选择公式，即具有O(log n)个真正局部变量的n元选择公式。根据Bodlaender等人以及Fortnow和Santhanam的最新结果，我们可以构造出我们的下界，证明除非NP属于coNP/poly且多项式层次塌陷到第三级，否则不存在多项式内核化。
作者：Stefan Kratsch and Magnus Wahlstrom
论文ID：0910.4518
分类：Computational Complexity
分类简称：cs.CC
提交时间：2009-10-26