Immerman과 Szelepcsényi 덕분에 경우 (공간을 구성 할 수없는 함수 일지라도 라는 것이 알려져 있습니다.f = Ω ( 로그 )N S P A C E (f) = c o N S P A C E ( f)

$\mathrm{N}\mathrm{S}\mathrm{P}\mathrm{A}\mathrm{C}\mathrm{E}(f)=\mathrm{c}\mathrm{o}\mathrm{N}\mathrm{S}\mathrm{P}\mathrm{A}\mathrm{C}\mathrm{E}(f)$

${\rm NSPACE}(f)={\rm coNSPACE}(f)$에프= Ω ( 로그 )

$f=\mathrm{\Omega }(\log )$

$f=\Omega(\log)$

같은 논문에서 Immerman은 로그 스페이스 대체 계층 구조가 붕괴 이는 (경계 대체 터링 머신의 정의와 wikipedia 에서 찾을 수있는 계층 입니다.Σ제이SPACE(log)=NSPACE(log)

${\mathrm{\Sigma }}_j\mathrm{S}\mathrm{P}\mathrm{A}\mathrm{C}\mathrm{E}(\log )=\mathrm{N}\mathrm{S}\mathrm{P}\mathrm{A}\mathrm{C}\mathrm{E}(\log )$

$\Sigma_j{\rm SPACE}(\log)={\rm NSPACE}(\log)$

에 대한 대체 공간 계층에 대한 논문이 있습니까? 나는 지난주에 그런 것을 읽는 것을 기억하지 못하는 Immerman에게 물었다. 영어로 나는 교대 와 함께 튜링 머신에 의해 결정될 수있는 언어를 사용하는 것이 동일한 공간 경계를 가진 비결정론 적 튜링 머신에 의해 결정될 수 있다는 서면 증거가 있는지 알고 싶습니다 .jf=Ω(log)

$f=\mathrm{\Omega }(\log )$

$f=\Omega(\log)$j

$j$

$j$

내 질문은 실제로 증거를 찾은 것 같아서 참조를 찾는 것에 관한 것입니다. 하지만 이미 알려진 것 같습니다.

아마도 두 가지 주요 문제라고 생각하는 것을 말해야 할 것입니다. 첫 번째 경우에 ,하자 말 , 그럼으로 구성하는 것은 불가능하다 얻는에 TM 우리가 할 수있는 TM, TM을 . 둘째, 경우 대한 하나의 인수 와 대한 하나의 인수가 있지만 또는 이 아닌 fonction에는 여전히 몇 가지 문제가 있습니다 .f = log 2 S P A C E ( f ) S P A C E ( f ) L O G S P A C E f = O ( n ) f = Ω ( n ) O ( n ) Ω ( n )f=O(n)

$f=O(n)$

$f=O(n)$f=log2

$f={\log }^2$

$f=\log^2$SPACE(f)

$SPACE(f)$

$SPACE(f)$SPACE(f)

$SPACE(f)$

$SPACE(f)$LOGSPACE

$\mathrm{L}\mathrm{O}\mathrm{G}\mathrm{S}\mathrm{P}\mathrm{A}\mathrm{C}\mathrm{E}$

$\rm{LOGSPACE}$f=O(n)

$f=O(n)$

$f=O(n)$f=Ω(n)

$f=\mathrm{\Omega }(n)$

$f=\Omega(n)$O(n)

$O(n)$

$O(n)$Ω ( n )

$\mathrm{\Omega }(n)$

$\Omega(n)$

---

---

답변