On Lev Gordeev's "On P Versus NP"
David Narv\'aez, Patrick Phillips

TL;DR
This paper critiques Lev Gordeev's attempt to extend approximation methods to De Morgan Normal circuits for proving P versus NP, highlighting a key mistake and emphasizing the need to include negated inputs in such approaches.
Contribution
The paper analyzes Gordeev's approach to proving P ≠ NP via DMN circuit lower bounds and identifies a critical flaw in his method.
Findings
Gordeev's proof contains a crucial mistake in Lemma 12.
Extending approximation methods to DMN circuits requires approximating negated inputs.
The identified flaw undermines the potential of Gordeev's approach to resolve P vs NP.
Abstract
In the paper "On P versus NP," Lev Gordeev attempts to extend the method of approximation, which successfully proved exponential lower bounds for monotone circuits, to the case of De Morgan Normal (DMN) circuits. As in Razborov's proof of exponential lower bounds for monotone circuits, Gordeev's work is focused on the NP-complete problem CLIQUE. If successful in proving exponential DMN circuit lower bounds for CLIQUE, Gordeev would prove that P NP. However, we show that Gordeev makes a crucial mistake in Lemma 12. This mistake comes from only approximating operations over positive circuit inputs. Furthermore, we argue that efforts to extend the method of approximation to DMN circuits will need to approximate negated inputs as well.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNumerical Methods and Algorithms · Complexity and Algorithms in Graphs · Low-power high-performance VLSI design
