Hàm ý nào có thể được rút ra cho P và NP nếu P và đồng NP được thiết lập là không bằng nhau?
Cùng một dòng, co-NP là lớp chứa các bài toán bổ sung (tức là các bài toán với các câu trả lời có / không đảo ngược) của các bài toán NP. Người ta tin rằng NP không bằng co-NP; tuy nhiên, nó vẫn chưa được chứng minh. Nó đã được chứng minh rằng nếu hai lớp độ phức tạp này không bằng nhau thì P không bằng NP.
P không bằng NP