Formal Proof that P=NP with a Polynomial Deterministic Solver for the Partition Problem

This project presents a formal, constructive, and reproducible proof that P=NP, achieved through a deterministic polynomial-time algorithm capable of solving arbitrary instances of the Partition Problem—a canonical NP-complete problem. The work develops a deterministic algorithm combining a pseudorandom permutation strategy and a systematic balancing procedure. All steps are rigorously analyzed and proven to terminate in polynomial time for any input, including random, structured, and adversarial instances. Comprehensive theoretical justifications, detailed complexity analysis, and extensive empirical validation are provided. The manuscript constitutes a proposed resolution to the P vs NP Millennium Problem, with significant implications for computational complexity, combinatorial optimization, cryptography, and theoretical computer science. All source code, experimental data, and supplementary materials are included to ensure full reproducibility and independent verification.

Publication Details

Journal
OSF Preprints (OSF Preprints)
Published
2025-01-01
DOI
https://doi.org/10.17605/osf.io/khe7z
Primary Topic
Cryptography and Data Security
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Formal Proof that P=NP with a Polynomial Deterministic Solver for the Partition Problem

OSF Preprints (OSF Preprints)
Cryptography and Data Security
article

Formal Proof that P=NP with a Polynomial Deterministic Solver for the Partition Problem

article en

Abstract

This project presents a formal, constructive, and reproducible proof that P=NP, achieved through a deterministic polynomial-time algorithm capable of solving arbitrary instances of the Partition Problem—a canonical NP-complete problem. The work develops a deterministic algorithm combining a pseudorandom permutation strategy and a systematic balancing procedure. All steps are rigorously analyzed and proven to terminate in polynomial time for any input, including random, structured, and adversarial instances. Comprehensive theoretical justifications, detailed complexity analysis, and extensive empirical validation are provided. The manuscript constitutes a proposed resolution to the P vs NP Millennium Problem, with significant implications for computational complexity, combinatorial optimization, cryptography, and theoretical computer science. All source code, experimental data, and supplementary materials are included to ensure full reproducibility and independent verification.

OSF Preprints (OSF Preprints)
Openalex Percentile: Top 78%
Cryptography and Data Security
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.