Вопросы с тегом «nondeterminism»

Greibach лихо определил язык , так называемую недетерминированную версию о , таких , что любая КЛЛ является обратной морфической изображение . Существует ли подобное утверждение с DCFL, возможно, с некоторыми ограничениями на допустимые морфизмы?D 2 HЧАСHHD2D2D_2ЧАСHH (См., Например, М. Аутеберт, Дж. Берстель и Л. Боассон. Неконтекстные языки и автоматы выталкивания. …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Эта статья доказывает, что в игре с дверями и прижимными плитами PSPACE сложно определить, может ли аватар (игрока) достичь определенного места. Это подтверждается сокращением от TQBF , а длина полученных решений экспоненциально зависит от количества универсальных квантификаторов в формуле. Есть ли сокращение от машины NPSPACE до такой игры, для которой …

12 reductions  nondeterminism  pspace 

Если мы можем доказать, что , означает ли это, что ?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Я думал, что это так, но я не могу доказать это (также для обратного).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Хорошо известно, что вычисление недетерминированной машины Тьюринга (NTM) представляется в виде дерева конфигураций, основанного на начальной конфигурации. Любой переход в программе представлен ссылкой «отец-ребенок» в этом дереве. Подобные деревья также могут быть построены для визуализации вычислений вероятностных и квантовых машин. (Обратите внимание, что для некоторых целей лучше не рассматривать связанный …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Позволять ΣΣ\Sigma быть алфавитом размера 222и рассмотрим минимальные DFA, размер которых ограничен не более мmm, Позволятье( м )f(m)f(m) обозначим количество различных таких минимальных ДФА. Можем ли мы найти формулу замкнутой формы для е( м )f(m)f(m)? Учитывая, что для | Σ | =2|Σ|=2|\Sigma|=2 функция перехода DFA размера не более мmmэто график. …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Это продолжение недетерминированного ускорения детерминированных вычислений . Возможно ли, что недетерминизм (или, в более общем смысле, чередование) позволил бы общее квадратичное ускорение детерминированных вычислений? Или есть какие-то известные неправдоподобные последствия для чего-то вроде ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Есть некоторые проблемы NP-Complete ( , \ mathsf {SUBSETSUM} и т. Д.), О которых известно, что они находятся в \ mathsf {DSPACE (n)} . Как насчет сублинейных пространств?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Существует ли какая-либо известная проблема NP-Complete (или NP-Intermediate) в сублинейном недетерминированном пространстве?

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate