？

それが可能であることを？そのような封じ込めの興味深い結果はありますか？指数時間仮説と矛盾しますか？$\overline{SAT} \in NTIME(\exp(n^{0.9}))$

可能です ;-）

それは新しい回路の下限を与えます。Impagliazzo、Kabanets、およびWigdersonによる独創的な研究から得られる可能性のあるかなり強い仮定を行っているため、チェックしていません。

$n^{1+\Omega(1)}$$n$$^{NP}$$s$$O(s)$$O(s)$ クック・レビンによる変数。

決定論的アルゴリズムのためであるため、ETHと直接矛盾しません。

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