«satisfiability» etiketlenmiş sorular

Ben bilgisayar bilimi ile ilgilenen bir lise ikinci sınıf öğrencisiyim. #SAT için harika bir algoritma geliştirdim ve üzerinde bir science fair projesi uyguluyorum. Okulumdaki en iyi fen bilgisi öğretmeni olan ve aynı zamanda AP Comp Sci öğretmeni olan danışmanım, bana projemin ne hakkında hiçbir fikri olmadığını ve #SAT'ın nedenini kısaca …

9 algorithms  satisfiability 

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 LG Valiant ve VV Vazirani, "NP benzersiz çözümleri …

9 complexity-theory  satisfiability  p-vs-np 

Bu sorunun bir adı olup olmadığını merak ediyordum: Kenarları kırmızı, mavi ve yeşil renkli basit bir grafik göz önüne alındığında, , bir köşe boyama var her kenarın aynı renkte bir uç noktası var mı?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} Ayrıca, bunun NP-tam olduğu biliniyor mu? Bu, her bir kısıtlamanın üç değerden birini …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Let tüm dili olması -CNF Formüller en azından, öyle ki arasında sitesindeki maddeleri karşılanabilir.LϵLϵL_\epsilon222φφ\varphi(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Ben var olduğu ispat gerekir st olan herhangi -Zor .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' Bunu biliyoruz için yaklaşık olabilir bir gelen hükümlerin precent azaltma. Bunu nasıl çözmeliyim?Max2SatMax2Sat\text{Max}2\text{Sat}55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}

9 complexity-theory  satisfiability  approximation