复杂度类之间的关系.下表简列了一些属于复杂度理论的问题（或语言、文法等）类别。如果类别X是类别Y的子集合，则X将会画在Y底下，并以一黑线相连。如果X是子集合，但不知是否与Y相等，则以较轻的虚线相连。实际上可解与不可解问题更属于可计算性理论，但是它有助于更透彻了解复杂度类的问题。