«unique-solution» etiketlenmiş sorular

4
Çözümün benzersizliğinin bulunmasını kolaylaştırdığı örnekler
Karmaşıklık sınıfı , en fazla bir tane hesaplama yoluna sahip olan polinom zaman belirsiz bir makinesi tarafından kararlaştırılabilecek olan oluşur . Yani, eğer varsa çözüm bu anlamda benzersizdir . Her şey pek olası düşünülmektedir -Sorunları içindedir çünkü tarafından, Yiğit-Vazirani Teoremi bu çöküş anlamına gelecektir .UPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} Öte yandan, hiçbir olduğu bilinmemektedir; …
2
Valiant-Vazirani’nin derandomize edilmesi?
Valiant-Vazirani teoremi tam olarak bir tatmin edici bir düzenlemeye sahiptir SAT formülü ve bir edilemezdir formül arasında ayrım yapmak için bir polinom zaman algoritmasını (deterministik ya da randomize) bulunmaktadır - sonra NP = RP . Bu teorem, UNIQUE-SAT'ın, rastgele indirgeme altında NP- hard olduğunu göstererek kanıtlanmıştır . Mantıklı derandomizasyon varsayımlarına …
1
UP'nin sonuçları NP'ye eşittir
2011/02/08 tarihinde DÜZENLEME: Bazı referansların bulunması ve okunmasından sonra, orijinal soruyu iki ayrı soruya ayırmaya karar verdim. UP ve NP ile ilgili bölüm, sözdizimsel ve anlamsal sınıflar bölümü için sözdizimsel ve anlambilimsel sınıflar için Faydalara bakınız . UPUP\mathsf{UP} (belirsiz polinom zamanı,referanslar içinwiki'yevehayvanat bahçesinebakın),ek bir kısıtlamaya sahipmakineleritarafından karar verilen diller olarak …
1
için ne gibi kanıtlarımız var
Josh Grochow'un önerisinin ardından, bir önceki sorudan yaptığım yorumu yeni bir soruya dönüştürüyorum. için ne gibi kanıtlarımız var UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP}? Burada UPUP\mathsf{UP} , "evet" örneklerinde benzersiz bir kabul yoluna sahip olan ve "hayır" örneklerinde kabul yolu olmayan polinom zamanı belirleyici olmayan Turing makineleri tarafından tanınan dil sınıfıdır. UP⊆NPUP⊆NP\mathsf{UP} \subseteq …
4
NP-tam sorununa doğru bir çözüm verildiğinde ikinci bir çözüm bulmanın karmaşıklığı
NP-komple problemine ikinci bir çözüm bulma probleminin NP-tamlığı ile ilgili herhangi bir genel sonuç veya örnek olup olmadığını anlamaya çalışıyorum. Daha doğrusu, aşağıdaki formdaki herhangi bir sorunla ilgileniyorum: Bir çözüm Verilen bir örnek için I NP-tam problemin, bir çözümü var S ' ≠ S için I ?SSSIIIS′≠SS′≠SS' \neq SIII NP-tam …
1
Merlin için geçerli cevapların benzersizliğini zorunlu kılmak Arthur-Merlin protokollerinin gücünü sınırlıyor mu?
Önsöz. Karmaşıklık sınıfı AM , bir "Merlin" ve bir doğrulayıcı "Arthur" arasındaki iki yönlü interaktif kanıtlama sistemi ile çözülebilen problemlerdir. Bir sorun, - bir amacı, bazı özelliklerini test eder , X - olan AM ise: İçin VAR (polinom uzunlukta) bir rastgele "meydan okuma" mesajı örnekleri, Arthur Merlin a (polinom uzunluk) …
1
Benzersiz bir çözüm vaadiyle verimli bir algoritmayı kabul eden NP-Complete problemleri
Son zamanlarda Valiant ve Vazirani tarafından çok güzel bir makale okuyordum , bu da , o zaman SAT'ın çözülemez ya da benzersiz bir çözümü olduğuna dair söz altında bile etkili bir algoritma olamayacağını gösteriyor. Böylece SAT'ın en fazla bir çözüm olacağı sözü altında bile etkili bir algoritma kabul etmediğini gösterir.NP≠RPNP≠RP\mathbf{NP …
2
“İkinci X NP-tamamlandı”, “X NP-tamamlandı” anlamına mı geliyor?
"İkinci " problemi, problem örneği için belirli bir çözümden farklı bir çözümün varlığına karar verme problemidir.XXX Bazı için -Komple sorunları, ikinci çözelti bir versiyonu -Komple diğerleri için (ikinci NAE SAT) ya önemsiz veya olamazken (kısmi Latin alan tamamlama sorun için bir çözüm varlığını karar) -Komple (İnanılan karmaşıklık varsayımı altında kübik …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.