Scott Aaronsons heutiger Blogbeitrag enthielt eine Liste von interessanten offenen Problemen / Aufgaben in der Komplexität. Besonders eines hat meine Aufmerksamkeit erregt:
Erstellen Sie eine öffentliche Bibliothek von 3SAT-Instanzen mit möglichst wenigen Variablen und Klauseln, deren Lösung bemerkenswerte Konsequenzen hätte. (Zum Beispiel Instanzen, die die RSA-Faktorisierungsherausforderungen codieren.) Untersuchen Sie die Leistung der besten aktuellen SAT-Löser in dieser Bibliothek.
Dies hat meine Frage aufgeworfen: Was ist die Standardtechnik, um RSA / Factoring-Probleme auf SAT zu reduzieren, und wie schnell ist sie? Gibt es eine solche Standardreduzierung?
Nur um klar zu sein, mit "schnell" meine ich keine Polynomzeit. Ich frage mich, ob wir der Komplexität der Reduktion engere Grenzen gesetzt haben. Gibt es zum Beispiel eine bekannte kubische Reduktion?