“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语言，当且仅当它的元素的成员资格验证具有多项式长度的证明，并且其正确性只需随机检查常数次位信息。
随便看	罗素环缝罗素-福格特定理罗素集团罗素，B.A.W. 罗素，D. 罗素，H.N. 罗索罗索，F. 罗纳尔多，L.N.de L. 罗纹机罗纹组织罗细杏罗经罗维罗维朋比色计罗维纳，H. 罗维，R. 罗缎罗罗罗罗斯罗罗腔罗群罗联添罗聘罗聘人物山水册