Definify.com

Definition 2024

probabilistically_checkable_proof

probabilistically checkable proof

English

Noun

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

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

See also

Similar Results