("n"))是一种可以用非确定型图灵机使用"O"("f"("n"))的时间和无限制的空间所能解决的所有决定性问题的集合。NP这个有名的复杂度类，可以用NTIME来定义如下：相同的，NEXPTIME这个复杂度类是由NTIME定义出来的，非决定型的时间谱系理论说明了非决定型的机器在使用更多时间的前提下可以解决更多的问题。