Published October 10, 2025 | Version v1

P ≠ NP via Treewidth-Based Information Lower Bounds

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