证明压缩与NP对PSPACE的关系 II：补充
摘要：通过将Hudelmaier的无割的最小逻辑序列演算(HSC) [5]与相应的最小Prawitz风格自然推导(ND) [6]中的水平压缩方法结合起来，我们在[3]中用先进的证明理论方法证明了猜想NP = PSPACE。在本附录中，我们展示了如何在不引用HSC的情况下证明一个更弱的结果NP = coNP。其核心思想（由第二作者提出）是省略完整的最小逻辑，仅压缩给定的非汉密尔顿图中对存在哈密尔顿回路的"naive"的正常树状ND推翻，因为哈密尔顿图问题是NP完全问题。因此，粗略地说，NP = coNP的证明可以通过从我们的NP = PSPACE的证明中进行HSC-消除来获得。
作者：L. Gordeev and E. H. Haeusler
论文ID：2011.09262
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-01-11