Critique of Boyu Sima's Proof that P ≠ NP.
Brendon Pon · arXiv (Cornell University) · 2020
We review and critique Boyu Sima's paper, A solution of the P versus NP problem based on specific property of clique function, (arXiv:1911.00722) which claims to prove that ${\rm P} eq{\rm NP}$ by way of removing the gap between the nonmonotone circuit complexity and the monotone circuit complexity of the clique function. We first describe Sima's argument, and then we describe where and why it fails. Finally, we present a simple example that clearly demonstrates the failure.