Barbosa、一致多项式时间界与承诺
计算复杂性
2015-03-19 v1
摘要
本文是对Andre Luiz Barbosa题为“P != NP证明”的论文的评论与批评。尽管标题颇具挑衅性，但该论文试图做的并非在文献中该符号的标准意义上证明P ≠ NP。相反，Barbosa（并且他本人也意识到）主张应为符号P ≠ NP赋予不同的含义，并声称在其相当不同的陈述意义下证明了P ≠ NP这一命题的真实性。然而，我们注意到：（1）该论文甚至在其自身框架内也未能成功，由于一致性问题，该论文的证明即使在其符号的非同寻常意义下也未能确立P ≠ NP；（2）该论文对P ≠ NP这一主张所实际意指的含义，实际上意味着即使在文献中该符号的标准意义下P ≠ NP也成立（因此Barbosa的证明在短期内极不可能被修正）。
引用
@article{arxiv.1106.1150,
title = {Barbosa, Uniform Polynomial Time Bounds, and Promises},
author = {Lane A. Hemaspaandra and Kyle Murray and Xiaoqing Tang},
journal= {arXiv preprint arXiv:1106.1150},
year = {2015}
}