probabilistically checkable proof（計算理論において）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

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.

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

活用形複数形

plural of probabilistically checkable proof

日本語の意味

確率的検証可能証明（複数形）

Researchers continue to explore probabilistically checkable proofs to better understand the limits of efficient verification.

研究者たちは効率的な検証の限界をよりよく理解するために、確率的に検証可能な証明を研究し続けている。

Webで検索する