Sepanjang baris yang sama, co-NP adalah kelas yang berisi masalah komplemen (misalnya masalah dengan ya/tidak ada jawaban terbalik) masalah NP. Hal ini diyakini bahwa NP tidak sama dengan co-NP; Namun, itu belum terbukti. Telah ditunjukkan bahwa jika kedua kelas kompleksitas tidak sama maka P tidak sama dengan NP.
Apa implikasi tidak dapat berasal untuk P dan NP adalah P dan co-NP didirikan untuk menjadi tidak sama?
P tidak sama dengan NP.