Más allá de NP: Un Problema de Complejidad Más Intuitivo
2025-04-17
El autor cuestiona el uso del Problema de la Parada como el ejemplo canónico de un problema más difícil que NP-completo, argumentando que es confuso e intuitivamente poco claro. Si bien es indecidible, la verificación de una respuesta "sí" para el Problema de la Parada se puede hacer ejecutando el programa durante un número finito de pasos. Se presenta una alternativa más fácil de entender: mover una ficha en una cuadrícula infinita para alcanzar un punto objetivo. Este problema es PSPACE-completo en dimensiones inferiores, pero su complejidad explota al aumentar las dimensiones, llegando eventualmente a la completitud de ACKERMANN, demostrando visualmente una complejidad mucho mayor que los problemas NP.
Desarrollo
problema de la parada