请输入您要查询的字词:
单词
PCP定理
释义
PCP定理
Encyclopedia
理学
计算复杂性
释
probabilistically checkable proofs theorem,PCP theorem
PCP定理
PCP是在交互式证明系统的基础上,通过增加一条随机带,使之具有带随机存储和神谕功能的概率可验证证明系统。PCP定理基于概率可验证计算模型给出了NP类语言(见非确定多项式时间NP类)的一种新的表示(特征):一个语言是NP语言,当且仅当它的元素的成员资格验证具有多项式长度的证明,并且其正确性只需随机检查常数次位信息。
Computer
理论计算机科学
可计算性与计算复杂性
释文
probabilistically checkable proofs theorem
概率可检测证明定理
随便看
Collected Explanation of Words in Classical Novels
Collected Explanation of Words in Operas
Collected Facial Masks of Peking Opera
Collected Facial Paintings of Classical Chinese Opera
Collected Famous Writings on Painting Through the Ages
Collected Folk Songs of Bamboo Slips Collected by Shanghai Museum
Collected Hebe Bangzi Opera Series
Collected Inscriptions From the Swift Rain Hall
Collected Libretti, Scores and Spoken Parts of Kunqu Opera
Collected Lüshi Poems of the Tang and Song Dynasties
Collected Manchu Book
Collected Materials on Errentai in Inner Mongolia
Collected Notes by Wang Zhi
Collected Notes on Ming Drama
Collected Notes on Painting from the Footstep Garden
Collected of Sun Baigu
Collected Papers of a Symposium on the Tune Varieties of Bangzi Opera
Collected papers of Chinese Modern Literature research
Collected Papers of Folk Literature and Art
Collected Papers on Ancient Drama
Collected Papers on the Theory of Stage Art: 1949-1966
Collected Passages of Mei Lanfang’s Peking Opera Plays
Collected Pepers of Chinese Modern Literature
Collected Photos and Records on Mei Lanfang’s Glorious Career
Collected Plays from the Nuanhong studio
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/2/1 0:01:08