-：例如NP类别就是一群可以被一非确定型图灵机以多项式时间解决的决定型问题。而P类别则是一群可以被确定型图灵机以多项式时间解决的决定型问题。某些复杂度类是一群函式问题的集合，例如。许多复杂度类可被描述它的数学逻辑特征化，请见。而用于不需实际计算模型就可定义复杂度类的情况。
复杂度类之间的关系.下表简列了一些属于复杂度理论的问题（或语言、文法等）类别。如果类别X是类别Y的子集合，则X将会画在Y底下，并以一黑线相连。如果X是子集合，但不知是否与Y相等，则以较轻的虚线相连。实