Aparato, kiu povas uzi aron da reguloj kaj enigaĵon por determini rezulton, kvankam dirita aparato estas hipoteza, estas referita kiel kio? Surbaze de la antaŭa demando, skribu kuntekston, kiu enhavas la respondon. Ĝi povas esti 1 - 20 frazoj. Konteksto:
La kompleksecklaso P ofte estas vidita kiel matematika abstraktado modeliganta tiujn komputilajn taskojn kiuj akceptas efikan algoritmon. Tiu hipotezo estas nomita la Cobham-Edmonds-tezo. La kompleksa klaso NP, aliflanke, enhavas multajn problemojn kiujn homoj ŝatus solvi efike, sed por kiuj neniu efika algoritmo estas konata, kiel ekzemple la booleana kontentigeblecproblemo, la Hamiltonian-padproblemo kaj la vertikala kovro-problemo. Ĉar determinismaj maŝinoj de Turing estas specialaj nedeterminismaj maŝinoj de Turing, estas facile observi ke ĉiu problemo en P ankaŭ estas membro de la klaso NP.