Memverifikasi solusi unik SAT

Pertimbangkan masalah berikut: diberikan formula CNF dan tugas yang memenuhi formula ini, adakah tugas lain yang memuaskan untuk formula ini?

Apa kompleksitas masalah ini? (Ini pasti di NP, tetapi juga NP-keras?)

Bagaimana jika Anda tidak diberi tugas dan Anda hanya ingin memutuskan apakah formula memiliki tugas memuaskan yang unik?

Terima kasih.

Masalah dalam memutuskan apakah formula CNF yang diberikan memiliki penugasan yang memuaskan selain yang diberikan mudah ditunjukkan sebagai NP-lengkap dengan mengubah formula CNF untuk menambahkan satu solusi sepele. Masalah ini disebut "Masalah Solusi Lain (ASP) dari SAT" di [YS03], di mana ia digunakan untuk memberikan bukti sistematis bahwa (versi keputusan) ASP dari banyak masalah lain juga NP-complete.

Masalah memutuskan apakah formula CNF yang diberikan memiliki tugas memuaskan yang unik atau tidak (jadi Anda harus menjawab "tidak" jika rumus tidak memiliki tugas yang memuaskan atau lebih dari satu tugas yang memuaskan) adalah US -complete. AS mengandung UP dan coNP .

Referensi

[YS03] Takayuki Yato dan Takahiro Seta. Kompleksitas dan kelengkapan menemukan solusi lain dan penerapannya pada teka-teki. Transaksi IEICE tentang Dasar-Dasar Elektronik, Komunikasi dan Ilmu Komputer, E86-A (5): 1052-1060, Mei 2003.

Sunting : Versi sebelumnya (revisi 1) dari jawaban ini berisi kebingungan antara versi keputusan dan versi pencarian. Sudah diperbaiki.

Saya ingat Yoram Moses dan saya sendiri mempelajari masalah ini pada pertengahan 1980-an (mengingat beberapa aplikasi) dan menemukan bahwa untuk banyak masalah NPC alami masalah menemukan solusi kedua / alternatif (atau memutuskan apakah ada) adalah NPC. Kami kemudian menemukan bahwa ini diketahui, tetapi saya tidak ingat referensi, dan gagal menemukan satu (yaitu, satu sebelum pertengahan 1980-an) sekarang. Tapi saya yakin saya ingat dengan benar di atas.

Hanya komentar ke arah Ryan. Fakta bahwa teorema dapat diberikan sebagai latihan di kelas saat ini tidak membuatnya kurang menarik. Itu seharusnya diterbitkan dalam sebuah makalah yang bertuliskan judul yang memadai pada saat ditemukan ...

Oded Goldreich

Di sini, saya menulis kutipan dari makalah berikut:

Valiant, LG dan Vazirani, VV 1986. NP semudah mendeteksi solusi unik. Teor Komputasi. Sci. 47, 1 (November 1986), 85-93. DOI = http://dx.doi.org/10.1016/0304-3975(86)90135-0

Untuk setiap masalah NP-complete yang diketahui, jumlah solusi instansnya bervariasi pada rentang yang besar, dari nol hingga banyak secara eksponensial. Oleh karena itu wajar untuk bertanya apakah sifat tidak terpisahkan dari masalah NP-lengkap disebabkan oleh variasi yang luas ini. Kami memberikan jawaban negatif untuk pertanyaan ini menggunakan gagasan pengurangan waktu polinomial acak. Kami menunjukkan bahwa masalah membedakan antara contoh-contoh SAT yang memiliki nol atau satu solusi, atau menemukan solusi untuk contoh-contoh SAT yang memiliki solusi unik, sama sulitnya dengan SAT, dalam pengurangan acak.

Saya juga menyarankan untuk melihat makalah yang relevan:

Beigel, R., Buhrman, H., dan Fortnow, L. 1998. NP mungkin tidak semudah mendeteksi solusi unik. Dalam Prosiding Simposium ACM Tahunan ke-30 tentang teori Komputasi (Dallas, Texas, Amerika Serikat, 24-26 Mei 1998). STOC '98. ACM, New York, NY, 203-208. DOI = http://doi.acm.org/10.1145/276698.276737

$DP=\{(L_1 ∩ L_2)| L_1 \in NP, L_2\in CoNP\}$

Andreas Blass dan Yuri Gurevich, Tentang masalah kepuasan yang unik,

Solusi untuk kedua masalah, SAT UNIK dan SAT LAIN, dengan klasifikasi kompleksitas lengkap, dapat ditemukan di koran

L. Juban: Teorema dikotomi untuk masalah kepuasan unik yang digeneralisasi http://link.springer.com/chapter/10.1007%2F3-540-48321-7_27