นี่คือคำถามที่ตามมาของฉัน:
ความซับซ้อนของเวลาที่กำหนดขึ้นซึ่งเป็นที่รู้จักกันดีที่สุดคือขอบเขตล่างสำหรับปัญหาธรรมชาติใน NP
ฉันพบว่ามันทำให้สับสนซึ่งเราไม่สามารถพิสูจน์เวลาที่กำหนดได้สองด้านสำหรับปัญหา NP ที่น่าสนใจที่ผู้คนสนใจและพยายามออกแบบอัลกอริทึมที่ดีกว่า สมมติฐานการคาดเดาเวลาเอ็กซ์โพเนนเชียลของเราระบุว่า SAT ไม่สามารถแก้ไขได้ในเวลาที่กำหนดแบบเอ็กซ์โปแนนเชียล แต่เราไม่สามารถพิสูจน์ SAT ได้ (หรือปัญหา NP อื่น ๆ ที่น่าสนใจ) ต้องใช้เวลากำลังสอง!
ฉันรู้ว่าน่าสนใจค่อนข้างเป็นส่วนตัวและคลุมเครือ ฉันไม่มีคำจำกัดความ แต่ให้ฉันพยายามอธิบายสิ่งที่ฉันคิดว่าเป็นปัญหาที่น่าสนใจ: ฉันกำลังพูดถึงปัญหาที่มากกว่าสองสามคนพบว่าน่าสนใจ ฉันไม่ได้พูดถึงปัญหาบางอย่างที่ถูกออกแบบมาเพื่อตอบคำถามทางทฤษฎี หากผู้คนไม่พยายามค้นหาอัลกอริธึมที่เร็วกว่าสำหรับปัญหาแสดงว่าปัญหาไม่น่าสนใจ หากคุณต้องการตัวอย่างที่เป็นรูปธรรมของปัญหาที่น่าสนใจให้พิจารณาปัญหาในกระดาษ 1972 ของ Karp หรือใน Garey และ Johnson 1979 (ส่วนใหญ่)
มีคำอธิบายใด ๆ หรือไม่ว่าทำไมเราถึงไม่สามารถพิสูจน์เวลาที่กำหนดค่ากำลังสองที่ลดลงสำหรับปัญหา NP ที่น่าสนใจใด ๆ