<s>[INST]Genel olarak P ve ko-NP arasındaki değer ilişkisinin olduğuna inanılmaktadır[/INST]Aynı satırlar boyunca ortak-NP, NP problemlerinin tamamlayıcı problemlerini (yani evet / hayır cevabını ters çeviren problemleri) içeren sınıftır. NP'nin eş-NP'ye eşit olmadığı olduğuna inanılmaktadır; Ancak, henüz kanıtlanmamıştır. Bu iki karmaşıklık sınıfının eşit olmaması durumunda P'nin NP'ye eşit olmadığı gösterilmiştir.</s>