|
|
Definition of Probabilistically checkable proof
1. Noun. (mathematics) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Probabilistically Checkable Proof
Other Resources:
