在UP、DisjNP和DisjCoNP中，具有$P=NP\cap coNP$的Oracle，但没有Many-One完备性
摘要：相对于我们构建的预言机，$P = NP \cap coNP$，但是在UP中没有多对一完全集合，没有多对一完全不相交的NP对，也没有多对一完全不相交的coNP对。这为Pudl''ak [Pud17]提出的一个研究计划做出了贡献，在这个计划中，研究了有限域中的不完备性，并提到了构建这样的预言机是一个开放的问题。这个预言机显示了在Pudl''ak研究的假设列表中，NP∩coNP是必不可少的。因此，应该考虑更强的假设，以找到一个通用的假设。
作者：Anton Ehrmanntraut, Fabian Egidy, Christian Gla{ss}er
论文ID：2203.11079
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-03-22