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

Greibach хвацько визначив мову , так звану недетермінірованного версію про , таких , що будь-яка КЛЛ є зворотною морфіческого зображення . Чи існує аналогічне твердження з DCFL, можливо, з деяким обмеженням дозволених морфізмів?ННHD2D2D_2ННH (Див., Наприклад, М. Ауберт, Дж. Берстель та Л. Боассон. Безтекстові мови та автоматичні автоматичні розгортання. У Р. …

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

Ця стаття дає доказ того, що в грі з дверима та напірними плитами важко визначити, чи може аватар (гравця) досягти певного місця. Це доводиться зменшенням від TQBF , а довжина отриманих розчинів експоненціально залежить від кількості універсальних кванторів у формулі. Чи є скорочення від машини NPSPACE до такої гри, для …

12 reductions  nondeterminism  pspace 

Якщо ми можемо довести, що , чи означає це, що N L = N P ?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, розмір яких обмежений максимум mmm. Дозволяєf(m)f(m)f(m) позначають кількість різних таких мінімальних DFA. Чи можемо ми знайти формулу закритої форми для f(m)f(m)f(m)? Враховуючи, що для |Σ|=2|Σ|=2|\Sigma|=2функція переходу DFA розміром не більше є графіком. Оскільки ступінь вузлів обмежена , для кожного вузла …

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 (S A TSAT \mathsf{SAT} , S U B S E T S U MSUBSETSUM \mathsf{SUBSETSUM} тощо), як відомо, в D S P A C E ( n )DSPACE(n) \mathsf{DSPACE(n)} . А як щодо сублінійних просторів? Чи є якась відома проблема NP-Complete (або NP-Intermediate) у підлінійному недетермінованому …

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