مجموعة قواعد تستخدمها الحاسوب عادة لحل المشاكل تسمى ماذا؟ بعد السؤال السابق، اكتب السياق الذي يحتوي على الجواب. يمكن يكون من 1 الى 20 جملة. السياق:
غالبًا ما ينظر إلى فئة التعقيد P على أنها مجردة رياضية تعطي نموذجًا لتلك المهام الحسابية التي تسمح بخوارزمية فعالة. تسمى هذه الفرضية باسم أطروحة كوبهام إدموندز. فئة التعقيد NP، من ناحية أخرى، تحتوي على العديد من المشاكل التي يرغب الناس في حلها بكفاءة، ولكن لا يعرف عنها أي خوارزمية فعالة، مثل مشكلة قابلية الترضي البولية، ومشكلة المسار الهاملتوني ومشكلة غطاء القمة. بما أن آلات تورينج الحتمية هي آلات تورينج خاصة غير حتمية، فمن السهل ملاحظة أن كل مشكلة في P هي أيضًا عضو في الفئة NP.