Published October 10, 2025
| Version v1
Presentation
Open
P ≠ NP via Treewidth-Based Information Lower Bounds
Authors/Creators
Description
Demostración completa de P ≠ NP mediante dicotomía computacional basada en treewidth, con límites de información explícitos en separadores, construcciones Ramanujan-Tseitin, y verificación empírica/formal extensiva. Incluye: paper (35pp), repo con implementaciones, validación n≤400, y formalización Lean.
Files
P ̸= NPJMMB.pdf
Files
(188.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ad5fc0eeb4d02c2d62a4fb3e4d88a5a7
|
188.3 kB | Preview Download |