El uróboros lógico: cuando K-SAT se niega a sí mismo ✛ ✦

Otoño de 1956. Kurt Gödel escribe en una hoja de papel una pregunta dirigida al moribundo John von Neumann: ¿se puede comprobar la satisfacibilidad de una fórmula booleana más rápido que por fuerza bruta? La respuesta llegará 69 años después, y resultará ser la mordedura del uróboros lógico, la serpiente mítica que se devora la cola.

La serpiente nace del azar. El ensamble de fórmulas K-SAT (problemas de satisfacibilidad booleana) se construye así: cada variable es un nodo, cada cláusula (disyunción lógica «OR» de variables o sus negaciones) un eslabón de la cadena. Con un ancho de eslabón K ~ 20 para un millón de variables (N=$10^6$) y una densidad crítica de cláusulas, el número de asignaciones que satisfacen la fórmula sigue una distribución de Poisson. Es la estadística de los eventos raros, como las gotas de lluvia en la acera. Con una probabilidad de alrededor del 37%, aparecen fórmulas con exactamente una solución. Y aquí el paso decisivo: los autores sustituyen una cláusula inofensiva por una «cláusula asesina» que prohíbe esa única solución. La fórmula gemela, aparentemente indistinguible, se vuelve insatisfacible. La serpiente se ha tragado la cola.

Un observador local, que solo ve un fragmento de la fórmula (hasta $N^c$ cláusulas, c<1), es incapaz de distinguir la serpiente satisfacible de su gemela muerta. Es una ceguera necesaria. La irreducibilidad estructural convierte la dificultad computacional en un déficit de información. En el lenguaje de la información algorítmica, todo algoritmo limitado a una ventana de t = $N^{1-δ}$ cláusulas está condenado a tener una complejidad de Kolmogórov $$ K(A) \ge \Omega($N^{1-\delta}$) $$ La longitud mínima del programa en bits es exponencialmente grande. De aquí surge una barrera de anchura para las resoluciones: cualquier prueba de insatisfacibilidad se hincha hasta exp(Ω($N^{1-2δ}$)) pasos. Cuando δ → 0+, este número tiende a $2^N$, la barrera prescrita por la Hipótesis del Tiempo Exponencial Fuerte (SETH, la conjetura de que SAT no admite solución subexponencial). La cola del uróboros se cierra: la ceguera local exige una clarividencia exponencial.

Este trabajo redefine la naturaleza de la complejidad. La clásica pregunta P ≠ NP, formulada en términos de clases de lenguajes, cede ante una distinción más sutil: la brecha entre verdad y demostrabilidad dentro de un sistema finito. La complejidad resulta no ser una propiedad del problema, sino una necesidad lógica. Esto explica el fracaso de décadas de ataques: el propio planteamiento trasciende el horizonte de la inferencia sintáctica local. Para la computación cuántica el límite es absoluto —a diferencia del algoritmo de Shor para factorizar, que explota una periodicidad oculta, el problema SAT carece de ese atajo. Los modelos modernos de redes neuronales, que operan mediante compresiones estadísticas locales, chocan contra el mismo muro de insuficiencia informativa. La simulación numérica exacta de tales fórmulas exige recursos exponenciales. El comportamiento colectivo de las cláusulas en el ensamble genera una transición de fase inabordable mediante análisis local.

Sesenta y nueve años después de la carta de Gödel, la complejidad computacional muestra su verdadero rostro: no una carrera de ciclos de reloj, sino la sombra ineludible del uróboros lógico. La pregunta se ha cerrado sobre sí misma, como la serpiente que se muerde la cola: la respuesta se arraiga en la misma incompletitud que el teorema de 1931. Un procedimiento local nunca certificará una verdad global. Y en ello no hay debilidad, sino una ley fundamental.