?


12

¿Es posible que ? ¿Hay consecuencias interesantes de tal contención? ¿Contradeciría la hipótesis del tiempo exponencial?SAT¯NTIME(exp(n0.9))

Respuestas:


17

Es posible ;-)

Daría nuevos límites inferiores al circuito. Dado que está haciendo una suposición bastante fuerte, esto podría derivarse del trabajo seminal de Impagliazzo, Kabanets y Wigderson , no lo he comprobado.

n1+Ω(1)nNPsO(s)O(s) variables por Cook-Levin.

No contradiría directamente a ETH porque eso es para algoritmos deterministas.


Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.