在计算复杂度理论中，一个复杂度类指的是一群复杂度类似的问题的集合。一个典型的复杂度类的定义有以下zh-hant:型式;zh-hans:形式：例如NP类别就是一群可以被一非确定型图灵机以多项式时间解决的决定型问题。而P类别则是一群可以被确定型图灵机以多项式时间解决的决定型问题。某些复杂度类是一群函式问题的集合，例如。许多复杂度类可被描述它的数学逻辑特征化，请见。而用于不需实际计算模型就可定义复杂度类的情况。
复杂度类之间的关系.下表简列了一些属于复杂度理论的问题（