概念概率可检验证明定理 / PCP Theorem

PCP定理

复杂性理论里程碑定理，断言NP = PCP[O(log n), O(1)]，即任何NP问题的证明可编码为只需随机读取常数个比特即可高概率验证的格式，奠定了近似困难性理论的基础

时间轴 (近 90 天)

11月1日

PCP定理于上世纪90年代被证明。

待验证50%

11月1日

PCP定理表明NP = PCP[O(log n), O(1)]，即验证者使用O(log n)个随机比特和读取O(1)个证明比特。

待验证50%

11月1日

PCP定理奠定了近似困难性理论的基础，表明即使区分100%可满足和99%可满足也可能同样困难。

待验证50%

11月1日

唯一游戏猜想是PCP定理的一种加强形式，涉及一种特殊类型的标签覆盖实例。

待验证50%

PCP定理于上世纪90年代被证明。

PCP定理表明NP = PCP[O(log n), O(1)]，即验证者使用O(log n)个随机比特和读取O(1)个证明比特。

PCP定理奠定了近似困难性理论的基础，表明即使区分100%可满足和99%可满足也可能同样困难。

唯一游戏猜想是PCP定理的一种加强形式，涉及一种特殊类型的标签覆盖实例。