对 Feinstein 关于 P 不等于 NP 证明的批判
计算复杂性
2007-06-15 v1
摘要
我们考察了 Craig Alan Feinstein 关于 P 不等于 NP 的证明。我们针对其论文中的主张提出了反例，并揭示了其用于做出断言的方法论中的缺陷。其论证的错误在于不正确地使用了归约。Feinstein 基于存在一个更复杂的问题可用于解决该问题这一事实，对该问题的复杂性做出了错误假设。其论文引入了“虚拟处理器”（imaginary processor）这一术语，以描述如何克服他提出的用于解决子集和问题（Subset-Sum problem）的暴力归约。即使虚拟处理器存在，该论文中提出的主张也无法有效成立。
引用
@article{arxiv.0706.2035,
title = {Critique of Feinstein's Proof that P is not Equal to NP},
author = {Kyle Sabo and Ryan Schmitt and Michael Silverman},
journal= {arXiv preprint arXiv:0706.2035},
year = {2007}
}
备注
5 pages, 2 definitions