probabilistically checkable proof
Noun
Meaning
probabilistically checkable proof (plural probabilistically checkable proofs) (abbreviated PCP)
(computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.