概率可检测证明

（计算机科学技术）

概率可检测证明（probabilistically checkable proofs，PCP），计算机科学技术名词，交互式证明的一种情形，其中证明者对验证者的回答只跟当前所问问题有关，证明者可以把验证者所有可能问的问题列成一个函数表，称为证明，而验证者只需针对所问问题去查证明表。