Es el conjunto de problemas que pueden ser resueltos en tiempo polinómico por una máquina de Turing no determinista.