Запитання з тегом «nexp»

Навколо існує безліч проблем, повних NP, та джерела їх збору, наприклад, дивіться книгу Гарі та Джонсона. Мені було б також цікаво переглянути список проблем, повних NEXP. Чи є одна? Як я припускаю, що цього немає, я відкриваю це питання (чи це повинен бути вікі спільноти? Я не знаю про ці …

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

Чи можливо, що ? Чи є цікаві наслідки такого стримування? Чи суперечить це експоненціальній гіпотезі часу?SА Т¯¯¯¯¯¯¯¯¯¯∈ NТЯМЕ( Досвід( н0,9) )SАТ¯∈NТЯМЕ(досвід⁡(н0,9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

У мене є проблема, яка знаходиться в NEXP і її також можна вирішити змінним ТМ, використовуючи експоненціальний час і лише одне чергування (починаючи в екзистенційному стані).НПNP^{\text{NP}} Чи відомо щось про NEXP ? Чи дорівнює NEXP чи іншому класу? Чи існують повні проблеми, крім загальної (з урахуванням машини NEXP і слова, …

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

Чи означає, що означає E = N E ?E X P = 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