Ini mungkin pertanyaan bodoh, tapi saya tidak mengerti. Dalam pertanyaan lain mereka datang dengan teorema dikotomi Schaefer . Bagi saya sepertinya ini membuktikan bahwa setiap masalah CSP adalah dalam P atau NP-complete, tetapi tidak di antaranya. Karena setiap masalah NP dapat diubah dalam waktu...
Saya telah melihat bagaimana XOR-3-SAT dapat dipecahkan secara efisien (misalnya, lihat bagian "XOR-satisfiability" di entri Wikipedia untuk masalah kepuasan Boolean ). Saya bertanya-tanya pertanyaan mendasar: Apakah XOR-k-SAT efisien dipecahkan, untuk formula dengan jumlah liter yang berbeda per...
Masalah keputusan Dengan rumus Boolean , apakah ϕ memiliki satu tugas yang memuaskan?ϕϕ\phiϕϕ\phi dapat dilihat di , U P -hard dan c o N P -hard. Adakah yang lebih dikenal tentang kerumitannya?Δ2Δ2\Delta_2U
Pemecah SAT modern sangat baik dalam memecahkan banyak contoh dunia nyata dari contoh SAT. Namun, kami tahu cara menghasilkan yang sulit: misalnya menggunakan pengurangan dari anjak menjadi SAT dan memberikan nomor RSA sebagai input. Ini menimbulkan pertanyaan: bagaimana jika saya mengambil contoh...
Apakah masalah menentukan apakah ekspresi Boolean yang diberikan memuaskan secara komputasi berbeda dari benar-benar menemukan solusi untuk ekspresi? Dengan kata lain, adakah cara lain untuk menemukan bahwa ekspresi yang diberikan adalah memuaskan tanpa secara eksplisit menentukan 'pengaturan yang...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Saya bertanya-tanya apakah ada algoritma polinomial untuk "2-SAT dengan hubungan XOR". Baik 2-SAT dan XOR-SAT berada di P, tetapi apakah kombinasinya? Input Contoh: Bagian 2-SAT: (a or !b) and (b or c) and (b or d) Bagian XOR: (a xor b xor c xor 1) and (b xor c xor d) Dengan kata lain,...
Saya mencoba mengerjakan tugas (diambil dari buku Algoritma - oleh S. Dasgupta, CH Papadimitriou, dan UV Vazirani , Bab 8, masalah 8.6a), dan saya memparafrasekan apa yang dinyatakannya: Mengingat bahwa 3SAT tetap NP-lengkap bahkan ketika terbatas pada rumus di mana setiap literal muncul paling...
Sehubungan dengan utas Membuktikan bahwa konversi dari CNF ke DNF adalah NP-Hard (dan utas Matematika terkait ): Bagaimana dengan arah lain, dari DNF ke CNF? Apakah itu mudah atau sulit? Pada halaman 2 makalah ini , mereka tampaknya mengisyaratkan bahwa kedua arah sama-sama sulit ketika mereka...
Biarkan menjadi bahasa dari semua rumus 2- CNF φ , sehingga setidaknya ( 1LϵLϵL_\epsilon222φφ\varphidariklausaφdapat dipenuhi.(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Saya perlu membuktikan bahwa ada st L ϵ adalah N P-keras untuk ϵ < ϵ ′
Pada halaman wikipedia di sini dijelaskan dengan sangat baik algoritma CDCL (dan tampaknya gambar diambil dari slide yang dibuat oleh Sharad Malik di Princeton). Namun ketika menggambarkan bagaimana untuk mundur semua yang dikatakannya adalah "ke titik yang tepat". MiniSAT juga menggunakan varian...
Saya seorang mahasiswa tahun kedua sekolah menengah yang tertarik pada ilmu komputer. Saya mengembangkan algoritma keren untuk #SAT, dan saya menerapkan dan melakukan proyek sains yang adil di atasnya. Penasihat saya, yang merupakan guru sains terbaik di sekolah saya dan juga guru AP Comp Sci,...
Valiant & Vazirani membuktikan bahwa SAT dapat direduksi menjadi SAT UNIK di bawah pengurangan probabilistik acak dalam waktu polinomial. Calabro et al . menunjukkan bahwa UNIK k-SAT sama sulitnya dengan k-SAT. Sekarang pertanyaannya adalah, jika seseorang menunjukkan bahwa UNIK k-SAT ada di P,...
Saya bertanya-tanya apakah masalah ini memiliki nama: Diberikan grafik sederhana yang ujung-ujungnya berwarna merah, biru dan hijau, , apakah ada pewarnaan simpul sedemikian rupa sehingga setiap sisi memiliki titik akhir dengan warna yang sama?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup...
Jika kita mengira bahwa kita mulai dengan turunan dari -SAT, dan mencoba mengonversi masalah menjadi turunan dari -SAT, di mana terdapat literal per klausa, dapatkah kami menjamin pengurangan dalam jumlah klausa total?kkk(k+m)(k+m)(k+m)(k+m)(k+m)(k+m) Saya menyadari setelah memposting bahwa kami...
Mari kita bayangkan kita memiliki rumus memuaskan Masalah yang harus dipecahkan adalah "Apakah ada tugas untuk variabel yang akan membuat F tidak memuaskan? " Salah satu cara penyelesaiannya adalah dengan menemukan semua solusi untuk F dalam hal variabel dan jika hitungnya < 2 ^ n , solusi yang...
Kepuasan umum (dengan beberapa pengecualian seperti Klausa Tanduk) tidak diyakini memiliki solusi algoritmik. Namun, algoritma berikut tampaknya menjadi solusi untuk kepuasan umum. Apa sebenarnya cacat dengan algoritma berikut? Membiarkan WWW menjadi set kosong yang akan berisi semua variabel...
Baru-baru ini, saya membaca makalah tentang dikotomi . Saya tidak mengerti kondisi apa yang bisa disebut dikotomi ? Apa arti dari "sebuah pertanyaan baik di P atau di NP - lengkap "? (asumsikan P NP )≠≠\neq Sebagai contoh, saya sudah tahu teorema dikotomi Schaefer, di mana dikotomi tentang...
Saya punya pertanyaan berikut. Apakah pemecah SAT bersifat deterministik? Maksud saya, misalnya, tentang algoritma miniSAT dan DPLL . Apakah mereka sepenuhnya deterministik? Jika algoritma ini akan mengembalikan unSAT itu berarti bahwa solusinya tidak
Membiarkan x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) dan y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n) menjadi nnn-vektor variabel boolean. Saya memiliki predikat booleanQ(x,y)Q(x,y)Q(x,y) di x,yx,yx,y. Saya memberi teman saya PriscillaQ(x,y)Q(x,y)Q(x,y). Sebagai tanggapan, dia memberi sayaP(x)P(x)P(x),...