probabilistically checkable proof
plural of bookland
present participle of feminise
(computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.
plural of bialgebroid
その数学者は、新しいランダム化アルゴリズムで検証できる証明が大規模な計算定理の検証時間を短縮したことを説明した。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★