«structural-complexity» 태그된 질문

우리는 와 , 여기서 입니다. 우리는 또한 는 후자가 로그 공간 공간-하나 축소에서 완전한 문제를 가지고 있지만 전자는 (공간 계층 정리로 인해) 그렇지 않기 때문에 알고 있습니다. 의 관계를 이해하기 위해서는 와 먼저 관계 이해하는 데 도움이 될 수 및 .L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P}L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

계산 복잡성 이론, 특히 "구조적"복잡성 이론에서 많은 중요한 결과는 알고리즘 결과 에서 기본적으로 다음과 같이 이해 될 수 있다는 흥미로운 특성을 가지고 있습니다. 문제. 여기에는 다음이 포함됩니다. IP = PSPACE 는 대화식 프로토콜을 시뮬레이션하는 공간 효율적인 재귀 알고리즘과 완전히 정량화 된 부울 공식을 평가하기위한 효율적인 대화식 프로토콜을 따릅니다. 실제로 모든 …

21 cc.complexity-theory  structural-complexity 

배경 오라클 가있는 것으로 알려져 있습니다 를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 

괴롭히는 사람 문제가 길기 때문에 본질을 포착하는 특별한 경우가 있습니다. 문제 : A를 3-SAT에 대한 결정론적인 알고리즘이라고합시다. 알고리즘 A를 완전히 시뮬레이션하는 문제입니다 (문제의 모든 인스턴스에서). P-Space 열심히? (보다 정확하게,이 작업이 P-Space가 어렵다고 믿을만한 이유가 있습니까?이 방향으로 무언가가 표준 CC 추측을 따르고 있으며이 작업이 X 클래스라고 생각되는 복잡한 클래스 X에 대해 …

17 cc.complexity-theory  big-picture  structural-complexity 

강하게 정규 그래프 (SRG)에 대한 그래프 동 형사상 (GI )이 P에 있는지 여부는 알려져 있지 않습니다 . GI -Complete 일 수도 있고 아닐 수도있는 힌트가 있습니까? 그러한 경우에 강한 결과가 있습니까? ( GI가 NP-Complete이 아닐 수도 있다는 믿음 과 유사 ).

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

최근의 연구에서, 우리는 가정하에, 조합 맥락에서 발생한 전산 문제를 해결 , 는 IS 의 -version . 우리가 찾은 에 관한 유일한 논문 은 Complexity Zoo에 인용 된 Beigel-Buhrman-Fortnow 1998 논문 이었습니다 . 우리는 패리티 버전의 - 완전한 문제 ( 이 질문 참조 )를 취할 수 있지만 실제로는 에서 완전하지 않을 …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

임의의 NP 완전한 언어에 대해 항상 보완 시간이 무한한 다중 시간 수퍼 셋이 있습니까? /cs//q/50123/42961 에서 수퍼 셋에 무한 보완을 요구하지 않는 간단한 버전이 요청되었습니다. 이 질문의 목적으로 라고 가정 할 수 있습니다 . Vor가 설명했듯이 이면 답은 "아니오"입니다. ( 인 경우 은 NP- 완료입니다. 분명히 수퍼 셋 은 무한대이고 …

14 cc.complexity-theory  np-complete  structural-complexity 

내가 포함시킬 두 가지 논문은 다음과 같습니다. D. Kozen, " 하위 재귀 클래스의 인덱싱" , STOC, 1978. R. Ladner, "다항식 시간 중복성의 구조" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

밀도 언어의 함수 인 차원 X : N → N은 정의 차원 X ( N ) = | { x ∈ X ∣ | x | ≤ n } | . 가정 및 B는 약간의 유한 알파벳 이상의 언어이다 대일 LOGSPACE가 감소 B 및 B가 아닌 L = 인 DSpace …

12 cc.complexity-theory  reductions  structural-complexity 

합니까 의미 E = N E를 ?E X P = N E X P이자형엑스피=엔이자형엑스피\mathsf{EXP}=\mathsf{NEXP}E = N E이자형=엔이자형\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

허락하다 A T I S P (f( n ) , g( n ) )ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n)) 시간이 멈추는 튜링 머신을 번갈아 사용하여 결정된 언어 등급 에프( n )f(n)f(n) 공간을 사용하여 지( n )지(엔)g(n). 허락하다A A L T S P (f( n ) , g( n ) )ㅏㅏ엘티에스피(에프(엔),지(엔))\mathsf{AALTSP}(f(n), g(n)) 사용을 중단하는 튜링 …

9 cc.complexity-theory  complexity-classes  structural-complexity