“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语言，当且仅当它的元素的成员资格验证具有多项式长度的证明，并且其正确性只需随机检查常数次位信息。
随便看	比安基线汇比安基群比安基，V.V. 比安奇宇宙学比安居设计公司比定压热容比定容热容比容比察捷比察捷-拉夫连季耶夫方程比察捷-拉夫连季耶夫问题比察捷方程比察捷-萨马尔斯基问题比对比对试验比尔比尔−朗伯定律比尔人比尔公式比尔兹利公园比尔内布，J. 比尔分类比尔吉比尔图像比尔定律