A Solution of the P versus NP Problem based on specific property of clique function
Boyu Sima

TL;DR
This paper proposes a novel approach to the P versus NP problem by analyzing the clique function's properties, showing that non-monotone circuit complexity is super-polynomial, thus implying P!=NP.
Contribution
It introduces a method to relate monotone and non-monotone circuit complexities for the clique function, providing evidence for super-polynomial lower bounds.
Findings
Non-monotone network complexity of clique is super-polynomial.
Replacing Not gates with constants shows non-monotone complexity bounds.
Supports P!=NP through circuit complexity analysis.
Abstract
Circuit lower bounds are important since it is believed that a super-polynomial circuit lower bound for a problem in NP implies that P!=NP. Razborov has proved superpolynomial lower bounds for monotone circuits by using method of approximation. By extending this approach, researchers have proved exponential lower bounds for the monotone network complexity of several different functions. But until now, no one could prove a non-linear lower bound for the non-monotone complexity of any Boolean function in NP. While we show that in this paper by replacement of each Not gates into constant 1 equivalently in standard circuit for clique problem, it can be proved that non-monotone network has the same or higher lower bound compared to the monotone one for computing the clique function. This indicates that the non-monotone network complexity of the clique function is super-polynomial which…
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
TopicsComplexity and Algorithms in Graphs · Advanced Graph Theory Research · Formal Methods in Verification
