probabilistically checkable proof

== English == === Noun === probabilistically checkable proof (plural probabilistically checkable proofs) (computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm. Alternative form: PCP Hypernym: proof ==== See also ==== probabilistically checkable proof on Wikipedia.Wikipedia