'n Toestel wat 'n stel reëls en 'n insette kan gebruik om 'n resultaat te bepaal, alhoewel die toestel hipoteties is, word na wat verwys? Skryf 'n konteks wat die antwoord bevat, gegewe die vorige vraag. Dit kan 1 - 20 sinne wees. Konteks:
Die kompleksiteitsklas P word dikwels gesien as 'n wiskundige abstraksie wat die rekenaartaak modelleer wat 'n doeltreffende algoritme toelaat. Hierdie hipotese word die Cobham-Edmonds-teese genoem. Die kompleksiteitsklas NP, aan die ander kant, bevat baie probleme wat mense graag doeltreffend wil oplos, maar waarvoor geen doeltreffende algoritme bekend is nie, soos die Booleaanse bevredigbaarheidsprobleem, die Hamiltoniese padprobleem en die topdekkingprobleem. Aangesien deterministiese Turingmasjiene spesiale nie-deterministiese Turingmasjiene is, is dit maklik waargeneem dat elke probleem in P ook lid is van die klas NP.