<s>[INST]P ve eş-NP eşitsiz olduğu tespit edilirse, P ve NP için hangi ima türetilebilir?[/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 yardımcı NP'ye eşit olmadığı düşünülmektedir; 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ığı olduğu gösterilmiştir.</s>