في علم التعقيد الحسابي مسائل co-NP كاملة هي مجموعة جزئية للمجموعة co-NP حيث انه كل أنَّ كل لغة منها يمكن اختصار كل اللغات في co-NP اليها .
تعريف
نقول أن L هي co-NP كاملة إذا Lc تابعة ل-NP كاملة . اي : كل لغة A تابعة ل- co-NP يتحقق التالي : A ≤p L
امثلة
- طوطولوجيا : باعطائنا صيغة بوليانية هل هي صحيحة لكل تعويض في المتغيرات ؟