?

Чи можливо, що ? Чи є цікаві наслідки такого стримування? Чи суперечить це експоненціальній гіпотезі часу?$\overline{SAT} \in NTIME(\exp(n^{0.9}))$

Можливо ;-)

Це дало б нові межі ланцюга. Оскільки ви робите досить вагоме припущення, що це може випливати з первинних робіт Імпальязцо, Кабанця та Вігдерсона , я не перевіряв.

$n^{1+\Omega(1)}$$n$$^{NP}$$s$$O(s)$$O(s)$ змінні Кука-Левіна.

Це не суперечило б безпосередньо ETH, оскільки це для детермінованих алгоритмів.

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