ผลที่ตามมาของการพิสูจน์ / อัลกอริทึมย่อยสำหรับ SAT

จะมีผลใด ๆ ที่สำคัญหรือไม่หาก SAT มีข้อพิสูจน์ที่ไม่ได้อธิบายเกี่ยวกับเอ็กซ์โพเนนเชียลมากที่สุดหรือยิ่งกว่านั้นยิ่งกว่านั้น SAT มีอัลกอริธึมแบบช่วงชิง

ถ้า SAT มีอัลกอริธึมเวลาเอ็กซ์โปแนนเชียลคุณจะพิสูจน์ว่าสมมติฐานเวลาเอ็กซ์โพเนนเชียล

สำหรับผลกระทบสนุก: ถ้าคุณพบว่าวงจร SAT กว่า AND, OR, NOT กับตัวแปรและประตูวงจรจะสามารถแก้ไขได้เร็วกว่าเล็กน้อยวิธีการแล้วโดยกระดาษไรอันวิลเลียมส์คุณแสดง ที่P$n$$poly(n)$$2^n poly(n)$$NEXP \not\subseteq P/poly$