Raha tsy afaka mampiasa algorithm ny solosaina hamahana olana maromaro, dia heverina ho fotoana polinômialy tsy voafaritra izany, tsy mitovy amin'ny sokajy sarotra inona? Manorata teny manodidina ny valin'ilay fanontaniana teo aloha. Mety ho fehezanteny 1 hatramin'ny 20 izany. Teny manodidina:
Ny kilasy fahasarotana P dia matetika hita ho toy ny matematika abstraction modeling ireo computational asa izay manaiky ny mahomby algorithm. Antsoina hoe tezin'i Cobham sy Edmonds io fiheverana io. Ny kilasy fahasarotana NP, etsy ankilany, dia ahitana olana maro izay tian'ny olona vahana amin'ny fomba mahomby, saingy tsy misy algorithma mahomby fantatra, toy ny olan'ny fahafaham-po Boolean, ny olan'ny làlana Hamiltonian ary ny olana momba ny fonon'ny vertex. Satria ny milina Turing deterministic dia milina Turing tsy deterministic manokana, dia mora ny mahita fa ny olana tsirairay ao amin'ny P dia mpikambana ao amin'ny kilasy NP ihany koa.