probabilistically checkable proof

Noun

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