신택 틱 복잡성 클래스

간의 통사 복잡성 클래스 일부 (비는-상대화) 것이 알려져 및 가지고 다음 특성, . 와 같이 ( 상대화되지 않은) 구문 복잡성 클래스 가 있는지 궁금합니다. ${\bf P}$ ${\bf PSPACE}$ ${\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE}$ ${\bf X}$ ${\bf PP} \subseteq {\bf X} \subseteq {\bf PSPACE}$ ? 복잡성 클래스 가 존재하거나 존재하지 않는 의미는 무엇입니까 ? ${\bf X}$

cc.complexity-theory complexity-classes

— 테이 펀 페이
소스

첫째, 아마도 당신은 거짓말을 믿고 클래스 원하는 엄격 PP와 PSPACE 사이를? 그렇지 않으면 PP 자체가 PSPACE와 마찬가지로 작동합니다. 둘째, 복잡성 클래스로 간주되는 것을 지정하지 않으면 이러한 복잡성 클래스의 존재에 대한 영향에 대해 이야기하기가 어렵습니다. 예를 들어 PP \ neq PSPACE 인 경우 Ladner에 의해 PSPACE에는 PP-hard이고 PSPACE-complete가 아닌 언어 L이 있습니다. 다수의 감축에서 L을 폐쇄하면 결과 "클래스"가 귀하의 질문을 충족시킵니다. 그러나 분명히 이것은 PP \ neq PSPACE 이외의 추가 결과는 없습니다 ...

— Joshua Grochow

@JoshuaGrochow 감사합니다! 어떻게하면 약

하지만

. Ladner의 다른 수업을받을 수 있습니까?

P = P P

${\bf P} = {\bf PP}$

P \neq P S P A C E

${\bf P} \neq {PSPACE}$

— Tayfun Pay

A ⪇_{m}^{p} B

$A \lneq_m^p B$

A ⪇_{m}^{p} C ⪇_{m}^{p} B

$A \lneq_m^p C \lneq_m^p B$

$\mathsf{CH}$

$\mathsf{C}_{0}\mathsf{P} := \mathsf{PP}$
$\mathsf{C}_{i+1}\mathsf{P} := \mathsf{PP}^{\mathsf{C}_{i}\mathsf{P}}$
$\mathsf{CH} := \bigcup_i \mathsf{C}_{i}\mathsf{P}$

$\mathsf{CH}$ $0$ $1$ $0,1,+,-,\cdot$

— 얀 요한센
소스

# P \cup # N P \cup . . .

${\bf\#P} \cup {\bf \#NP} \cup ...$

C H

$CH$

실제로 맞습니다. Ok

— Tayfun Pay