Kana kombiyuta isingakwanisi kushandisa algorithm kupedza bumbiro remibvunzo, ipapo idzi dzinorangarirwa sedzisina kugadziriswa polynomial nguva kusiyana nemhando ipi yezvakaoma kunzwisisa? Tichifunga nezvemubvunzo wapfuura, nyora mashoko akapoteredza mhinduro yacho. Inogona kuva mitsara 1 - 20. Mashoko akapoteredza:
Kirasi yakaoma kunzwisisa P inowanzoonekwa semasvomhu abstraction modeling iwo mabasa ekuverenga ayo anobvuma algorithm inoshanda. Iyi fungidziro inonzi Cobham<unk>Edmonds thesis. The kunzwisisa kirasi NP, Ukuwo, rine matambudziko akawanda kuti vanhu vanoda kugadzirisa zvakanaka, asi izvo hapana vakarongeka algorithm anozivikanwa, akadai Boolean satisfiability dambudziko, Hamiltonian nzira dambudziko uye vertex chifukidziro dambudziko. Sezvo deterministic Turing michina vari chaiyo vasiri deterministic Turing michina, zviri nyore akacherechedza kuti dambudziko rimwe nerimwe P ariwo nhengo kirasi NP.