Pertanyaan yang diberi tag «satisfiability»

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, mengatakan kepada saya bahwa dia …

9 algorithms  satisfiability 

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, apakah itu menyiratkan P = NP? Referensi …

9 complexity-theory  satisfiability  p-vs-np 

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 G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} Juga, apakah ini dikenal sebagai NP-complete? Ini juga dapat dilihat sebagai kasus khusus …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

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 ϵ &lt; ϵ ′ .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' Kita tahu bahwa dapat mendekati 55Max2SatMax2Sat\text{Max}2\text{Sat} sebelum klausa daripenguranganSat3Maks. Bagaimana saya menyelesaikan ini?55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}

9 complexity-theory  satisfiability  approximation 

Saya sedang membaca makalah ini di mana penulis menjelaskan Teorema 1, yang menyatakan "Obyek yang Dapat Dicapai" (sebagaimana didefinisikan dalam makalah ini) adalah NP-complete. Namun, mereka membuktikan pengurangan hanya dalam satu arah, yaitu dari 2P1N SAT ke Obyek yang Dapat Dicapai. Ini hanya membuktikan bahwa masalahnya adalah NP-hard; apakah kita …

8 complexity-theory  np-complete  np-hard  satisfiability 

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 ada?

8 algorithms  logic  satisfiability  sat-solvers 

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 &lt; 2 ^ n , solusi yang hilang akan …

8 logic  satisfiability  sat-solvers 

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 "apakah kelas …

8 complexity-theory  np-complete  satisfiability 

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), predikat boolean pada xxx, dan dia mengklaim itu P(x)≡∃y.Q(x,y),P(x)≡∃y.Q(x,y),P(x) \equiv \exists y . Q(x,y), atau dengan kata lain, itu ∀x.[P(x)⇔∃y.Q(x,y)].∀x.[P(x)⇔∃y.Q(x,y)].\forall x . [P(x) \Leftrightarrow \exists y …

8 logic  satisfiability  first-order-logic  software-verification  model-checking 

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 tidak dapat menjamin bahwa jumlah klausa dapat dikurangi. Namun, saya bertanya-tanya apakah …

8 complexity-theory  logic  satisfiability 

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 yang harus benar atau salah. Membiarkan LLL menjadi seperangkat klausa. Loop melalui …

8 algorithms  logic  satisfiability  constraint-programming