Si yon òdinatè pa ka itilize yon algoritm pou rezoud yon seri pwoblèm, lè sa a sa yo konsidere kòm tan polinòm nondeterministic kontrèman ak ki kategori konpleksite? Anviwon kesyon anvan an, ekri yon kontèks ki gen repons lan ladan l. Li kapab 1 - 20 fraz. Kontèks:
Klas la konpleksite P se souvan wè sa tankou yon abstraksyon matematik modèl travay sa yo kalkil ki admèt yon algoritm efikas. Ipotèz sa a rele Cobham-Edmonds tèz la. Klas la konpleksite NP, sou lòt men an, gen anpil pwoblèm ke moun ta renmen rezoud avèk efikasite, men pou ki pa gen okenn algoritm efikas li te ye, tankou pwoblèm nan satisfaksyon Boolean, pwoblèm nan chemen Hamilton ak pwoblèm nan kouvèti vètikal. Depi machin Turing detèministik yo se machin Turing espesyal ki pa detèministik, li fasil pou obsève ke chak pwoblèm nan P se tou manm nan klas NP.