ในกระทู้อื่นโจ Fitzsimons ถามเกี่ยวกับ "ขอบเขตที่ต่ำที่สุดในปัจจุบันที่ดีที่สุดใน 3SAT"
ฉันต้องการจะใช้วิธีอื่น: ขอบเขตบนที่ดีที่สุดในปัจจุบันใน 3SAT คืออะไร กล่าวอีกนัยหนึ่งความซับซ้อนของเวลาสำหรับตัวแก้ SAT ที่มีประสิทธิภาพมากที่สุดคืออะไร?
โดยเฉพาะอย่างยิ่งมันเป็นไปได้หรือไม่ที่จะหาอัลกอริธึมแบบเอ็กซ์โปเนนเชียล