当复杂度函式（proper complexity function）都可以用来定义复杂度类，但是只有特定的类别较有被研究的价值。概括说来，我们希望复杂度类对计算方式的变化来讲足够稳定，另外对副函式的合成来讲会是封闭（close）的。DTIME满足时间谱系理论，这代表在渐进分析内较大的时间，所产生的时间复杂度类严格大于（大于且不等于）其他时间复杂度类。有名的复杂度类P代表所有可以在多项式内的DTIME解决的问题。我们可以正式定义为：P是包含了线性问题formula_2的最小坚固（robust）复杂