probabilistically checkable proof

名詞

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

日本語の意味

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

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

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

意味（1）

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

probabilistically checkable proofs

（ plural ）

PCP

（ abbreviation ）