Zvairatidzwa naLadner kuti kana P ≠ NP ipapo pane zvinetso muNP zvisiri muP kana NP-zvakakwana. Zvinetso zvakadaro zvinonzi NP-zvinetso zvepakati. Girafu isomorphism dambudziko, discrete logarithm dambudziko uye integer factorization dambudziko mienzaniso yezvinetso zvinofungidzirwa kuti NP-zvakapindirana. Iwo mamwe emamwe mashoma NP matambudziko asingazivikanwe kuva muP kana kuti NP-yakakwana. Mubvunzo: Zvinetso izvi zvinonzi chii?
Matambudziko eNP ari pakati