CSL은 와 동일합니다NSpace(n)

$\mathsf{N}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}(n)$

$\mathsf{NSpace}(n)$ (비 결정적 선형 공간). 밖에있는 언어 는 CSL이 아닙니다.NSpace(n)

$\mathsf{N}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}(n)$

$\mathsf{NSpace}(n)$

상황의 느낌을 얻으려면, 그 기억 , 심지어 TQBF을.SAT∈NSpace(n)

$SAT\in \mathsf{N}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}(n)$

$SAT \in \mathsf{NSpace}(n)$

결정 가능하지만 상황에 맞지 않는 다른 문제는 무엇입니까?

많은 문제가 있습니다. 보다 큰 복잡성 클래스에 대한 완료 모든 문제 할 것 (우리는 필요 P S의 페이지를 C 전자 때문에에 TQBF 같은 문제 N S의 P C 전자 ( N ) 에 대한 완료 P S의 P는 c 전자PSpace

$\mathsf{P}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}$

$\mathsf{PSpace}$PSpace

$\mathsf{P}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}$

$\mathsf{PSpace}$NSpace(n)

$\mathsf{N}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}(n)$

$\mathsf{NSpace}(n)$PSpace

$\mathsf{P}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}$

$\mathsf{PSpace}$(다항식 시간) 감소는 다항식에 의해 입력 크기를 폭파시킬 수 있기 때문입니다). 예제를 제공하면 문제를 포함하는 복잡성 클래스에 대한 하한을 증명할 수 있으며 이는 매우 어려운 작업입니다. 지금까지 우리가 알고있는 유일한 주요 방법은 대각 화입니다. 이는 직급이 클수록 직급이 클수록 소규모 학급을 시뮬레이션 할 수 있음을 의미합니다.

따라서 는 CSL이 아닌 언어의 자연스런 예를 찾기 시작하는 자연스러운 장소 인 것 같습니다.ExpSpace–hard

$\mathsf{E}\mathsf{x}\mathsf{p}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}\mathsf{\text{–}}\mathsf{h}\mathsf{a}\mathsf{r}\mathsf{d}$

$\mathsf{ExpSpace\text{-}hard}$

이 문제 클래스가 결정 가능한 EXPSPACE-hard와 동일합니까?

제에 의해 공간 계층 이론 에있는 언어가있는 가 아닌 N S에서 P C E ( N ) . 좋은 예를 요구한다면 정리는 대각선 화를 사용하여 작동하므로 이러한 조건을 만족시키는 언어는 매우 인공적이기 때문에 어려울 것입니다.NSpace(n2)

$\mathsf{N}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}(n^2)$

$\mathsf{NSpace}(n^2)$NSpace(n)

$\mathsf{N}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}(n)$

$\mathsf{NSpace}(n)$

와 N S p a c e ( n ) 을 분리하는 자연 문제에 대해 별도의 질문을하는 것이 좋습니다 .NSpace(n2)

$\mathsf{N}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}(n^2)$

$\mathsf{NSpace}(n^2)$NSpace(n)

$\mathsf{N}\mathsf{S}\mathsf{p}\mathsf{a}\mathsf{c}\mathsf{e}(n)$

$\mathsf{NSpace}(n)$

---

답변