限制性接受足以解决等价问题
摘要：EP：一种针对NP问题可能不是NP完全的建议方法。我们提出了一种类似的新方法，虽然证据弱一些，但适用范围更广，可用于指出具体的NP问题不是NP完全。 具体而言，我们引入了EP类，它是NP的一个子类，包括那些被NP机器接受的语言，当接受时总会有一些接受路径的数量是2的整数次幂。如果任何一个NP完全集合属于EP，那么所有的NP集合都属于EP。因此，EP的成员资格可以被视为一个问题不是NP完全的证据（无论EP在多大程度上与NP不同）。 我们证明了OBDD（有序二进制决策图）的否定等价问题和2-dag的交换等价问题都属于EP。我们还证明了布尔否定的等价问题属于EP^{NP}，从而加强了现有的NP^{NP}上界。我们证明了FewP（有界模糊多项式时间）属于EP，这是不知道是否能从之前的SPP上界推导出来的。对于上述关于EP的这三个问题和类别，尚无已知的成员资格/包含于UP的证明，对于关于EP^{NP}的这个问题，尚无已知的成员资格于UP^{NP}的证明。因此，在当前UP无法应用的自然情况下，EP确实是一个反对NP完全性的工具。
作者：Bernd Borchert, Lane A. Hemaspaandra and Joerg Rothe
论文ID：cs/9907041
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23