P =？ NP的哲学解决方案：P等于NP
摘要：P = NP问题在随机访问乘法(MRAM)模型中证明了P等于NP，从而在哲学上解决了该问题。实验证明了MRAM模型最好地模拟了计算的困难性。P = NP问题被证明是一个科学问题，而不是一个数学问题。批评了当前对P = NP问题的定义以及多项式时间确定性图灵机(NDTM)的假设。同时指出该问题既不是纯粹数学问题，也不是应用数学问题。详细描述了MRAM模型以及Hartmanis和Simon的构造方法，展示了如何在MRAM机器上编码和模拟NDTM。由于MRAM的计算能力与NDTM相同，因此P等于NP。本文通过展示Von Neumann明确拒绝了求解计算难度的自动机模型，并使用他的计算机体系结构模拟计算，也就是MRAM模型，来证明Kurt Godel致John Von Neumann的信中关于NDTM P = NP问题的论证是不正确的。本文认为，Deolalikar的科学解决方案，即在使用统计物理的假设时，显示P不等于NP需要重新审视。
作者：Steven Meyer
论文ID：1603.06018
分类：General Literature
分类简称：cs.GL
提交时间：2016-03-22