?

É possível que ? Existem conseqüências interessantes de tal contenção? Contrariaria a hipótese do tempo exponencial?$\overline{SAT} \in NTIME(\exp(n^{0.9}))$

É possível ;-)

Isso daria limites mais baixos ao novo circuito. Como você está assumindo um forte pressuposto, isso pode resultar do trabalho seminal de Impagliazzo, Kabanets e Wigderson , não verifiquei.

$n^{1+\Omega(1)}$$n$$^{NP}$$s$$O(s)$$O(s)$ variáveis ​​por Cook-Levin.

Isso não contradiz diretamente o ETH porque isso é para algoritmos determinísticos.

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