“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语言，当且仅当它的元素的成员资格验证具有多项式长度的证明，并且其正确性只需随机检查常数次位信息。
随便看	云冈石窟戏台云凝结核云出版云制造云动力学云南云南三江并流保护区世界自然遗产云南东川泥石流云南中医药大学云南乌蒙山国家级自然保护区云南云龙天池国家级自然保护区云南元江国家级自然保护区云南农村戏曲史云南出版集团有限责任公司云南半细毛羊云南南滚国家级自然保护区云南古林箐省级自然保护区云南回民反清之战云南地区上座部佛教云南城沸泉云南壮剧演出仪式云南备征志云南大学云南大学城乡规划专业云南大学文化发展研究院