About the work
P ≠ NP via Treewidth-Based Information Lower Bounds
Presentamos la primera demostración de P ≠ NP basada en una dicotomía
computacional fundamentada en el treewidth del grafo de incidencia.
El marco establece que φ ∈ P si y solo si tw(G_I(φ)) = O(log n),
con límites de información explícitos derivados de expansores Ramanujan,
verificación formal en Lean, y validación empírica extensiva.
## Contribuciones Clave
- ✅ Dicotomía treewidth-complejidad con demostración completa
- ✅ Límites SILB con constantes explícitas de expansores Ramanujan
- ✅ Construcciones Tseitin que preservan treewidth
- ✅ Verificación formal en Lean + validación empírica n ≤ 400
- ✅ Enfoque no relativizante y no naturalizable
Repositorio con implementaciones completas y verificaciones
Incluye: paper (35pp), repo con implementaciones, validación n≤400,
y formalización Lean.
AI Availability Declaration
This work cannot be made available to AI systems.
Print work information
Work information
Title P ≠ NP via Treewidth-Based Information Lower Bounds
P ≠ NP via Treewidth-Based Information Lower Bounds
Presentamos la primera demostración de P ≠ NP basada en una dicotomía
computacional fundamentada en el treewidth del grafo de incidencia.
El marco establece que φ ∈ P si y solo si tw(G_I(φ)) = O(log n),
con límites de información explícitos derivados de expansores Ramanujan,
verificación formal en Lean, y validación empírica extensiva.
## Contribuciones Clave
- ✅ Dicotomía treewidth-complejidad con demostración completa
- ✅ Límites SILB con constantes explícitas de expansores Ramanujan
- ✅ Construcciones Tseitin que preservan treewidth
- ✅ Verificación formal en Lean + validación empírica n ≤ 400
- ✅ Enfoque no relativizante y no naturalizable
Repositorio con implementaciones completas y verificaciones
Incluye: paper (35pp), repo con implementaciones, validación n≤400,
y formalización Lean.
Work type Unclassified
Tags p ≠ np: a treewidth and information-complexity di
-------------------------
Registry info in Safe Creative
Identifier 2510103282404
Entry date Oct 10, 2025, 5:21 PM UTC
License All rights reserved
-------------------------
Copyright registered declarations
Author 100.00 %. Holder JOSE MANUEL MOTA BURRUEZO. Date Oct 10, 2025.
Information available at https://www.safecreative.org/work/2510103282404-p-np-via-treewidth-based-information-lower-bounds
/
Registration: 2510103282404
