Preguntas etiquetadas con nexp

Existen toneladas de problemas NP-completos y fuentes que los recopilan, por ejemplo, vea el libro de Garey y Johnson. Me interesaría ver una lista de problemas NEXP-complete también. ¿Hay uno disponible? Como supongo que no hay, abro esta pregunta (¿se supone que es una wiki comunitaria? No sé sobre esto). …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

¿Es posible que ? ¿Hay consecuencias interesantes de tal contención? ¿Contradeciría la hipótesis del tiempo exponencial?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

Tengo un problema que está en NEXP NP y también se puede resolver con una TM alterna usando tiempo exponencial y solo una alternancia (comenzando en un estado existencial).notario públicoNP^{\text{NP}} ¿Se sabe algo sobre NEXP NP ? ¿Es igual a NEXP o alguna otra clase? ¿Hay problemas completos además del …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

¿ implica E = N E ?E XP = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E = N EE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity