从Oracle机器到图灵机：对Cook 1971年论文中P约简的探究
摘要：Cook定理中的关键概念P约简的论文探讨，揭示了P约简中定义错误的错误，并归因于将非确定图灵机从Oracle机假装移到图灵机上。P约简的定义或推导本质上等同于图灵的可计算性。在Cook 1971年的论文中，尚未真正证明NP问题是否可以归约到逻辑形式（永真式或可满足性问题）或者NP问题是否可以互相归约。
作者：JianMing Zhou, Yu Li
论文ID：1905.06311
分类：Other Computer Science
分类简称：cs.OH
提交时间：2019-05-20