الاكتفاء (مسماة بالإنجليزية SAT) مسألة NP كاملة. وقد كانت هذه أول لغة يُبرهن انها NP كاملة . واهميتها كانت بانها الشرارة التي اوقدت نظرية التعقيد الحسابي والسعي وراء النماذج الحسابية المختلفة , بعد أن تم برهنة أنَّ مسألة الاكتفاء هي NP كاملة تبين أنَّ الالاف المسائل هي أيضا كذلك .
ما ليس مثالًا على مشكلة NP-الوسيطة غير المعروفة بوجودها في P أو NP-Complete؟