“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语言，当且仅当它的元素的成员资格验证具有多项式长度的证明，并且其正确性只需随机检查常数次位信息。
随便看	福泽谕吉福海县福海县金塔斯山地草原类自然保护区福海金塔斯山地草原类草地自然保护区福清市福清核电站福清湾福特福特主义福特制福特圆福特基本区域福特定理福特-富尔克森方法福特富尔克森方法福特斯，C. 福特斯，M. 福特汽车博物馆福特-维勒近似福特，F.M. 福特，G.R. 福特，H. 福特，J. 福特，P.R. 福特，R.