엄격한 포함을 알 수없는 LOGSPACE를 포함하는 큰 클래스

PSPACE의 wikipedia 페이지에는 포함 이 엄격하지 않다고 언급 되어 있습니다 (불행히도 참조가 없음). $NL\subset PH$

Q1 : 와 는 어떻습니까? $L\subset PH$ $L\subset P^{\#P}$

Q2 : 어떤 경우 설립 클래스가없는 가 들어 와 포함의 경우 어느 것이 알려져 있지 않다 엄격하다? $C$ $P^{\#P}$ $L\subset C$

Q3 : 그러한 포함은 문헌에서 논의됩니까?

cc.complexity-theory complexity-classes logspace

— 우카 쉬 그라 보브 스키
소스

Q2의 경우 PSPACE에 엄격하게 포함되어 있다는 의미입니까?

— Sasho Nikolov

AFAIK,

에 대한 유일한 구분 은 공간 계층 정리입니다. 질문에 언급 된 클래스 중 하나가 슈퍼 로그 스페이스를 시뮬레이트하여 엄격한 것으로 알려지지 않은 경우 알려진 것으로 생각하지 않습니다. (분리를 알지 못하는 것은 결과가 아니기 때문에 아마도 참조가없는 이유 일 것입니다.)

L

$\mathsf{L}$

— Kaveh

L

$\mathsf{L}$

{N C}^{1}

$\mathsf{NC}^1$

C

$C$

P^{# P}

$\mathsf{P}^{\mathsf{\# P}}$

P S P A C E

$\mathsf{PSPACE}$

질문 제목에 "가장 큰 수업"이라고 나와 있습니다. "최소 수업"을 의미하지 않습니까?

— Shaull

A C^{0} [6]

$AC^0[6]$

P^{# P}

$P^{\#P}$

이것은 내 마음에 드는 질문입니다.

$NL$ $\Sigma_{a(n)} P$ $a(n)$ $a(n)$

$NL$ $\Sigma_k P$ $k$ $NL \neq NP$

$NL = P^{\#P}$ $n^k$ $k$ $LOGSPACE \neq P^{\#P}$ $Mod_6 SAT$

$TC^0$ $P^{\#P}$ $NC^1 \neq P^{\#P}$ $TC^0 \neq NP$

— 라이언 윌리엄스
소스

T C

$\mathsf{TC}$

o (\log \log n)

$o(\log \log n)$

그래, 나도 이것에 대해 알고 있고 다른 참고 문헌들도 알고있다. 그러나 글을 쓰는 데 10 분 이상 걸리지 않는 요약 답변을 계속했습니다.

— Ryan Williams