Arau sorta bat erabiltzen duen tresna, eta datuak igortzen dituena emaitza hipotetiko bat lortzeko, nola esaten zaio? Aurreko galdera kontuan hartuta, idatzi testuinguru batean erantzuna. 1etik 20 esaldietara. Kontestu bat
P konplexutasun klasea askotan algoritmo eraginkor bat onartzen duten kalkulu-lanak modelatzen dituen abstrakzio matematiko gisa ikusten da. Hipotesi honi Cobham-Edmonds tesi izena ematen zaio. NP konplexutasun klaseak, bestalde, jendeak modu eraginkorrean konpondu nahiko lituzkeen arazo asko ditu, baina horietarako ez da algoritmo eraginkorrik ezagutzen, hala nola, satisfiabilitate boolearraren arazoa, Hamiltoniar bidearen arazoa eta gailurren estaldura arazoa. Turing-makina deterministak ez-deterministak diren Turing-makina bereziak direnez, erraz ikusten da P-ko arazo bakoitza ere NP klaseko kide dela.