probabilistically checkable proofs

网络释义

1.	证明他提出可以利用计算机科学产生随机数列，实现可概率检查的证明(probabilistically checkable proofs)。交互式的证明与说服将 … www.docin.com
2.	概率验证模型被称为概率验证模型（probabilistically checkable proofs）。定义3（Fortnow et al.[24]）若M 是一个多项式时间概率图灵机并 … blog.sina.com.cn
3.	概率可验证证明 ... proofs)Raz (1998)；另一篇是关于概率可验证证明(probabilistically checkable proofs)Raz & Safra (1997). glossy.smartvehiclefinance.com