“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语言，当且仅当它的元素的成员资格验证具有多项式长度的证明，并且其正确性只需随机检查常数次位信息。
随便看	liquefied gas carrier liquefied gas propulision system liquefied natural gas liquefied natural gas carrier liquefied natural gas cold energy utilization liquefied natural gas container liquefied natural gas cylinders liquefied natural gas fueling station liquefied natural gas fuels and energy of fishing vessel liquefied natural gas (LNG) liquefied natural gas pomp liquefied natural gas receiving terminal liquefied natural gas transportation liquefied natural gas vaporizing station liquefied petroleum gas liquefied petroleum gas air mix liquefied petroleum gas piping supply liquefied petroleum gas pump liquefied petroleum gas storage liquefied petroleum gas storage and distribution station liquefied petroleum gas tank liquefied petroleum gasterminal liquefied petroleum gas transportation liquefied petroleum gas vaporizer liquefied sediment flow

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