La clase de complejidad NP consta de los problemas "verificables" en tiempo polinómico.