一种关于AM的PCP特征描述
摘要：关于具有2轮随机约束满足问题的研究及其在复杂性类AM中的近似版本完备性的证明 AM类别中关于PCP的特征化类似于NP中的PCP定理 对于多项式层次的其他级别和PSPACE已经给出了类似的特征化结果；但对于AM类别，我们认为这个结果可能对于去随机化这个类别的尝试具有特殊的意义 为了验证这个观点，我们提出了与我们的随机CSP相关的“随机优化假设”，这些假设（根据我们的结果）会导致AM的崩塌结果；不幸的是，这些假设似乎过于强大，我们提供了反对它们的证据；在这个过程中，我们证明了，如果一些NP中的语言对于2^{Omega(n)}大小的电路具有平均困难度，则存在一些特别优雅形式的平均困难优化问题 我们的所有证明都使用了一种强大的PCP形式，即概率可检验的归约证明，并展示了它们的多功能性；我们还利用了已知的关于随机性有效的可靠性和困难度放大的结果；特别是，我们必须实质性地利用了Impagliazzo-Wigderson生成器；我们的分析依赖于最近关于展开器行走的Chernoff型定理。
作者：Andrew Drucker
论文ID：1002.3664
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-02-22