是否存在任何已知的AM完全问题/是否已明确定义AM完全？

我很好奇Arthur-Merlin复杂度类中是否有完整的问题。图表非同构（GNI）似乎是一个问题的典型的例子在上午，但它可能不是一个完整的一个。

我想我还想知道AM是否明确定义了“完整”问题。由于AM = BP.NP，“减少”到AM似乎依赖于随机减少到3SAT，而不是我们用于确定性复杂性类别的Karp减少。因此，也许因为Karp归约法没有错误，“ Karp归结为AM问题”实际上没有任何意义，从而使我们使用“完全”问题的通常观念无效了吗？

由于AM = BP.NP，“减少”到AM似乎依赖于随机减少到3SAT，而不是我们用于确定性复杂性类别的Karp减少。

$\mathbb{C}$$\mathrm{A}\in \mathbb{C}$$\mathrm{B}\in \mathbb{C}$$\mathrm{B} \leq_p \mathrm{A}$$\mathrm{A}$$\mathbb{C}$

$\mathrm{AM}$$\mathrm{AM}$$\mathrm{AM}$

参见mathoverflow.net/questions/34469和cstheory.stackexchange.com/questions/1233; 简而言之，AM的定义依赖于promise，因此很难定义归约。– sdcvvc

$\mathrm{AM}$$\mathrm{BPP}$$\mathrm{RP}$$\mathrm{co}$$\mathrm{RP}$$\mathrm{ZPP}$$\mathrm{PP}$$\mathrm{MAJ}$$\mathrm{SAT}$