?

เป็นไปได้ว่า ? มีผลที่น่าสนใจของการกักกันเช่นนี้หรือไม่? มันจะขัดแย้งกับสมมติฐานเวลาเอ็กซ์โพเนนเชียลหรือไม่?$\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}]$