Apa batas atas asimptotik yang paling dikenal pada ukuran bukti yang dapat diperiksa secara probabilistik? Idealnya, saya mencari survei kontemporer tentang pertanyaan luas ini, tetapi jika tidak ada, saya terutama tertarik pada ketidak-taksiran 3-SAT.
Misalkan 7/8 + ε-3-SAT menjadi 3-SAT dengan janji bahwa jika fraksi 7/8 + ε dari klausa tersebut memuaskan, maka instance tersebut memuaskan. Apa pengurangan 3-SAT yang paling dikenal dengan klausa menjadi 7/8 + ε-3-SAT? Misalnya, apakah ada pengurangan menggunakan klausa ? ( klausa adalah masalah terbuka.) Pengurangan dalam ukuran quasilinear NC yang seragam? Apa ketergantungan pada , termasuk kapan ? Apakah ada ukuran linier yang diketahui (tergantung pada ) pengurangan (1-ε) -3-SAT menjadi 7/8 + ε-3-SAT, dan jika tidak, apakah kita memiliki batasan yang lebih baik untuk (1-ε) -3-SAT? Bahkan sebagian jawaban akan menarik.
Juga, sementara itu mungkin akan membuat pertanyaan terlalu luas, saya harus menyebutkan bahwa masalah penting lainnya di sini adalah faktor konstan, yang karena teknik seperti kode panjang biasanya sangat besar.