«3-sat» etiketlenmiş sorular

GSAT algoritması çoğunlukla basittir: Bir formülü konjonktif normal formda alırsınız ve formülü karşılayan bir çözüm bulana veya max_tries / max_flips sınırına ulaşana ve hiçbir çözüm bulana kadar cümlelerin değişmezlerini çevirirsiniz. Aşağıdaki algoritmayı uyguluyorum: procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries do S <- instantiation of variables …

20 algorithms  satisfiability  3-sat 

Başımı SAT / 3CNF-SAT etrafında dönen NP-tamlık kanıtı etrafına sarmaya çalışıyorum. Belki geç saattir ama korkarım ki tatmin edilemeyen bir 3CNF formülü düşünemiyorum (muhtemelen bariz bir şeyi kaçırıyorum). Bana böyle bir formül için örnek verebilir misiniz?

15 logic  satisfiability  3-sat 

Düzlemsel 3SAT NP-tamamlanmıştır. Düzlemsel 3SAT örneği, aşağıdaki kurallar kullanılarak oluşturulan grafiğin düzlemsel olduğu bir 3SAT örneğidir: her ve için köşe noktası ekleyin¯ x ixixix_ixben¯xi¯\bar{x_i} her yan tümce için köşe noktası ekleCjCjC_j her çifti için kenar ekleyin( xben, xben¯)(xi,xi¯)(x_i,\bar{x_i}) köşesinden (veya ) köşeyi, onu içeren bir cümleyi temsil eden her köşeye …

14 np-complete  reductions  satisfiability  3-sat 

Bir ödev hazırlamaya çalışıyorum ( Algoritmalar kitabından alınmıştır - S. Dasgupta, CH Papadimitriou ve UV Vazirani , Bölüm 8, sorun 8.6a tarafından) ve söylediklerini tekrar yazıyorum: 3SAT'in, her bir hazır bilginin en fazla iki kez göründüğü formüllerle sınırlı olsa bile NP-tamamlanmış kaldığı göz önüne alındığında, her bir hazır bilgi en …

10 complexity-theory  satisfiability  3-sat