?

¿Es posible que ? ¿Hay consecuencias interesantes de tal contención? ¿Contradeciría la hipótesis del tiempo exponencial?$\overline{SAT} \in NTIME(\exp(n^{0.9}))$

Es posible ;-)

Daría nuevos límites inferiores al circuito. Dado que está haciendo una suposición bastante fuerte, esto podría derivarse del trabajo seminal de Impagliazzo, Kabanets y Wigderson , no lo he comprobado.

$n^{1+\Omega(1)}$$n$$^{NP}$$s$$O(s)$$O(s)$ variables por Cook-Levin.

No contradiría directamente a ETH porque eso es para algoritmos deterministas.

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