Запитання з тегом «space-bounded»

Загальне запитання Чи узагальнює теорема про космічну ієрархію до неоднорідних обчислень? Ось ще кілька конкретних питань: Є ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Для всіх функціональних функцій f(n)f(n)f(n) , чи є DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Для яких функцій h(n)h(n)h(n) відомо, що: для всіх конструкцій простору f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n) ?

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Я намагаюся знайти проблеми, середня складність простору яких проаналізована. Більш конкретно, мені цікаво знати, чи є якісь проблеми із доведеною просторовою складністю нижньої межі, яка є суперлінійною, і особливо, якщо є такі, що мають аналіз середнього випадку (наприклад, обмеження має місце, навіть якщо алгоритм дозволений помилятися невеликий відсоток разів тощо) …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Покажіть функцію яка може бути сконструйована простором, але не змінна за часом.f( n )f(n)f(n) Чи пов’язана ця проблема з можливим поділом між класами складності DTIME (f (n)) та SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation 

Оновлення: Здається, ця проблема була вивчена і вирішена останнім часом, дивіться цю статтю у вікі: http://en.wikipedia.org/wiki/Tree_walking_automaton А також це опитування: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Припустимо, що замість звичного набору слів {0,1} * наші слова не є лінійними, а наводяться на деякій структурі дерева. Щоб наші машини не загубилися, визначте наші слова як …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Чи розпізнають недетерміновані лінійно-обмежені автомати з обмеженим відвідуванням лише регулярні мови? Під недетермінованим лінійним обмеженим автоматом (nLBA) я маю на увазі односмугову недетерміновану машину Тюрінга, де вхід надходить «з підкладкою» з кінцевими маркерами на обох кінцях, які ніколи не можна перезаписати, і так, щоб голова ніколи не могла рухатися з …

9 automata-theory  turing-machines  regular-language  space-bounded 

Добре відомо, що проблема NP-Complete, яка називається Subset Sum, має FPTAS. Мені було цікаво, чи існує проблема PSPACE Complete, яка також має FPTAS? Заздалегідь спасибі.

9 ds.algorithms  space-bounded  big-picture