?

이 가능하다는 ? 그러한 격리의 흥미로운 결과가 있습니까? 지수 시간 가설과 모순됩니까?$\overline{SAT} \in NTIME(\exp(n^{0.9}))$

것이 가능하다 ;-)

새로운 회로에 하한을 줄 것입니다. Impagliazzo, Kabanets 및 Wigderson 의 주요 작업 에서 나올 수있는 매우 강력한 가정을 따르고 있기 때문에 확인하지 않았습니다.

$n^{1+\Omega(1)}$$n$$^{NP}$$s$$O(s)$$O(s)$ Cook-Levin에 의한 변수.

결정 론적 알고리즘이기 때문에 ETH와 직접 모순되지 않습니다.

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