Bí kọ̀ǹpútà kan kò bá lè lo alugorítì láti yanjú ọ̀pọ̀lọpọ̀ àwọn ìṣòro, nígbà náà wọ́n kà wọ́n sí àkókò ọ̀pọ̀lọpọ̀ ọ̀tọ̀ tí kò mọ̀ọ́mọ̀ ṣe ní ìyàtọ̀ sí irú ẹ̀ka ìdàgbàsókè wo? Níwọ̀n bó ti jẹ́ pé ìbéèrè tó ṣáájú ni, kọ àyíká ọ̀rọ̀ tó ní ìdáhùn náà nínú. Ó lè jẹ́ gbólóhùn kan sí ogún. Àyíká:
Ẹ̀ka P tí ó díjú ni a sábà máa ń rí gẹ́gẹ́ bí àdàkọ ìṣirò tí ó ń ṣe àdàkọ àwọn iṣẹ́ ìṣirò tí ó gba àdàkọ alugoridimu tí ó gbéṣẹ́. Àbá yìí ni wọ́n ń pè ní àbá Cobham-Edmonds. Ẹ̀ka NP, ní ọwọ́ kejì, ní ọ̀pọ̀lọpọ̀ ìṣòro tí àwọn ènìyàn fẹ́ yanjú lọ́nà tí ó gbéṣẹ́, ṣùgbọ́n tí a kò mọ̀ ọ̀nà tí ó gbéṣẹ́ fún wọn, bíi ìṣòro Boolean satisfiability, ìṣòro Hamiltonian path àti ìṣòro ìbòjú vertex. Níwọ̀n ìgbà tí àwọn ẹ̀rọ Turing tí ó jẹ́ deterministic jẹ́ àwọn ẹ̀rọ Turing tí kì í ṣe deterministic, ó rọrùn láti rí i pé ìṣòro kọ̀ọ̀kan nínú P jẹ́ ọmọ ẹgbẹ́ ti ẹ̀ka NP.