مسائل co-NP كاملة

في علم التعقيد الحسابي مسائل co-NP كاملة هي مجموعة جزئية للمجموعة co-NP حيث انه كل أنَّ كل لغة منها يمكن اختصار كل اللغات في co-NP اليها.

تعريف

نقول أن L هي co-NP كاملة إذا L^c تابعة ل-NP كاملة. أي: كل لغة A تابعة ل- co-NP يتحقق التالي: A ≤p L

امثلة

• طوطولوجيا: باعطائنا صيغة بوليانية هل هي صحيحة لكل تعويض في المتغيرات؟

انظر أيضا

• قسم تعقيد
• نظرية التعقيد الحسابي.
• مسألة P=NP
• خوارزمية