Alugoridimu ti o le ṣe afihan awọn ihuwasi oriṣiriṣi ni awọn ṣiṣe pupọ paapaa nigbati o ba nlo titẹsi kanna ni a tọka si bi? 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.