Postulate-based proof of the P != NP hypothesis
O.V.German

TL;DR
This paper claims to prove P != NP using two natural postulates that restrict Turing machine capabilities and emphasize the importance of handling conditions individually, leading to an exponential time requirement for certain problems.
Contribution
It introduces a novel proof approach for P != NP based on postulates about problem conditions and Turing machine limitations, aiming to provide a natural proof.
Findings
Proof of P != NP established under the postulates
Exponential time complexity arises from independent problem conditions
Postulates restrict Turing machine capabilities to support the proof
Abstract
The paper contains a proof for the P != NP hypothesis with the help of the two "natural" postulates. The postulates restrict capacity of the Turing machines and state that each independent and necessary condition of the problem should be considered by a solver (Turing machine) individually, not in groups. That is, a solver should spend at least one step to deal with the condition and, therefore, if the amount of independent conditions is exponentially growing with polynomially growing problem sizes then exponential time is needed to find a solution. With the postulates, it is enough to build a natural (not pure mathematical) proof that P != NP.
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
TopicsComputability, Logic, AI Algorithms · Cellular Automata and Applications · Complexity and Algorithms in Graphs
