计算复杂度理论中可以得到一些复杂度类。以下是一些重要的例子。在机器模型可变的情况下，P在确定性机器上是最小的时间复杂度类。例如，将单带图灵机换成多带图灵机可以使算法运行速度以二次阶提升，但所有具有多项式时间的算法依然会以多项式时间运行。一种特定的抽象机器会有自己特定的复杂度类分类。
超越多项式时间.如果一个算法的时间 "T"("n") 没有任何多项式上界，则称这个算法具有超越多项式（superpolynomial）时间。在这种情况下，对于所有常数 "c" 我们都有 "T"("