交互式证明

（计算机科学技术）

交互式证明（interactive proofs），计算机科学技术名词，定理证明的一种方式。一个交互式证明包含一个概率多项式时间验证者 V 和一个证明者 P ， P 试图说服 V 接受一个输入 x ， V 通过取个随机位，问 P个问题，来决定是否接受 x ，< V，P >( x )表示 V 最后的决定。