Informalmente, se puede definir la clase NP en términos de un "algoritmo no determinista" (recordar la equivalencia entre algoritmo y Máquina de Turing).