에 이어 앞의 질문 , SAT에 가장 적합한 현재 공간 하한 은 무엇 입니까? 공간 하한이있는 경우 여기서는 이진 작업 테이프 알파벳 을 사용하는 Turing 기계에서 사용하는 작업 테이프 셀의 수를 의미합니다 . TM이 고정 된 수의 워크 테이프 셀을 시뮬레이션하기 위해 내부 상태를 사용할 수 있기 때문에 지속적인 추가 …
회문은 테이프 튜링 기계에서는 선형 시간으로 인식 할 수 있지만 단일 테이프 튜링 기계 에서는 인식 할 수 없다는 것이 잘 알려져 있습니다 (이 경우 필요한 시간은 2 차적 임). 선형 시간 알고리즘은 입력 사본을 사용하므로 선형 공간도 사용합니다.222 대수 공간 만 사용하여 멀티 테이프 튜링 머신의 선형 시간에 회문을 …
매트릭스 랭크, 고유 값 계산 등과 같은 일반적인 선형 대수 연산의 공간 복잡성에 대한 결과를 다루는 설문지 또는 책을 찾고 있습니다. 나는 시간이 아니라 작업 공간 복잡성을 의미하는 "공간 복잡성"부분을 강조합니다. 시간 결과를 추적하기가 더 쉽습니다. 문제에 대한 언급을 부탁드립니다. 감사.
Savitch의 정리는 충분히 큰 모든 함수 대해 이며 , 이것이 빡빡하다는 것이 수십 년 동안 공개 된 문제라는 것을 보여줍니다 .fNSPACE(f( n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DS피ㅏ씨이자형(에프(엔)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)에프에프f 우리가 다른 쪽 끝에서 문제에 접근한다고 가정하자. 간단히하기 위해 부울 알파벳을 가정합니다. 계산 가능한 언어를 결정하기 위해 TM이 사용하는 공간의 양은 종종 언어의 각 정규 슬라이스에 …
그들의 논문에서 대략적인 거리 Oracles 에서 Thorup과 Zwick은 가중 무지향 그래프에 대해 ( 2 k - 1 ) - 근사값을 반환 할 수 있는 크기 의 데이터 구조를 구성 할 수 있음을 보여주었습니다. 그래프에서 정점 쌍 사이의 거리.O ( k 값 N1 + 1 / k)영형(케이엔1+1/케이)O(k n^{1+1/k})( 2 k - …
일반적인 질문 공간 계층 정리는 비 균일 계산으로 일반화됩니까? 몇 가지 더 구체적인 질문이 있습니다. 가 ?L / P O 패 Y⊊ P에스피C이자형/ polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly 모든 공간 구성 가능 함수 에프( n )f(n)f(n) 에 대해 D S피C이자형( o ( f( N ) ) ) / P O 패 Y⊊ …
Elberfeld, Jakoby 및 Tantau 2010 ( ECCC TR10-062 )은 공간 효율적인 버전의 Bodlaender 정리를 증명했습니다. 그들은 가 최대 트리 폭인 그래프의 경우 로그 공간을 사용하여 폭 k 의 트리 분해를 찾을 수 있음을 보여주었습니다 . 공간 제한의 상수 계수는 k에 따라 다릅니다 . (Bodlaender의 정리는 상수 인자 에서 k 에 …