概率可检测证明定理

（计算机科学技术）

概率可检测证明定理（probabilistically checkable proofs theorem），计算机科学技术名词，非确定性多项式时间复杂性类和一个概率多项式时间验证者通过常数次随机查询证明表所识别的语言类相同。