?

Có thể là ? Có những hậu quả thú vị của việc ngăn chặn như vậy? Nó sẽ mâu thuẫn với giả thuyết thời gian theo cấp số nhân?$\overline{SAT} \in NTIME(\exp(n^{0.9}))$

Điều đó là có thể ;-)

Nó sẽ cung cấp cho mạch mới giới hạn thấp hơn. Vì bạn đang đưa ra một giả định khá mạnh mẽ, điều này có thể xuất phát từ công việc bán kết của Impagliazzo, Kabanets và Wigderson , tôi đã không kiểm tra.

$n^{1+\Omega(1)}$$n$$^{NP}$$s$$O(s)$$O(s)$ biến bởi Cook-Levin.

Nó sẽ không trực tiếp mâu thuẫn với ETH vì đó là thuật toán xác định.

$\text{NTIME}[2^{(1-\varepsilon) n}]$