在计算复杂度理论中,一个复杂度类指的是一群复杂度类似的问题的集合。一个典型的复杂度类的定义有以下形式:
可以被同一个抽象机器M使用O(f(n))的资源R所解决的问题的集合(n是输入数据的大小)。
例如NP类别就是一群可以被一非确定型图灵机以多项式时间解决的决定型问题。而P类别则是一群可以被确定型图灵机以多项式时间解决的决定型问题。某些复杂度类是一群函数问题的集合,例如FP。
许多复杂度类可被描述它的数学逻辑特征化,请见可描述的复杂度。
而Blum公理用于不需实际计算模型就可定义复杂度类的情况。 2100433B