Pertanyaan yang diberi tag «sat»

Apa batas bawah terbaik saat ini untuk waktu dan kedalaman rangkaian untuk 3SAT?

46 cc.complexity-theory  lower-bounds  sat 

Di utas lain , Joe Fitzsimons bertanya tentang "batas bawah terbaik saat ini pada 3SAT." Saya ingin pergi ke arah lain: Apa batas atas terbaik saat ini di 3SAT? Dengan kata lain, apa kompleksitas waktu dari pemecah SAT yang paling efisien? Secara khusus, apakah mungkin untuk menemukan algoritma sub-eksponensial (namun …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

Penjelasan teoretis apa yang ada untuk keberhasilan praktis pemecah SAT, dan dapatkah seseorang memberikan ikhtisar dan penjelasan "gaya-wikipedia" yang mengikat semuanya? Secara analogi, analisis yang dihaluskan ( versi arXiv )) untuk algoritme simpleks melakukan pekerjaan yang hebat menjelaskan mengapa ia bekerja dengan sangat baik dalam praktiknya, terlepas dari kenyataan bahwa …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Dalam pertanyaan ini, rumus 3CNF berarti rumus CNF di mana setiap klausa persis melibatkan tiga variabel yang berbeda . Untuk konstanta 0 < s <1, Gap-3SAT s adalah masalah janji berikut: Gap-3SAT s Instance : Sebuah 3CNF rumus φ. Ya-janji : φ memuaskan. No-janji : tidak ada tugas kebenaran memuaskan …

32 cc.complexity-theory  sat  approximation-hardness 

Memutuskan apakah formula boolean yang dikuantifikasi seperti ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), selalu mengevaluasi benar adalah masalah PSPACE-lengkap klasik. Ini dapat dilihat sebagai permainan antara dua pemain, dengan gerakan bergantian. Pemain pertama menentukan nilai kebenaran dari variabel bernomor ganjil dan pemain kedua memutuskan …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Tetapkan i oioio - S U B E X PSUBEXPSUBEXP untuk menjadi kelas bahasa LLL sedemikian rupa sehingga ada bahasa dan untuk tak terhingga banyaknya , dan menyetujui semua contoh panjang . (Yaitu, ini adalah kelas bahasa yang dapat "dipecahkan secara tak terhingga, dalam waktu subeksponensial".)L ′ ∈ ∩ ε …

30 cc.complexity-theory  sat  oracles 

Apakah seseorang berani mencoba untuk menjelaskan apa hubungan bidang studi ini atau bahkan mungkin memberikan jawaban yang lebih konkret di tingkat masalah? Seperti yang termasuk yang mengasumsikan beberapa formulasi diterima secara luas. Jika saya mendapatkan ini dengan benar, ketika Anda beralih dari SAT ke SMT pada dasarnya Anda memasuki bidang …

30 soft-question  sat  terminology 

Algoritma klasik dapat menyelesaikan 3-SAT dalam waktu (acak) atau 1,3303 n waktu (deterministik). (Referensi: Batas Atas Terbaik di SAT )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Sebagai perbandingan, menggunakan algoritma Grover pada komputer kuantum akan mencari dan memberikan solusi dalam , secara acak. (Ini mungkin masih memerlukan pengetahuan tentang berapa banyak solusi yang mungkin ada atau …

29 quantum-computing  sat  exp-time-algorithms 

Saya telah mendengar bahwa ada argumen heuristik dalam fisika statistik yang menghasilkan hasil dalam teori probabilitas di mana bukti yang kuat tidak diketahui atau sangat sulit untuk dicapai. Apa contoh mainan sederhana dari fenomena seperti itu? Akan lebih baik jika jawabannya diasumsikan sedikit latar belakang dalam fisika statistik dan dapat …

29 sat  pr.probability  physics  statistical-physics 

Pertimbangkan masalah 3-SAT pada n variabel. Jumlah klausa berbeda yang mungkin adalah: C= 2 n × 2 ( n - 1 ) × 2 ( n - 2 ) / 3 ! = 4 n ( n - 1 ) ( n - 2 ) / 3 .C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n …

28 cc.complexity-theory  sat 

Posting blog Scott Aaronson hari ini memberikan daftar masalah / tugas terbuka yang menarik dalam kompleksitas. Seseorang khususnya menarik perhatian saya: Bangun perpustakaan umum dengan instance 3SAT, dengan sesedikit mungkin variabel dan klausa, yang akan memiliki konsekuensi penting jika diselesaikan. (Misalnya, contoh yang mengkode tantangan anjak piutang RSA.) Selidiki kinerja …

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

Saat membaca artikel "Apakah Saatnya Menyatakan Kemenangan dalam Menghitung Kompleksitas?" di blog "Surat Hilang Godel dan P = NP" , mereka menyebutkan dikotomi untuk CSP. Setelah beberapa link berikut, googling dan wikipeding, saya menemukan Teorema Ladner : Teorema Ladner: Jika , maka ada masalah dalam yang bukan -lengkap.P≠NPP≠NP{\bf P} \ne …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Anda mungkin sering menemukan metode cutting plane, propagasi variabel, cabang dan terikat, pembelajaran klausa, backtracking cerdas atau bahkan heuristik manusia yang dirajut tangan dalam solver SAT. Namun selama beberapa dekade solver SAT terbaik sangat bergantung pada teknik bukti resolusi dan menggunakan kombinasi hal-hal lain hanya untuk bantuan dan untuk mengarahkan …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

Apa itu "daerah mudah" untuk kepuasan? Dengan kata lain, kondisi yang cukup untuk beberapa pemecah SAT untuk dapat menemukan tugas yang memuaskan, dengan asumsi itu ada. Salah satu contoh adalah ketika masing-masing klausa berbagi variabel dengan beberapa klausa lain, karena bukti LLL yang konstruktif , apakah ada hasil lain di …

27 cc.complexity-theory  sat 

Beberapa masalah NP-hard yang eksponensial pada grafik umum adalah subeksponensial pada grafik planar karena treewidth paling banyak dan mereka eksponensial dalam treewidth.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Pada dasarnya saya tertarik jika ada algoritma subeksponensial untuk PLANAR SAT yang NP-complete. Biarkan menjadi rumus CNF pada variabel dan klausa ke- adalah .ϕϕ\phixixix_iiiicicic_i The grafik kejadian …

26 graph-theory  sat  reductions