En otras palabras, dada una solución para una cierta instancia, es posible comprobar que es válida en TIME (n^k).