El problema en sí reside en que existen problemas que no pueden resolverse en tiempo polinomial en una máquina determinista, es decir, no son abarcables.