เครื่องมือแก้ปัญหา SAT สมัยใหม่นั้นเก่งในการแก้ปัญหาตัวอย่างจริงของหลาย ๆ กรณีของ SAT อย่างไรก็ตามเรารู้วิธีสร้างฮาร์ดไดรฟ์ตัวอย่างเช่นใช้การลดแฟ็กตอริ่งเป็น SATและให้หมายเลข RSA เป็นอินพุต
นี่ทำให้เกิดคำถาม: ถ้าฉันใช้ตัวอย่างง่ายๆของการแยกตัวประกอบ แทนที่จะใช้สองช่วงเวลาขนาดใหญ่บนบิตเกิดอะไรขึ้นถ้าฉันเอาไพรม์pบนlog n bits และไพรม์คิวบนn / log nบิตให้N = p qและเข้ารหัสF A C T O R ( N )เป็นตัวอย่างของ SAT ยังไม่มีข้อความจะเป็นจำนวนที่ง่ายต่อการแยกตัวประกอบโดยวิธีการค้นหาแบบตะแกรงหรือบังคับเนื่องจากปัจจัยหนึ่งมีขนาดเล็ก SAT-modern ที่ทันสมัยพร้อมการลดมาตรฐานจากแฟคตอริ่งไปจนถึง SAT รับโครงสร้างนี้ด้วยหรือไม่
SAT-solvers factor ที่ไหน| p | = log nอย่างรวดเร็ว?