La clase de complejidad P se puede definir a partir de DTIME como: