Home / Dictionary / Probabilistically checkable proof

Probabilistically checkable proof Uncommon

Definition, synonyms and related words

Definitions
Noun
1

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

See Also
theorem randomized algorithm conjecture computational probabilistically checkable proofs
Related Terms
Rhyming Words
oof boof loof moof poof roof yoof hoof goof foof woof doof coof proof spoof snoof floof aloof kloof whoof
Compare
Probabilistically checkable proof vs