Dengan hasil klasik Kuroda, kelas kompleksitas NSPACE [ ]nnn (juga dikenal sebagai NLIN-SPACE) adalah kelas CSL dari bahasa yang peka konteks . Masalah kepuasan SAT ada di NSPACE [ ], karena perkiraan ukuran linier untuk solusi dapat diperiksa dengan paling banyak jumlah linier overhead untuk...
Pertanyaan ini terkait erat dengan posting lain: Fase Transisi dalam Masalah Keras NP tetapi agak berbeda. Sementara pertanyaan itu adalah tentang kekerasan dari kasus-kasus khusus masalah sulit NP, ini adalah tentang peringkat kesulitan dari kasus yang sama. Ada banyak bibliografi tentang efek...
Pemecah SAT memberikan cara yang ampuh untuk memeriksa validitas rumus boolean dengan satu quantifier. Misalnya, untuk memeriksa validitas ∃x.φ(x)∃x.φ(x)\exists x . \varphi(x) , kita dapat menggunakan pemecah SAT untuk menentukan apakah φ(x)φ(x)\varphi(x) memuaskan. Untuk memeriksa validitas...
Jika L=NLL=NL\mathsf{L = NL} , maka ada algoritma logspace yang memecahkan versi keputusan 2-SAT. Apakah L=NLL=NL\mathsf{L = NL} diketahui menyiratkan bahwa ada algoritma ruang log untuk mendapatkan tugas yang memuaskan , ketika diberi instance 2-SAT yang memuaskan sebagai input? Jika tidak,...
Rasio kritis klausa terhadap variabel untuk acak 3-SAT adalah lebih dari 3 dan kurang dari 6, dan tampaknya secara umum digambarkan sebagai "sekitar 4,2" atau "sekitar 4,25". Mezard, Parisi, dan Zecchina membuktikan (dalam pengertian fisika) bahwa rasio kritis adalah 4,256, sedangkan penulis...
Saya mencari di internet, tetapi saya tidak dapat menemukan 'daftar besar' varian masalah SAT. Terlepas dari (umum) DUDUK, k-SAT, MAX-kSAT, Setengah SAT, XOR-SAT, NAE-SAT varian apa lagi yang ada? (juga akan sangat berguna jika ada kelas kompleksitas diberikan (jika
Masalah #SAT adalah masalah # -p diselesaikan kanonik. Ini masalah fungsi daripada masalah keputusan. Ia bertanya, diberi rumus boolean dalam logika proposisional, berapa banyak tugas memuaskan yang F miliki. Apa batas bawah terbaik di
Apakah akan ada konsekuensi besar jika SAT paling banyak memiliki bukti tidak aman subeksponensial atau bahkan lebih kuat, SAT memiliki algoritma waktu
Misalkan menjadi rumus CNF dengan n variabel dan klausa m . Misalkan t ∈ { 0 , 1 } n mewakili penugasan variabel dan f φ ( t ) ∈ { 0 , ... , m } menghitung jumlah klausa yang dipenuhi oleh penugasan variabel ke φ . Kemudian definisikan Median-SAT sebagai masalah perhitungan nilai median f φ ( t )...
Ingat bahwa lebar dari resolusi sanggahan dari formula CNF F adalah jumlah maksimal literal dalam klausul terjadi di R . Untuk setiap w , ada rumus yang tidak memuaskan F dalam 3-CNF st setiap resolusi resolusi F membutuhkan lebar setidaknya w .RRRFFFRRRwwwFFFFFFwww Saya membutuhkan contoh konkret...
Rumus Monotone-2CNF adalah formula CNF di mana setiap klausa tersusun oleh tepat 2 literal positif. Sekarang, saya memiliki Monoton-2CNF rumus . Misalkan S adalah himpunan tugas F yang memuaskan. Saya juga memiliki oracle O yang dapat memberikan informasi berikut:FFFSSSFFFOOO Kardinalitas...
Saya mulai menyelidiki kemungkinan mengandalkan solver SAT untuk mengatasi masalah optimisasi yang saya minati, dan saya sedang mencari survei yang akan menampilkan contoh-contoh transformasi "pintar" ke varian SAT (yaitu, transformasi yang menghasilkan dalam masalah ukuran yang wajar, karena saya...
Menurut makalah ini , yang membahas perpanjangan nondeterministik dari Strong Exponential Time Hypothesis (SETH), "[...] Williams baru-baru ini menunjukkan hipotesis terkait tentang kompleksitas Merlin-Arthur dari k-TAUT adalah salah". Namun, makalah itu hanya mengutip komunikasi
Dalam Bundeswettberweb Infomatik 2010/2011, ada masalah yang menarik: Untuk fix , temukan minimal k dan peta φ : { ( i , j ) | i ≤ j ≤ n } → { 1 , ... , k } , sedemikian sehingga tidak ada tiga ( i , j ) , ( i + l , j ) , ( i + l , j + l ) dengan φ (
Kita tahu masalah menghitung jumlah penugasan yang memuaskan dalam formula boolean umum yang diberikan (CNF-SAT), formula DNF yang diberikan, atau bahkan formula 2SAT yang diberikan adalah masalah # P-complete . Sekarang, pertimbangkan CNF-SAT tanpa literal negatif (tidak , selalu A ). Masalah...
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...
Apakah mungkin bahwa ? Adakah konsekuensi menarik dari penahanan seperti itu? Apakah itu bertentangan dengan Hipotesis Waktu Eksponensial?SA T¯¯¯¯¯¯¯¯¯¯∈ NTsayaM.E( exp( n0,9) )SSEBUAHT¯∈NTsayaM.E(exp(n0,9))\overline{SAT} \in
Bagaimana seseorang menunjukkan bahwa properti tertentu tidak dapat dinyatakan dalam 2-CNF (2-SAT)? Apakah ada game, seperti game kerikil? Tampaknya game kerikil hitam klasik dan game kerikil hitam-putih tidak cocok untuk ini (mereka PSPACE lengkap, menurut Hertel dan Pitassi, SIAM J of Computing,...
Saya sedang mempertimbangkan bahasa dari semua formula logika proposisional yang memuaskan, SAT (untuk memastikan bahwa ini memiliki alfabet terbatas, kami akan menyandikan huruf proposisional dengan cara yang sesuai [edit: balasan menunjukkan bahwa jawaban untuk pertanyaan mungkin tidak kuat di...
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...