对 Aslam 关于 NP = P 证明的反驳
计算复杂性
2009-05-15 v2
摘要
Aslam 提出了一种算法，声称该算法能够通过属于 NC 函数计算版本（其本身为 FP 的子集）中的算法来计算任意非完全二部图中的完美匹配数。计算完美匹配数已知是 #P 完全的；因此，如果 Aslam 的算法是正确的，那么 NP=P。然而，我们证明了 Aslam 的算法并不能正确计算完美匹配数，并提供了一个非完全二部图作为具体的反例。
引用
@article{arxiv.0904.3912,
title = {Refutation of Aslam's Proof that NP = P},
author = {Frank Ferraro and Garrett Hall and Andrew Wood},
journal= {arXiv preprint arXiv:0904.3912},
year = {2009}
}
备注
13 pages, 2 figures, a response to Aslam's paper (arXiv:0812.1385v11) and the underlying arguments (arXiv:0812.1385v9). Very minor content changes and typos fixed