probabilistically checkable proof

English dictionary entry

Meanings

noun
  1. A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

Word forms

probabilistically checkable proof probabilistically checkable proofs

Related words

PCP
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.