«logspace» 태그된 질문

ST- 연결성은 유향 그래프 G ( V , E ) 에서 두 개의 구별되는 정점 와 t 사이에 유향 경로가 있는지 여부를 결정하는 문제입니다 . 로그 스페이스에서이 문제를 해결할 수 있는지 여부는 오랫동안 열려있는 문제입니다. 이것을 N L vs L 문제 라고합니다 .ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL 의 기본 무향 그래프가 나무 폭에 경계를 …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

시바 Kintali 단지 (멋진!)를 발표했다 그 결과 폭 경계 treewidth 그래프에 대한 그래프 동형 IS -hard를⊕ L≥4≥4\geq 4⊕L⊕L\oplus L . 비공식적으로 내 질문은 "얼마나 힘든가요?"입니다. 우리는 않다는 것을 알고 있습니다. 이 질문에 대한 답을보십시오 . 또한 일 가능성이 적다는 것을 알고 있습니다. 이 질문에 대한 답을보십시오 . 이라면 얼마나 놀라운 …

26 cc.complexity-theory  complexity-classes  logspace 

경우 , 다음 LOGSPACE 알고리즘 떨어져 있음을 해결해 결정 버전 2의 SAT.L=NLL=NL\mathsf{L = NL} 가요 하기 LOGSPACE 알고리즘이 있음을 암시하는 것으로 알려져 만족 할당을 얻을 때 입력으로 만족할 -2- SAT 인스턴스 주어진?L=NLL=NL\mathsf{L = NL} 그렇지 않다면, 서브 라인 공간을 사용하는 알고리즘은 어떻습니까?

15 sat  search-problem  logspace 

polytime Turing-machine / polysize 회로 대신 logspace Turing-machine 또는 A C 0 회로가 문제를 인코딩하도록 P P A D를PPAD{\bf PPAD} 정의하면 어떻게됩니까 ?AC0{\bf AC^0} 최근 소형 회로에 대한 회로 만족도에 대한 빠른 알고리즘을 제공 하는 것이 중요하다는 것이 밝혀 졌으므로 P P A D 의 반복 버전에 어떤 일이 발생하는지 …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

-1- 희미 Weisfeiler 리먼 알고리즘 (WL)은 일반적으로 표준 라벨 또는 색상 정제 알고리즘으로 알려져있다. 다음과 같이 작동합니다. 초기 착색 , 균일 C 0 ( V ) = 1 모든 꼭지점에 대한가 v에 ∈ V ( G ) ∪ V ( H를 ) .씨0씨0C_0씨0( v ) = 1씨0(V)=1C_0(v) = 1v ∈ …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

언어에 조언 다항식 양 언어를 결정하지 LOGSPACE 튜링 기계가 존재하는 경우.L/polyL/polyL/poly 자세한 내용은 여기를 참조하십시오 : https://en.wikipedia.org/wiki/L/poly 질문 의 결과는 무엇입니까 ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

질문. 논문 에서 안정기 회로의 개선 된 시뮬레이션 에서 Aaronson과 Gottesman은 CNOT 회로를 시뮬레이션하는 것이 (로그 스페이스 감소에서) 완전 하다고 주장했다 . 그것이 ⊕L에 포함되어 있음이 분명하다 . 경도 결과는 어떻게 유지됩니까? 동등하게 : 반복 행렬 곱 모듈로 2에서 기본 행렬 (행 변환을 실현하는 비가역 행렬) mod 2의 반복 곱으로 …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

것을 오메르 레인 골드의 증거 USTCON위한 알고리즘을 제공합니다 (AN에서 U는 특별한 정점과 그래프 ndirected 들 과 t을 그들이, 콘 에만 LOGSPACE를 사용하여 nected?). 기본 아이디어는 원래 그래프에서 확장기 그래프를 작성한 다음 확장기 그래프에서 보행을 수행하는 것입니다. 확장기 그래프는 원래 그래프를 대수적으로 제곱하여 만들어집니다. 익스팬더 그래프에서 직경은 로그 만이므로 로그 깊이에 …

13 graph-algorithms  nondeterminism  expanders  logspace 

PSPACE의 wikipedia 페이지에는 포함 이 엄격하지 않다고 언급 되어 있습니다 (불행히도 참조가 없음).NL⊂PHNL⊂PHNL\subset PH Q1 : 와 L ⊂ P # P 는 어떻습니까?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Q2 : 어떤 경우 설립 클래스가없는 가 들어 P # P 와 포함의 경우 어느 것이 알려져 있지 않다 L ⊂ C는 엄격하다?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C …

12 cc.complexity-theory  complexity-classes  logspace 

Mahaney 's Theorem은 다항식 다 대다 축소에서 희소 완전 세트 가 있으면 라고 말합니다 . ( " NP의 스파 스 전체 세트 : Berman과 Hartmanis의 추측 솔루션 "참조)NPNPNPP=NPP=NPP = NP 다른 복잡한 클래스에 대해 희소 한 완전한 세트가 존재하는 것으로 알려진 결과가 있습니까? 특히, 로그 공간 다원 감소 아래에 희소 …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace