Ada 4 batasan berbeda yang bisa kita miliki ketika mendefinisikan K-SAT Acak. 1) Jumlah total literal dalam klausa tertentu persis K atau AT paling banyak K 2) Literal yang diberikan dapat digunakan dengan atau tanpa penggantian dalam klausa yang sama (A atau A atau A) 3) Variabel yang diberikan...
Sudah banyak diketahui bahwa formula CNF dapat secara kasar dipartisi dalam 2 kelas besar: acak vs. terstruktur. Rumus CNF terstruktur, bertentangan dengan rumus CNF acak, menunjukkan semacam keteraturan, menunjukkan pola yang tidak mungkin terjadi secara kebetulan. Namun, orang dapat menemukan...
SAT unik adalah masalah yang terkenal: diberi rumus CNF , apakah benar F memiliki satu model?FFFFFF Saya tertarik pada masalah «Persis -SAT»: diberikan rumus CNF F dan integer m > 1 , apakah benar F memiliki model m persis ?mmmFFFm > 1m>1m>1FFFmmm Kedua masalah terlihat serupa. Jadi...
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,...
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...
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:...
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...
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...
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...
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
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...
Saya ingin mengetahui keadaan transisi fase saat ini untuk k-sat acak, mengingat n variabel dan klausa m, apa yang paling dikenal c = m / n untuk batas atas dan
Saya tertarik pada contoh individual "sulit" masalah NP-lengkap. Ryan Williams membahas masalah SAT0 di blog Richard Lipton . SAT0 bertanya apakah instance SAT memiliki solusi spesifik yang terdiri dari semua 0. Ini membuat saya berpikir tentang membangun instance SAT yang cenderung...
Misalkan kita mempertimbangkan 3-SAT dengan variabel dan klausa . Saya sedang meneliti metode yang tampaknya mengambil waktu / ruang untuk memecahkan masalah SAT yang sesuai dengan deskripsi ini, untuk dalam kesalahan yang dapat disesuaikan dengan jumlah sewenang-wenang. Namun, ada yang...
Pertanyaan ini muncul dalam benak saya setelah membaca kontribusi András Salamon dan Colin McQuillan untuk pertanyaan saya sebelumnya. Menghitung solusi dari formula Monotone-2CNF . EDIT 30 th Mar 2011 Ditambahkan pertanyaan n ° 2. EDIT 29 th Oktober 2010 Pertanyaan diulang setelah András...
Apa definisi standar Planar 3-SAT? Saya telah melihat sejumlah definisi berbeda. Apa kertas asli yang mendefinisikannya dan membuktikannya sebagai
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...
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
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...
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...