NP-completo se refiere a problemas de decisión para los cuales no se conoce algoritmos deterministas eficientes, aunque sí existen algoritmos no deterministas polinómicos para verificar soluciones. Muchos problemas prácticos importantes han demostrado ser NP-completos, lo que significa que es improbable que existan algoritmos rápidos para resolverlos de manera óptima.