P和NP的分离

摘要:P 不等于 NP问题通过新的证明方法可以得到证明。为了一个任意的图灵机设置了一个时间限制,并且当一个输入超时时,该输入被拒绝。时间限制趋近于无穷大。由于停机问题,一个单词是否被接受只能在运行时确定。通过Rice定理可以证明,如果要检查的单词是一个有限集合,那么它们都必须通过蛮力测试。

作者:Reiner Czerwinski

论文ID:2108.09269

分类:Computational Complexity

分类简称:cs.CC

提交时间:2022-01-12

PDF 下载: 英文版 中文版pdf翻译中