Un set de reguli care sunt adesea folosite de un calculator pentru a rezolva probleme se numeste un ce? Având în vedere întrebarea anterioară, scrie un context care conține răspunsul. Poate fi de la 1 la 20 de propoziţii. Contextul:
Clasa de complexitate P este adesea văzută ca o abstracție matematică care modelează acele sarcini computaționale care admit un algoritm eficient. Această ipoteză se numește teza Cobham-Edmonds. Clasa de complexitate NP, pe de altă parte, conține multe probleme pe care oamenii ar dori să le rezolve eficient, dar pentru care nu este cunoscut niciun algoritm eficient, cum ar fi problema satisfiabilității booleene, problema căii hamiltoniene și problema acoperirii vârfului. Deoarece mașinile deterministe de Turing sunt mașini speciale de Turing nedeterministe, este ușor de observat că fiecare problemă din P este, de asemenea, membră a clasei NP.