الهرم متعدد الحدود

تسلسل من فئات التعقيد يبدأ من P وNP ويتصاعد بإضافة مُكمِّمات وجودية وشاملة متناوبة، حيث تُمثّل كل طبقة مستوى أعلى من صعوبة التحقّق.

A hierarchy of complexity classes starting from P and NP that grows by adding alternating existential and universal quantifiers, with each level representing a higher difficulty of verification.