«space-bounded» 태그된 질문

일반적인 질문 공간 계층 정리는 비 균일 계산으로 일반화됩니까? 몇 가지 더 구체적인 질문이 있습니다. 가 ?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⊊ …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

평균 사례 공간 복잡성이 분석 된 문제를 찾으려고합니다. 보다 구체적으로, 검증 된 공간 복잡도 하한에 초선 형인 문제가 있는지, 특히 평균 사례 분석 (예 : 알고리즘이 허용되는 경우에도 한계 보유)에 대해 알고 싶습니다. 적은 시간 동안 오류를 범하는 등) 미리 감사드립니다

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

공간을 구성 할 수 있지만 시간을 결정할 수없는 함수 을 표시하십시오 .f( n )f(n)f(n) 이 문제는 복잡성 클래스 DTIME (f (n))과 SPACE (f (n)) 사이의 가능한 분리와 관련이 있습니까?

10 cc.complexity-theory  space-bounded  separation 

업데이트 :이 문제는 최근에 연구되어 해결 된 것으로 보입니다 .http : //en.wikipedia.org/wiki/Tree_walking_automaton 및이 설문 조사 : http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf 일반적인 단어 집합 인 {0,1} * 대신에 우리의 단어가 선형이 아니라 일부 트리 구조에 있다고 가정 해 봅시다. 우리 기계가 "잃어 버리는"것을 방지하기 위해, 단어를 이진 임베디드 arborescence 세트로 정의하십시오. (따라서 모든 …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

경계 방문 비 결정적 선형 경계 오토마타는 일반 언어 만 인식합니까? 비결정론 적 선형 경계 오토 마톤 (nLBA)은 입력이 양 끝에 엔드 마커로 "채워져"덮어 쓰여질 수없는 단일 테이프 비결정론 적 튜링 머신을 의미하며, 헤드가 입력 영역 밖으로 이동할 수 없도록합니다. endmarkers "외부". 숫자가있는 경우 LBA는 경계 방문입니다 있도록 모두 에서 …

9 automata-theory  turing-machines  regular-language  space-bounded 

서브 세트 합계라고하는 NP-Complete Problem에는 FPTAS가있는 것으로 잘 알려져 있습니다. FPTAS도있는 PSPACE Complete 문제가 있는지 궁금합니다. 미리 감사드립니다.

9 ds.algorithms  space-bounded  big-picture