Sejauh mana, kemampuan komputasi untuk tugas-tugas sulit membantu dalam menyelesaikan tugas-tugas mudah

Singkatnya, pertanyaannya adalah: sejauh mana, kemampuan komputasi untuk tugas-tugas sulit benar-benar membantu Anda dalam menyelesaikan tugas-tugas mudah. (Mungkin ada berbagai cara untuk membuat pertanyaan ini menarik dan tidak sepele, dan di sini ada satu upaya seperti itu.)

Pertanyaan 1:

Pertimbangkan rangkaian untuk menyelesaikan SAT untuk rumus dengan n variabel. (Atau untuk menemukan siklus Hamiltonian untuk grafik dengan tepi.)$n$

Misalkan setiap gerbang memungkinkan perhitungan fungsi Boolean sembarang pada variabel . Untuk konkret, mari kita ambil m = 0,6 n .$m$$m=0.6 n$

Hipotesis waktu eksponensial yang kuat (SETH) menegaskan bahwa bahkan dengan gerbang yang kuat seperti itu kita memerlukan ukuran sirkuit superpolinomial. Faktanya, kita membutuhkan ukuran setidaknya untuk setiap ϵ . Dalam arti tertentu, gerbang pada fraksi variabel yang merepresentasikan fungsi Boolean yang sangat rumit (jauh melampaui kelengkapan NP) tidak memberi Anda banyak keuntungan.$\Omega (2^{(0.4-\epsilon) n})$$\epsilon.$

Kami selanjutnya dapat bertanya:

(i) Bisakah kita memiliki sirkuit ukuran ? 2 ( 1 - ϵ ) n ?$2^{0.9 n}$$2^{(1-\epsilon)n}$

Jawaban "tidak" akan menjadi penguatan besar dari SETH. Tentu saja, mungkin ada jawaban "Ya" yang mudah, yang saya lewatkan begitu saja.

(ii) Jika jawaban untuk (i) adalah YA, apakah gerbang yang menghitung fungsi Boolean sewenang-wenang memberikan beberapa keuntungan dibandingkan dengan gerbang yang "hanya" menghitung (mengatakan) fungsi NP sewenang-wenang; atau hanya contoh yang lebih kecil dari SAT itu sendiri?

Upaya Pertanyaan berikutnya untuk meminta sesuatu yang mirip untuk pertanyaan di .$P$

Pertanyaan 2:

Seperti sebelumnya, biarkan dan untuk konkret menempatkan m = 0,6 n . (Nilai lain dari m seperti m = n α juga menarik.) Pertimbangkan jenis sirkuit berikut:$m< n$$m=0.6n$$m$$m=n^\alpha$

a) Dalam satu langkah Anda dapat menghitung fungsi Boolean sembarang pada variabel .$m$

b) Dalam satu langkah Anda dapat memecahkan masalah SAT dengan variabel . Atau mungkin rangkaian nondeterministik sewenang-wenang dari ukuran polinomial dalam variabel m .$m$$m$

c) Dalam satu langkah Anda dapat melakukan rangkaian sewenang-wenang di variabel ukuran m d ( d adalah tetap).$m$$m^d$$d$

d) Dalam satu langkah Anda dapat melakukan gerbang Boolean biasa.

Mari kita perhatikan pertanyaan menemukan pencocokan sempurna untuk grafik dengan edge. Matching memiliki sirkuit ukuran polinomial. Pertanyaannya adalah apakah eksponen dalam algoritma pencocokan tersebut dapat ditingkatkan ketika Anda berpindah dari sirkuit tipe d) ke sirkuit tipe c), dan dari sirkuit ukuran c) ke sirkuit ukuran b), dan dari sirkuit berukuran b), dan dari sirkuit berukuran b ) ke sirkuit ukuran a).$n$

(Ini mungkin terkait dengan masalah terkenal tentang komputasi paralel atau tentang nubuat.)

$2^{2^m \cdot s}$$s$$s=2^{n-m}$