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

单词	probabilistically checkable proofs theorem,PCP theorem
释义	probabilistically checkable proofs theorem,PCP theorem Encyclopedia 理学计算复杂性释 probabilistically checkable proofs theorem,PCP theoremPCP定理 PCP是在交互式证明系统的基础上，通过增加一条随机带，使之具有带随机存储和神谕功能的概率可验证证明系统。PCP定理基于概率可验证计算模型给出了NP类语言（见非确定多项式时间NP类）的一种新的表示（特征）：一个语言是NP语言，当且仅当它的元素的成员资格验证具有多项式长度的证明，并且其正确性只需随机检查常数次位信息。
随便看	agricultural regionalization agricultural regional structure policy agricultural remnant membrane agricultural remote sensing agricultural residues agricultural resource and environment Agricultural Resource and Environment Sciences agricultural resource distribution agricultural resources agricultural resources environment agricultural robot agricultural rodent control Agricultural Rodent Pests in Southwest China agricultural scale operation agricultural science and technology agricultural science and technology achievements agricultural science and technology extension organization agricultural science and technology extension system agricultural science and technology innovation system agricultural science and technology progress agricultural scientific research system agricultural socialized service organization agricultural soil and water resources utilization agricultural soil environmental survey agricultural solid waste

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。