機率可檢測證明驗證者

機率可檢測證明驗證者（probabilistically checkable proofs verifier）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：機率可檢測證明驗證者
• 外文名：probabilistically checkable proofs verifier
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

一個機率多項式時間算法 V ，它通過隨機地查一個證明表Π中的少量幾位來判定是否接受一個輸入 x 。

出處

《計算機科學技術名詞 》第三版。