?

mümkün müdür ? Bu tür muhafazanın ilginç sonuçları var mı? Üstel Zaman Hipoteziyle çelişir mi?$\overline{SAT} \in NTIME(\exp(n^{0.9}))$

Bu mümkün ;-)

Yeni devreye daha düşük sınırlar getirecektir. Impagliazzo, Kabanets ve Wigderson'un seminal çalışmasından sonra bu oldukça güçlü bir varsayım yaptığınızdan , kontrol etmedim .

$n^{1+\Omega(1)}$$n$$^{NP}$$s$$O(s)$$O(s)$ Cook-Levin değişkenleri.

ETH ile doğrudan çelişmez, çünkü bu deterministik algoritmalar içindir.

$\text{NTIME}[2^{(1-\varepsilon) n}]$DNF-TAUT için algoritması sunar. NSETH, elbette, sorduğunuz "NETH" den daha da güçlü bir varsayımdır ve hala bildiğimiz her şeyle tutarlı görünüyor. Yazarlar bu varsayımı, bir dizi diğer ince taneli karmaşıklık varsayımının birbirlerine indirgenemeyeceğini göstermek için kullanırlar.