AM / MA和NP类似于P和BPP

Arora的和Barak表明可以表示为乙P ⋅ Ñ P，即该组已随机减少到3SAT语言。M A也是N P的自然随机化概括，因为您将确定性验证者替换为随机验证者。$\mathsf{AM}$$\mathsf{BP}\cdot \mathsf{NP}$$\mathsf{MA}$$\mathsf{NP}$

在“ P与BPP就像NP与BPP一样”中，有一种感觉更适合吗？关系 ？

$\mathbf{MA}$$\mathbf{P} = \mathbf{BPP}$$\mathbf{NP} = \mathbf{MA}$$\mathbf{NP} = \mathbf{AM}$$\mathrm{promise}\mathbf{P} = \mathrm{promise}\mathbf{BPP}$$\mathrm{promise}\mathbf{NP} = \mathrm{promise}\mathbf{MA}$$\mathrm{promise}\mathbf{NP} = \mathrm{promise}\mathbf{AM}$

$\mathbf{MA}$$\mathbf{BPP}$$\mathbf{AM}$$\mathbf{NP}$

这是AM的要点：对于复杂性类C，几乎-C被定义为相对于几乎每个预言体（几乎=概率1）在C中使用的语言集。然后，几乎-P = BPP和几乎-NP = AM。

换一种说法，如果您认为NP是多项式时间怀疑论者可以证明的内容，那么IP就是泛化。