概率可检测证明验证者

概率可检测证明验证者（probabilistically checkable proofs verifier），计算机科学技术名词，一个概率多项式时间算法 V ，它通过随机地查一个证明表Π中的少量几位来判定是否接受一个输入 x 。