Pertanyaan yang diberi tag «sat»

Saya memiliki bagian dari upaya pembuktian⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Upaya pembuktian terdiri dari pengurangan Karp dari⊕P⊕P\oplus \mathbf{P} masalah lengkap⊕⊕\oplus 3-REGULER VERTEX COVER ke SAT. Diberikan grafik kubik GGG , reduksi menghasilkan rumus CNF FFF memiliki kedua properti berikut: FFF memiliki paling banyak111 tugas yang memuaskan. memuaskan jika dan hanya …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Adakah hasil yang diketahui pada kelas kompleksitas 1-in-3-SAT dengan jumlah kejadian variabel yang terbatas? Saya datang dengan pengurangan pelit berikut dengan Peter Nightingale, tapi saya ingin mengutip sesuatu jika ini diketahui. Inilah trik yang kami buat. Ini menunjukkan bahwa 1-in-3-SAT terbatas pada 3 kejadian per variabel adalah NP lengkap dan …

11 reference-request  sat  reductions 

Impagliazzo, Paturi dan Calabro, Impagliazzo, Paturi memperkenalkan Hipotesis Eksponensial-Waktu (ETH) dan Hipotesis Eksponensial- Kuat (SETH). Secara kasar, SETH mengatakan bahwa tidak ada algoritma yang memecahkan SAT dalam waktu . 1.99n1.99n1.99^n Saya bertanya-tanya apa artinya menghancurkan SETH. Kita pasti perlu menemukan algoritma yang memecahkan SAT dalam kurang dari langkah, tapi saya …

11 cc.complexity-theory  sat  exp-time-algorithms 

Misalkan menjadi vektor variabel boolean. Misalkan C , D menjadi dua sirkuit boolean pada x . Katakan bahwa C mirip dengan D jika:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD kecil secara eksponensial, ketika x ditarik secara acak secara acak dari { 0 , 1 } n (dengan kata lain, mereka memiliki fungsi yang hampir identik); dan,Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) …

11 sat  application-of-theory 

Makalah baru-baru ini dari FOCS2013, Strong Backdoors ke Bounded Treewidth SAT oleh Gaspers dan Szeider berbicara tentang hubungan antara treewidth grafik klausa SAT dan kekerasan contoh. Untuk 3-SAT acak, yaitu instance 3-SAT yang dipilih secara acak, apa korelasi antara treewidth grafik klausa dan contoh kekerasan? "Instance hardness" dapat dianggap sebagai …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Semua pemecah #SAT yang saya tahu, misalnya RelSat, C2D, hanya mengembalikan jumlah instance yang memuaskan. Tapi saya ingin tahu masing-masing contoh itu? Apakah ada solver #SAT atau bagaimana saya harus memodifikasi solver #SAT yang tersedia untuk melakukan ini? Terima kasih.

11 lo.logic  sat  software 

Apa kendala untuk membuat pemecah SAT kompetitif dengan algoritma grafik khusus? Dengan kata lain, apakah layak untuk mengharapkan pemecah SAT yang dapat menggantikan peran perancang algoritma - yaitu, dapat secara otomatis mengenali struktur masalah dan kemudian menyelesaikannya secepat algoritma khusus? Berikut beberapa contoh yang menurut saya menantang untuk pemecah SAT …

11 ds.algorithms  graph-theory  sat 

Saya telah mengembangkan algoritma SAT untuk sementara waktu, dan telah mencapai titik di mana saya ingin membagikannya. Saya tidak tahu banyak orang di bidang ilmu komputer, dan saya tidak yakin persis ke mana harus berpaling. Saya bertanya-tanya sumber daya apa yang tersedia untuk seseorang dengan algoritma yang sedang mempertimbangkan untuk …

11 sat  soft-question  proofs 

Saya tertarik pada variasi SAT di mana rumus CNF adalah monoton (tidak ada variabel yang dinegasikan). Formula seperti itu jelas memuaskan. Tetapi katakanlah jumlah variabel benar adalah ukuran seberapa baik solusi kami. Jadi kami memiliki masalah berikut: MINIMUM TRUE MONOTONE 3SAT INSTAN: Tetapkan U variabel, koleksi C dari klausa disjungtif …

11 cc.complexity-theory  np-hardness  sat 

Elberfeld, Jakoby, dan Tantau 2010 ( ECCC TR10-062 ) membuktikan versi teorema Bodlaender yang hemat ruang. Mereka menunjukkan bahwa untuk grafik dengan treewidth paling banyak , dekomposisi pohon dengan lebar dapat ditemukan menggunakan ruang logaritmik. Faktor konstan dalam batas ruang tergantung pada . (Teorema Bodlaender menunjukkan batas waktu linier, dengan …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Saya tertarik mengurangi -Clique menjadi SAT tanpa membuat instance jauh lebih besar.kkk Klik di NP sehingga dapat direduksi menjadi SAT menggunakan ruang logaritmik. Pengurangan buku teks Garey / Johnson langsung meledak contoh ke ukuran kubik . Namun, -Clique ada di P untuk setiap k tetap sehingga "seharusnya" ada pengurangan yang …

10 cc.complexity-theory  sat  reductions  clique 

Apa definisi standar Planar 3-SAT? Saya telah melihat sejumlah definisi berbeda. Apa kertas asli yang mendefinisikannya dan membuktikannya sebagai NP-complete?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Apakah masalah CNF SAT NP sulit ketika jumlah total (tetapi bukan lebar) dari klausa 3-atau-lebih istilah dibatasi di atas oleh konstanta? Bagaimana dengan spesifik ketika hanya ada satu klausa seperti itu?

10 np-hardness  sat  upper-bounds 

Adakah kelas formula CNF alami - lebih disukai yang sebelumnya telah dipelajari dalam literatur - dengan sifat-sifat berikut:CCC adalah kasus yang mudah dari SAT, seperti misalnya Horn atau 2-CNF, yaitu, keanggotaan dalam C dapat diuji dalam waktu polinomial, dan rumus F ∈ C dapat diuji untuk kepuasan dalam waktu polinomial.CCCCCCF∈CF∈CF\in …

10 sat  proof-complexity 

Konteks : Kavvadias dan Sideri telah menunjukkan bahwa masalah Inverse 3-SAT adalah coNP Lengkap: Diberikan satu set model pada n variabel, apakah ada rumus 3-CNF sehingga ϕ adalah set model yang tepat? Formula kandidat langsung muncul yang merupakan gabungan dari semua 3-klausa yang dipenuhi oleh semua model dalam ϕ .ϕϕ\phinnnϕϕ\phiϕϕ\phi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat