Jump to content

probabilistically checkable proof

From Wiktionary, the free dictionary

English

[edit]

Noun

[edit]

probabilistically checkable proof (plural probabilistically checkable proofs) (abbreviated PCP)

  1. (computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

See also

[edit]
Retrieved from "https://en.wiktionary.org/w/index.php?title=probabilistically_checkable_proof&oldid=64675414"