Regularo, kiun komputilo ofte uzas por solvi problemon, nomiĝas 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.