«nondeterminism» 태그된 질문

Greibach 유명 언어 정의 소위 결정적 버전 의 D 2 어떤 CFL의 역수가 형태 적 화상이되도록, H를 . DCFL에 대해 비슷한 형태가 존재하며, 허용되는 형태에 대한 제한이 있습니까?HHH디2D2D_2HHH (예 : M. Autebert, J. Berstel 및 L. Boasson. 문맥없는 언어 및 푸시 다운 오토마타 참조. R. Rozenberg 및 A. Salomaa, 편집자, …

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

이 백서 는 문과 압력판이있는 게임에서 (플레이어) 아바타가 특정 위치에 도달 할 수 있는지 여부를 결정하는 것이 PSPACE 어렵다는 증거를 제공합니다. 이것은 TQBF 의 감소에 의해 입증되며 , 결과 솔루션의 길이는 공식의 범용 정량 자의 수에 기하 급수적으로 의존합니다. NPSPACE 기계에서 게임 솔루션의 길이가 기계의 수용 경로의 길이와 다항식으로 관련되는 …

12 reductions  nondeterminism  pspace 

우리가 증명할 수 있다면 , 그 의미 않습니다 N L = N P를 ?L = P엘=피\mathsf{L}=\mathsf{P}N L = N P엔엘=엔피\mathsf{NL}=\mathsf{NP} 나는 그것이 사실이라고 생각했지만 그것을 증명할 수는 없다 (또한 대화를 위해).

10 cc.complexity-theory  complexity-classes  nondeterminism 

비 결정적 튜링 머신 (NTM)의 계산은 시작 구성에 근거한 구성 트리로 표현할 수있는 것으로 잘 알려져 있습니다. 프로그램의 모든 전환은이 트리에서 아버지-자식 링크로 표시됩니다. 확률 적 및 양자 기계의 계산을 시각화하기 위해 유사한 트리를 구성 할 수도 있습니다. (같은 수준의 트리에서 동일한 구성을 나타내는 두 개의 노드가 양자 간섭으로 인해 …

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

허락하다 ΣΣ\Sigma 알파벳이되다 222크기가 최대 한도 인 최소 DFA를 고려하십시오. m미디엄m. 허락하다f(m)에프(미디엄)f(m) 서로 다른 최소 DFA 수를 나타냅니다. 에 대한 폐쇄 형 공식을 찾을 수 있습니까? f(m)에프(미디엄)f(m)? 그것을 고려하여 | Σ|=2|Σ|=2|\Sigma|=2 최대 크기의 DFA의 전환 기능 m미디엄m그래프입니다. 노드 정도는222각 노드마다 m2미디엄2m^2호 쌍의 가능성 (주석에서 제안한 바와 같이). 이 그래프에는 최대미디엄미디엄m …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

이것은 결정 론적 계산의 비결정론 적 속도 향상에 대한 후속 조치 입니다. 비결정론 (또는보다 일반적으로 대체)이 결정 론적 계산의 일반적인 2 차 속도를 허용 할 가능성이 있는가? 또는 과 같은 알려진 결과가 있습니까?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 T에스ㅏ티 \mathsf{SAT} S U B S E T S U M에스유비에스이자형티에스유미디엄 \mathsf{SUBSETSUM} D S P A C E ( n )디에스피ㅏ씨이자형(엔) \mathsf{DSPACE(n)} 비선형 비결정 공간에 NP-Complete (또는 NP-Intermediate) 문제가 있습니까?

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