论文标题的中文翻译为：关于完备问题的规范形式与一阶投影
摘要：通过一阶规约 NP 完全问题的问题类别被已知为以存在性第二阶语句的固定形式进行表征。所有这些语句都是围绕着所谓的独立集定义的IS形式构建的。这个结果也可以理解为，定义了一个 NP 完全问题 P 的每个语句都可以分解为两个不交的部分，其中第一个部分表征了一个与独立集一样困难的 P 的片段，而第二个部分表示了其余的 P。也就是说，将每个这样的语句分成模 Independent-Set 的商和余数的分解。本文中，我们展示了这个结果可以推广到包括所谓的好的类在内的广泛的复杂度类中。此外，我们还展示了对于给定类别中的任何完全问题，都可以进行这样的分解，并且两个这样的分解一般情况下是非等价的。有趣的是，我们的结果基于一阶规约的简单和众所周知的属性。
作者：Nerio Borges, Blai Bonet
论文ID：0706.3412
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-06-26