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