Birebir indirimler ve Turing indirimleri ile tanımlanan NPC sınıflarının eşit olup olmadığını merak ediyorum.
Düzenleme: Başka bir soru, Turing indirimler sadece bazı C için C ve co-C sınıflarını daraltma veya Karp azaltma altında ve Turing azaltma altında olan bir sorun var gibi bir sınıfı var mı ?