コンピューター用語辞典

日外アソシエーツ株式会社

probabilistically checkable proof<PCP>

確率的検査可能証明

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

日英・英日専門用語辞書

日中韓辭典研究所

probabilistically checkable proof

確率的検査可能証明

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Probabilistically checkable proof

PCP (計算複雑性理論)
計算複雑性理論における PCP とは、確率的検査可能証明（probabilistically checkable proof）系を持つ決定問題の複雑性クラスである。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Wiktionary英語版

出典：Wiktionary

probabilistically checkable proof

出典:『Wiktionary』 (2025/12/12 23:35 UTC 版)

名詞

probabilistically checkable proof (plural probabilistically checkable proofs)

  1. (computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.
    Alternative form: PCP
    Hypernym: proof

参考

  • probabilistically checkable proof on Wikipedia.Wikipedia

Probabilistically checkable proofのページの著作権