句法复杂性类

已知的是，某些（非相对化）之间语法复杂类和具有以下属性，。我想知道是否存在（非相对化）句法复杂类，使得 ${\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

— Tayfun Pay
source

首先，大概您想要一个被认为严格位于PP和PSPACE之间的课程？否则，PP本身会起作用，PSPACE也会起作用。其次，除非您指定什么算作复杂性类，否则很难谈论这种复杂性类存在的含义。例如，如果PP \ neq PSPACE，则Ladner在PSPACE中有一种语言L，该语言L是PP难的，而不是PSPACE完整的。如果我们将L的闭环进行多次归约，则得出的“类”将满足您的问题。但显然这已经超出PP \ NEQ PSPACE没有额外的后果......

— 约书亚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$

— 2013年

$\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$

— 扬·约翰森（Jan Johannsen）
source

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

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

C H

$CH$

的确是正确的。好的

— Tayfun Pay