Wo àyọkà tó wà nísàlẹ̀ yìí, kí o sì dáhùn ìbéèrè náà lẹ́yìn náà ní èdè kan náà tí àyọkà náà: Àyọkà: Ladner fi hàn pé bí P ≠ NP nígbà náà àwọn ìṣòro wà nínú NP tí kò sí nínú P tàbí NP-kún. Irú àwọn ìṣòro bẹ́ẹ̀ ni a ń pè ní àwọn ìṣòro NP-láàárín. Ìṣòro graph isomorphism, ìṣòro logarithm tí ó yàtọ̀ síra àti ìṣòro factorization iye-pupọ̀ jẹ́ àwọn àpẹẹrẹ àwọn ìṣòro tí a gbà gbọ́ pé ó wà nínú NP-láàárín. Wọ́n jẹ́ díẹ̀ lára àwọn ìṣòro NP tí a kò mọ̀ pé ó wà nínú P tàbí pé ó wà nínú NP-kún. Ìbéèrè: Kí ni àwọn ìṣòro wọ̀nyí ń jẹ́?
Awọn iṣoro NP-agbedemeji