probabilistically checkable proof
probabilistically checkable proof · probabilistically checkable proofs
A reasonable proof of a computational theorem or conjecture obtained via a randomized…A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.
Meaning
1 sensesA reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.
Forms
plural: probabilistically checkable proofs| Singular | probabilistically checkable proof |
|---|---|
| Plural | probabilistically checkable proofs |
regular