La clase de complejidad NP se puede definir en términos de NTIME como: