Posting blog Scott Aaronson hari ini memberikan daftar masalah / tugas terbuka yang menarik dalam kompleksitas. Seseorang khususnya menarik perhatian saya:
Bangun perpustakaan umum dengan instance 3SAT, dengan sesedikit mungkin variabel dan klausa, yang akan memiliki konsekuensi penting jika diselesaikan. (Misalnya, contoh yang mengkode tantangan anjak piutang RSA.) Selidiki kinerja pemecah SAT terbaik saat ini di perpustakaan ini.
Ini memicu pertanyaan saya: Apa teknik standar untuk mengurangi masalah RSA / anjak menjadi SAT, dan seberapa cepat itu? Apakah ada pengurangan standar seperti itu?
Untuk memperjelas, dengan "cepat", saya tidak bermaksud waktu polinomial. Saya bertanya-tanya apakah kita memiliki batas atas yang lebih ketat pada kompleksitas pengurangan. Misalnya, apakah ada pengurangan kubik yang diketahui?