«space-bounded» 태그된 질문

고전 논문 Munro와 Paterson 은 알고리즘이 무작위로 정렬 된 배열에서 중앙값을 찾는 데 얼마나 많은 저장 공간이 필요한지에 대한 문제를 연구합니다. 특히 다음 모델에 중점을 둡니다. 입력은 P 번 여러 번 왼쪽에서 오른쪽으로 읽습니다. 그것은 도시되는 의 메모리 셀은 충분하지만,이 하부 P = 1 만 알려져 결합 대응. P> 1에 …

18 ds.algorithms  space-bounded  data-streams 

시간 한정 양자 계산은 분명히 매우 흥미 롭습니다. 공간 한정 양자 계산은 어떻습니까? 나는 서브 로그 공간 경계와 다양한 종류의 양자 오토마타 모델로 양자 계산에 대한 많은 흥미로운 결과를 알고 있습니다. 다른 한편으로, 무한한 오류 확률과 양자 공간은 어떤 공간 구성 가능 대해 동등한 것으로 나타났다 (Watrous, 1999 and 2003 …

17 quantum-computing  space-bounded 

결정 론적 로그 스페이스 ( ) 에서 결정 가능한 모든 문제 는 최대 다항식 시간 ( P )으로 진행 된다는 것을 쉽게 알 수 있습니다. 많은 알려진 로그 공간 알고리즘 (예 : 방향이 지정되지 않은 st-connectivity, 평면 그래프 동형) 은 k 가 미치게 큰 O ( n k ) 에서 …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

분 j 알려져 ε 함수 -fool F를 경우 | E X ∈ U ( F ( X ) ) - E X ∈ D ( F ( X ) ) | ≤ ϵ . 그리고 해당 클래스의 모든 함수를 속이는 경우 함수 클래스를 속이는 것으로 알려져 있습니다. 것으로 알려져있다 ε …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

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이 사용하는 공간의 양은 종종 언어의 각 정규 슬라이스에 …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Nisan은 "공간 바운드 계산을위한 의사 난수 생성기"에서 공간 바운드 계산을 "가짜"하는 의사 랜덤 생성기가 있음을 증명했습니다. 이 구성은 모든 오라클에 적용됩니까 (적어도 비 적응 쿼리에 대해서는)?

16 cc.complexity-theory  space-bounded  derandomization 

문맥 인식 언어 (CSL)와 완전성 에 관한 두 가지 질문에 관심이 있습니다 . CSL에 대한 완전성이라는 개념이 있습니까? NP- 완전한 자연스러운 CSL이 있습니까? 2의 경우 CSL 인 NP 완전 언어를 확실히 생각할 수 있습니다 (CSL은 NSPACE [ ], SAT는 CSL이므로). NP 완성 언어를 설명하는 민감한 문법 .nnn

16 np-hardness  fl.formal-languages  space-bounded 

Kuroda의 고전적인 결과로, 복잡성 클래스 NSPACE [ ]엔nn (NLIN-SPACE라고도 함)는 상황에 맞는 언어 의 클래스 CSL입니다 . 만족도 문제 SAT 는 NSPACE [ ]에 있습니다. 솔루션에 대한 선형 크기 추정값은 기장을 위해 최대 선형 양의 오버 헤드로 확인할 수 있기 때문입니다. 이는 SAT에 상황에 맞는 문법 (CSG) 이 있어야 함을 …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Savitch 는 O ( log 2 n ) 공간을 사용하여 st-connectivity 를 해결하는 결정적 알고리즘을 제공 하여 N L ⊆ D S P A C E ( log 2 n )를 암시 합니다. Savitch의 알고리즘은 시간 2 O ( log 2 n ) 에서 실행됩니다 . st-connectivity가 다항식 시간과 O …

15 cc.complexity-theory  space-bounded 

우리는 종종 Turing 머신이 사용할 수있는 공간의 양에 한계가있는 복잡성 클래스를 고려합니다 (예 : DSPACE(f(n))DSPACE(f(n))\textbf{DSPACE}(f(n)) 또는 . 복잡도 이론 초기에는 공간 계층 정리와 및 와 같은 중요한 클래스를 만드는 등의 클래스에서 많은 성공을 거둔 것으로 보입니다 . 양자 계산에 대한 유사한 정의가 있습니까? 또는 양자 유사체가 흥미롭지 않은 명백한 이유가 …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

에스C나는에스ㅏ씨나는SAC^i 는 무한 팬인 OR 및 경계 팬인 AND 게이트 가있는 깊이 회로 제품군으로 해결할 수있는 결정 문제 클래스입니다 . 부정은 입력 레벨에서만 허용됩니다. 대한 는 보수로 닫히고 은 닫히지 않는 것으로 알려져 있습니다. 또한 이므로 기계 특성이 있습니다. LogCFL 은 공간 경계 및 다항식 시간 경계 보조 PDA에 의해 …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Immerman과 Szelepcsényi 덕분에 경우 (공간을 구성 할 수없는 함수 일지라도 라는 것이 알려져 있습니다.f = Ω ( 로그 )N S P A C E (f) = c o N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)에프= Ω ( 로그 )f=Ω(log)f=\Omega(\log) 같은 논문에서 Immerman은 로그 스페이스 대체 계층 구조가 …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

시간 계층 정리에 따르면 튜링 기계는 시간이 충분하다면 더 많은 문제를 해결할 수 있다고합니다. 공간이 무증상으로 제한되는 경우 어떤 방식으로 유지됩니까? 어떻게 DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) 에 관한 DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) 의 경우 fgfg\frac{f}{g} 는 충분히 빨리 자 랍니까? I는, 특히 그 경우에 관심이 s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = n^3 및 f(n)=2nf(n)=2nf(n) …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

고려 차원 벡터 V를 여기서 V I ∈ { 0 , 1 } . 각각의 i에 대해 우리는 p i = P ( v i = 1 )를 알고 있으며 v i 가 독립적 이라고 가정합시다 . 이러한 확률을 사용 하면 출력 크기에서 하위 라인 공간을 사용하여 가능성이 가장 낮은 …

12 ds.algorithms  space-bounded 

MPA (multipebble 오토 마톤)는 2DFA 실제로 최대 자갈 (임의의 개수를 사용할 수있다 (양방향 결정적 유한 오토 마톤을)은 주어진 입력 자갈 승 - 입력은 두 개의 단부 사이에서 테이프에 기록된다 - # w # )로 표시됩니다. 계산 중에 MPA는 헤드 아래의 심볼에 조약돌이 있는지 여부를 감지 한 다음 조약돌 (조약돌)이 없으면 …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded