โพสต์บล็อกของ Scott Aaronson วันนี้ให้รายการของปัญหา / งานเปิดที่น่าสนใจในความซับซ้อน หนึ่งในความสนใจของฉัน:
สร้างห้องสมุดสาธารณะของอินสแตนซ์ 3SAT โดยมีตัวแปรและส่วนคำสั่งน้อยที่สุดเท่าที่จะเป็นไปได้ (ตัวอย่างเช่นอินสแตนซ์ที่เข้ารหัสความท้าทายแฟคตอริ่ง RSA) ตรวจสอบประสิทธิภาพของ SAT-solvers ที่ดีที่สุดในปัจจุบันบนห้องสมุดนี้
สิ่งนี้ก่อให้เกิดคำถามของฉัน: อะไรคือเทคนิคมาตรฐานในการลดปัญหา RSA / แฟ็กเตอริ่งให้ SAT และเร็วแค่ไหน มีการลดมาตรฐานเช่นนี้หรือไม่?
เพื่อให้ชัดเจนโดย "เร็ว" ฉันไม่ได้หมายถึงเวลาพหุนาม ฉันสงสัยว่าเรามีขอบเขตที่แน่นกว่าบนความซับซ้อนของการลดลงหรือไม่ ตัวอย่างเช่นมีการลดลูกบาศก์รู้จักหรือไม่