1
是否存在任何已知的AM完全问题/是否已明确定义AM完全？
我很好奇Arthur-Merlin复杂度类中是否有完整的问题。图表非同构（GNI）似乎是一个问题的典型的例子在上午，但它可能不是一个完整的一个。 我想我还想知道AM是否明确定义了“完整”问题。由于AM = BP.NP，“减少”到AM似乎依赖于随机减少到3SAT，而不是我们用于确定性复杂性类别的Karp减少。因此，也许因为Karp归约法没有错误，“ Karp归结为AM问题”实际上没有任何意义，从而使我们使用“完全”问题的通常观念无效了吗？