هذه المبرهنات تعتبر نتائج اساسية التي بواسطتها يمكن فصل اقسام التعقيد , والحدس خلف هذه المبرهنات هو أنك اذا كان عندك موارد أكثر باستطاعتك ان تفعل أكثر , ولهذه المبرهنات عدة نصوص إذ أنَّه لكل مورد ومقياس تعقيد يوجد نص خاص به ونُدرج بعض هذه :
أين يمكن تحديد فئات التعقيد RP و BPP و PP و BQP و MA و PH؟
نص خاص به ونُدرج بعض