probabilistically checkable proof

Noun

(computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

Japanese Meaning

計算理論において、ランダムアルゴリズムを用いて得られる、計算上の定理または予想に対する合理的な証明。

The mathematician explained how the new probabilistically checkable proof reduced the verification time for large computational theorems.

その数学者は、新しいランダム化アルゴリズムで検証できる証明が大規模な計算定理の検証時間を短縮したことを説明した。

Sense（1）

(computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

probabilistically checkable proofs

（ plural ）

PCP

（ abbreviation ）