References & Citations
Computer Science > Computational Complexity
Title: On the Approximation Method and the P versus NP Problem
(Submitted on 11 Aug 2017 (v1), last revised 15 Jun 2020 (this version, v3))
Abstract: First of all we give some reasons that "natural proofs" built not a barrier to prove P $\not=$ NP using Boolean complexity. Then we investigate the approximation method for its extension to prove super-polynomial lower bounds for the non-monotone complexity of suitable Boolean functions in NP or to understand why this is not possible. It is given some evidence that the approximation method alone cannot be used to prove a super-linear lower bound for any function $f \in {\cal B}_n$. Additionally, an overview on the methods for proving lower bounds of the non-monotone and the monotone complexity of Boolean functions is given. Finally, a personal opinion how to proceed the research on the P versus NP problem and also on proving a super-linear lower bound for the non-monotone complexity of a Boolean function in NP is given.
Submission history
From: Norbert Blum [view email][v1] Fri, 11 Aug 2017 09:38:56 GMT (23kb)
[v2] Wed, 30 Aug 2017 10:41:27 GMT (0kb,I)
[v3] Mon, 15 Jun 2020 16:45:33 GMT (27kb)
Link back to: arXiv, form interface, contact.