“probabilistically checkable proofs theorem,PCP theorem”的概念、定义、翻译、参考文献-科学参考

probabilistically checkable proofs theorem,PCP theorem

Encyclopedia

理学计算复杂性释
probabilistically checkable proofs theorem,PCP theoremPCP定理
PCP是在交互式证明系统的基础上，通过增加一条随机带，使之具有带随机存储和神谕功能的概率可验证证明系统。PCP定理基于概率可验证计算模型给出了NP类语言（见非确定多项式时间NP类）的一种新的表示（特征）：一个语言是NP语言，当且仅当它的元素的成员资格验证具有多项式长度的证明，并且其正确性只需随机检查常数次位信息。

单词	probabilistically checkable proofs theorem,PCP theorem
释义	probabilistically checkable proofs theorem,PCP theorem Encyclopedia 理学计算复杂性释 probabilistically checkable proofs theorem,PCP theoremPCP定理 PCP是在交互式证明系统的基础上，通过增加一条随机带，使之具有带随机存储和神谕功能的概率可验证证明系统。PCP定理基于概率可验证计算模型给出了NP类语言（见非确定多项式时间NP类）的一种新的表示（特征）：一个语言是NP语言，当且仅当它的元素的成员资格验证具有多项式长度的证明，并且其正确性只需随机检查常数次位信息。
随便看	compound absorption compound addition compound additive manufacturing compound analysis compound angle compound atom compound channel compound/composite sand body compound control compound coral compound cryogenic refrigerator compound crystal compound decision problem compound derivative compound determinant compound dislocation compound distribution compound document forensics compound drawing compound drive drilling compounded compounded flavor compounded form compounded genus compounded linear system