Вопросы с тегом «space-bounded»

Общий вопрос Обобщает ли теорема о пространственной иерархии неравномерное вычисление? Вот несколько более конкретных вопросов: Является ли ?L / ролу⊊ PSпA CЕ/ РолуL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Для всех космических построимых функций , является D S Р С Е ( О ( е ( п ) ) ) / р о л …

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

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

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

Покажите функцию которая конструируется в пространстве, но не является временной.е( н )е(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