最小坚固（robust）复杂度类（AMS 2004, Lecture 2.2, pg. 20）。另外，P也是我们认为"可以实际运算"的最大复杂度类（其他的复杂度类时间成长太快，一般认为计算是不实际的）。一个大上很多的，使用DTIME的复杂度类是EXPTIME，包含了代表所有可以在指数时间内以图灵机解决的问题。正式定义为：我们可以用类似方法定义更大的复杂度类。因为时间谱系理论，这些复杂度类会组成严格的谱系（不会有哪个在上方者与下方相等）；换句话说，我们已知formula_4，并且依此类推。Sect