Apa kompleksitas penghitungan 2-SAT acak?


18

Apakah ada pekerjaan yang telah dilakukan tentang bagaimana kompleksitas kejadian acak # 2-SAT bervariasi dengan kepadatan klausa? Yaitu: bagaimana kesulitan menghitung solusi yang memuaskan untuk contoh 2-SAT yang dihasilkan secara acak bervariasi, karena kepadatan klausa bervariasi? Secara khusus, apakah ada hasil yang diketahui melibatkan melibatkan ambang kritis?

Tentu saja, karena 2-SAT  ∈  P , kompleksitas penghitungan tipikal sebagian tergantung pada probabilitas dengan mana sebuah instance memuaskan; contoh yang kepadatan klausa di atas ambang kritis untuk SAT / UNSAT biasanya akan memiliki kompleksitas penghitungan yang mudah, karena jawabannya adalah " nol " hampir pasti, dalam batas n  . Namun, kompleksitas penghitungan mungkin masih mudah untuk instance 2-SAT yang memiliki kepadatan mendekati atau tepat di atas ambang kritis untuk hingga n : orang mungkin berharap bahwa instance yang memuaskan hanya akan memiliki sejumlah kecil solusi, yang mungkin mudah untuk menghitung karena ketatnya kendala.

Untuk k -SAT dengan k  ≥ 3, kesulitan menentukan apakah sebuah instance memenuhi atau tidak memuaskan tampaknya lebih tinggi di dekat ambang kritis yang memisahkan fase SAT dari fase UNSAT, sebagian ketika seseorang mencoba untuk menentukan apakah ada setidaknya satu instance solusi yang memuaskan. Untuk # 2-SAT , kesulitannya tidak terletak pada menentukan apakah setidaknya ada satu solusi; jadi orang harus berharap bahwa kesulitannya mungkin dalam menentukan jumlah solusi untuk formula yang memuaskan dari yang signifikan tetapi tidak besar sejumlah kendala - yaitu, di mana ada cukup kendala untuk menginduksi dependensi non-sepele antara variabel, tetapi tidak terlalu banyak untuk terlalu menentukan tugas yang mungkin.


2
Pertanyaan bagus. Bukan jawaban, tetapi menarik bahwa untuk masalah keputusan 3-SAT ambang kekerasan berada di sekitar m / n = 4,26 (lokasi yang sama dengan ambang kepuasan), sedangkan untuk # 3-SAT itu sekitar 1,5 (lihat Buku Pegangan Kepuasan atau ). Jadi, bahkan untuk , ambang batas kompleksitas penghitungan jauh dari ambang keputusan. Saya akan tertarik melihat apakah ada pekerjaan keras yang telah dilakukan untuk umum k. k3
Huck Bennett

Jawaban:


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.