概率可检测证明验证者

（计算机科学技术）
概率可检测证明验证者（probabilistically checkable proofs verifier），计算机科学技术名词，一个概率多项式时间算法 V ，它通过随机地查一个证明表Π中的少量几位来判定是否接受一个输入 x 。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》