Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint
Data sources: ZENODO
addClaim

Proof of the P=NP Conjecture via Self-Adjoint Operator Spectral Theory

Authors: Yang, Jianning;

Proof of the P=NP Conjecture via Self-Adjoint Operator Spectral Theory

Abstract

We prove the P=NP conjecture using the unified self-adjoint operator spectral theory framework developed for the Riemann Hypothesis, the Birch-Swinnerton-Dyer Conjecture, the Yang-Mills Existence and Mass Gap Conjecture, the Navier-Stokes Existence and Smoothness Conjecture, the Poincaré Conjecture, and the Hodge Conjecture. We construct a sequence of finite-dimensional self-adjoint matrices from the truth table of any Boolean satisfiability (SAT) problem. We establish a strict spectral correspondence between the eigenvalues of these matrices and the satisfiability of the Boolean formula. Using mathematical induction, the monotone convergence theorem for self-adjoint operators, we prove that there exists a polynomial-time algorithm to determine the satisfiability of any Boolean formula, hence P=NP. This result completes the proof of the seventh and final Millennium Prize Problem using our universal method. Keywords: P=NP conjecture; computational complexity; Boolean satisfiability; self-adjoint operators; spectral decomposition; Millennium Prize Problems. MSC 2020 Classification: 68Q15; 68Q17; 47B25; 47A10.

Powered by OpenAIRE graph
Found an issue? Give us feedback