A postagem no blog de Scott Aaronson hoje deu uma lista de problemas / tarefas abertos interessantes em complexidade. Um em particular chamou minha atenção:
Crie uma biblioteca pública de instâncias 3SAT, com o menor número possível de variáveis e cláusulas, que teria consequências notáveis se resolvidas. (Por exemplo, instâncias que codificam os desafios de fatoração de RSA.) Investigue o desempenho dos melhores solucionadores de SAT atuais nesta biblioteca.
Isso desencadeou minha pergunta: qual é a técnica padrão para reduzir os problemas de RSA / fatoração para SAT e qual a velocidade? Existe uma redução tão padrão?
Só para esclarecer, por "rápido" não quero dizer tempo polinomial. Gostaria de saber se temos limites superiores mais apertados na complexidade da redução. Por exemplo, há uma redução cúbica conhecida?