Eğer EŞSİZ k-SAT'ın P cinsinden olduğunu gösterirse, P = NP anlamına gelir mi?

Valiant ve Vazirani, SAT'ın polinom zamanında rasgele olasılıklı indirimler altında BENZERSİZ SAT'a indirgenebileceğini kanıtladı. Calabro ve diğ . EŞSİZ k-SAT'ın k-SAT kadar sert olduğunu gösterdi. Şimdi soru şu, eğer birisi EŞSİZ k-SAT'ın P'de olduğunu gösteriyorsa, P = NP anlamına mı geliyor?

Referanslar

1. LG Valiant ve VV Vazirani, "NP benzersiz çözümleri tespit etmek kadar kolay." Teorik Bilgisayar Bilimi 47: 85–93, 1986. ( ScienceDirect hakkında PDF .)

2. Calabro, R. Impagliazzo, V. Kabanets ve R. Paturi, "Benzersiz k-SAT'ın Karmaşıklığı: k-CNF'ler için bir İzolasyon Lemması". Bilgisayar ve Sistem Bilimleri Dergisi 74 (3): (386-393, 2008. PDF ACM Digital Kütüphanesi'nde; serbest PDF .)

Bu hala açık bir soru; UP'nin NP'ye eşdeğer olduğu bilinmemektedir . Yazıda "NP As Easy As Tespit Benzersiz Çözümler uygun olmayabilir," Beigel, Burhman ve Fortnow öngören bir kahini inşa P içeren UP ancak P hala eşdeğer değildir NP .