P vs NP — Complete Proof

P vs NP — Complete Proof A complete proof manuscript of P ≠ NP, organized as a modular, node-based corpus (Nodes 00–20). The document builds a fully checkable proof chain under a fixed representation lock (one immutable input/promise/metric format) and a pointwise stopping rule that avoids reliance on probabilistic “tails” or non-adaptive assumptions. The internal core develops a corridor-style protocol (MU-certification, forbidden-set avoidance, and wave/remote-point “handcuffs”), and then connects to the final separation via external bridges documented with precise bibliographic “passports” (hardness magnification and range-avoidance/remote-point results). The manuscript is designed for peer verification: each node compiles standalone, includes self-checks for placeholders/inconsistencies, and adheres to a consistent interface across the full proof.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-03-02
DOI
https://doi.org/10.5281/zenodo.18600958
Primary Topic
Logic, programming, and type systems
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

P vs NP — Complete Proof

Maximus Shlygin
Zenodo (CERN European Organization for Nuclear Research)
Logic, programming, and type systems
article

P vs NP — Complete Proof

Maximus Shlygin
article en

Abstract

P vs NP — Complete Proof A complete proof manuscript of P ≠ NP, organized as a modular, node-based corpus (Nodes 00–20). The document builds a fully checkable proof chain under a fixed representation lock (one immutable input/promise/metric format) and a pointwise stopping rule that avoids reliance on probabilistic “tails” or non-adaptive assumptions. The internal core develops a corridor-style protocol (MU-certification, forbidden-set avoidance, and wave/remote-point “handcuffs”), and then connects to the final separation via external bridges documented with precise bibliographic “passports” (hardness magnification and range-avoidance/remote-point results). The manuscript is designed for peer verification: each node compiles standalone, includes self-checks for placeholders/inconsistencies, and adheres to a consistent interface across the full proof.

Zenodo (CERN European Organization for Nuclear Research)
Openalex Percentile: Top 62%
Logic, programming, and type systems
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.