Сьогодні в блозі Скотта Аронсон викладено список цікавих відкритих проблем / завдань за складністю. Зокрема, один привернув мою увагу:
Створіть публічну бібліотеку з примірників 3SAT з якомога менше змінних та підказок, які матимуть вагомі наслідки, якщо їх вирішити. (Наприклад, екземпляри, що кодують проблеми факторингу RSA.) Дослідіть ефективність найкращих поточних SAT-рішень у цій бібліотеці.
Це викликало моє запитання: Яка стандартна методика зменшення проблем RSA / факторингу до SAT і наскільки швидко вона? Чи є таке стандартне зниження?
Щоб було зрозуміло, під «швидким» я не маю на увазі поліноміальний час. Мені цікаво, чи є у нас більш жорсткі верхні межі щодо складності скорочення. Наприклад, чи відомо відоме кубічне скорочення?