Pertimbangkan tugas komputasi berikut: Kami ingin mengambil sampel rumus 3-SAT dari variabel (varian: variabel klausa) berkenaan dengan distribusi probabilitas seragam, dikondisikan pada rumus yang memuaskan:n m
T1: Dapatkah ini dicapai secara efisien oleh komputer klasik (dengan bit acak)?
T2: Bisakah ini dicapai secara efisien oleh komputer kuantum?
Saya juga tertarik pada dua varian berikut:
V2: Anda mencicipi semua formula dengan distribusi probabilitas yang memberikan formula yang memuaskan dua kali berat formula yang tidak memuaskan.
V3: Anda sampel di mana beratnya adalah jumlah tugas yang memuaskan (Di sini kami hanya peduli tentang Q2).
Pembaruan: Jawaban Colins menunjukkan algoritma sederhana untuk V3. (Saya salah berasumsi bahwa ini sulit secara klasik.) Izinkan saya menyebutkan varian lain dari ketiga pertanyaan ini:
Anda menentukan klausa di muka dan Anda perlu sampel himpunan bagian acak memuaskan dari klausa input.
Jawaban:
Ada algoritma sederhana untuk V3. Saya akan menggunakan konvensi bahwa ada kemungkinan klausa, jadi 2 8 n 3 rumus. (Ini hanya untuk kesederhanaan - jika Anda tidak ingin semua klausa 8 n 3 dianggap valid, itu tidak akan memengaruhi argumen berikut.)( 2 n )3 28 n3 8 n3
Pilih tugas acak dari{ 0 , 1 }n 7 n3 1 / 2 ϕ m m 7 n3
sumber