Hậu quả của bằng chứng / thuật toán theo cấp số nhân cho SAT

Sẽ có bất kỳ hậu quả lớn nào nếu SAT có hầu hết các bằng chứng không phụ thuộc hoặc thậm chí mạnh hơn, SAT có các thuật toán thời gian phụ?

Nếu SAT có thuật toán thời gian phụ, bạn sẽ bác bỏ giả thuyết thời gian theo cấp số nhân .

Để có kết quả thú vị: nếu bạn chỉ ra rằng mạch SAT qua AND, OR, KHÔNG với $n$ biến và cổng mạch $poly(n)$ có thể được giải quyết nhanh hơn cách tiếp cận $2^n poly(n)$ tầm thường , sau đó bởi Ryan Williams' giấy bạn cho thấy $NEXP \not\subseteq P/poly$ .