فئة NP

البراهين القابلة للتحقق احتماليًا

البراهين القابلة للتحقق احتماليًا · نظرية التعقيد الحسابي · مبرهنة PCP