对 Barbosa 的“P != NP 证明”的批评
计算复杂性
2017-11-21 v1
摘要
我们回顾了 André Luiz Barbosa 的论文“P != NP Proof”，其中对 P 类和 NP 类进行了推广并声称证明了二者分离。我们指出了 Barbosa 定义中固有的歧义，并表明试图消除该歧义会导致其主结果证明中的缺陷。
关键词
引用
@article{arxiv.1711.07132,
title = {Critique of Barbosa's "P != NP Proof"},
author = {Jackson Abascal and Shir Maimon},
journal= {arXiv preprint arXiv:1711.07132},
year = {2017}
}