可計算性理論之中，所有在多項式譜系裏面的複雜度類聯集被稱爲複雜度類PH。