«pspace» 태그된 질문

다음과 같은 정량화 된 부울 공식인지 결정 ∀ x1∃ x2∀ x삼⋯ ∃ x엔φ ( ×1, x2, … , x엔) ,∀엑스1∃엑스2∀엑스삼⋯∃엑스엔φ(엑스1,엑스2,…,엑스엔),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), 항상 참으로 평가되는 것은 고전적인 PSPACE- 완전 문제입니다. 이것은 교대로 움직이는 두 플레이어 사이의 게임으로 볼 수 있습니다. 첫 …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

다음과 같은 문제는 PSPACE-complete라는 것이 잘 알려져 있습니다. 정규식 감안 , 수행 ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ※L(β)=Σ∗L(\beta) = \Sigma^* 어떤 다른 (고정) 정규 표현식 동등성을 확인하는 방법에 대한 ?αα\alpha 정규 표현식을 감안할 때 , 수행 ?L ( β ) = L ( α )ββ\betaL …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

배경 오라클 가있는 것으로 알려져 있습니다 를AA 예컨대, 그 P S P C E ≠ P HPSPACEA≠PHAPSPACE^A \neq PH^A . 임의의 오라클에 대해 분리가 유지되는 것으로 알려져있다. 비공식적으로, 이것은 P S P A C EPSPACEPSPACE 와 P HPHPH 가 분리 된 많은 오라클이 있음을 의미하는 것으로 해석 할 수 있다. …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

다른 cstheorySE 게시물 의 의견에서 PSPACE-completeness는 APX-hardness를 의미한다고 언급되어 있습니다. 누구든지 그것에 대한 참조를 설명 / 공유 할 수 있습니까? 이것이 "꽉"입니까? (즉, 최적화 문제가 폴리 시간에서 일정한 요인 근사치를 허용하는 PSPACE- 완전 문제가 있습니까?) 어떤 수준의 PH에 대한 완성도는 어떻습니까? 근사 경도를 의미합니까?

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

"일부 색칠 게임의 복잡성"논문에서 Bodlaender는 일부 그래프 색칠 게임에서 플레이어 1 또는 2가 승리 전략을 갖는지 결정하는 복잡성에 대해 공개적인 질문을합니다. 그들이 해결되었는지 아는 사람이 있습니까? 1) 한 게임에서 두 명의 플레이어가 교대로 한 정점을 선택하여 고정 유한 세트의 색으로 올바르게 채색합니다. 패자는 정점을 채색 할 수없는 최초의 플레이어입니다. Schaefer의 …

12 graph-colouring  pspace  two-player-games 

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

12 reductions  nondeterminism  pspace 

다항식의 움직임으로 끝나는 완전한 정보의 2 인 조합 게임을 고려하고, 플레이어는 제한된 수의 허용 된 움직임 중에서 선택합니다. 일반적인 질문은 주어진 위치에서 승자를 알리는 것이 얼마나 어려운지입니다. 다른 하나는, 승리 포지션에서 승리하는 움직임을 선택하는 것이 얼마나 어려운가입니다. (여기서 포지션을 딴 후에도 이겼다면 이동 승리라고 부릅니다.) 차별화를 위해 이전의 POSITION-COMPLEXITY와 후자의 …

11 cc.complexity-theory  np  board-games  pspace 

나는 그것이 # P-Space라고 불릴 것 같지만 그것을 모호하게 언급 한 기사를 하나만 발견했다. EXP-SPACE-Complete 문제뿐만 아니라 EXP-TIME-Complete, NEXP-Complete의 계산 버전은 어떻습니까? Toda의 정리와 같은 포함 또는 제외 유형과 관련하여 인용 할 수있는 이전 연구가 있습니까?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace