対話証明としての定義とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 対話証明としての定義の意味・解説 

対話証明としての定義

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/14 08:31 UTC 版)

Arthur–Merlinプロトコル」の記事における「対話証明としての定義」の解説

証明者(Prover, P)を無限の計算能力を持つチューリングマシン検証者(Verifier, V)を確率的多項式時間チューリングマシンとする。PとVは互いに通信可能であり、P→Vの通信と、V→Pの通信それぞれ1-moveと数え合わせて1ラウンド対話と呼ぶ。Vは自分の持つランダムテープによって挙動確率的となるが、このテープをV→Pの通信の際に送る。PとVは同一入力xに対して、k-moveの通信後、Vが受理(accept)したとき、チューリングマシンペア(P,V)(x)はxを受理するとする。次の条件を満たすとき、言語Lに対するAM[k](V→Pから始めた場合。P→Vから始めた場合MA[k])対話プロトコル構成しているといい、言語LはAM[k](あるいはMA[k])に属する。 (完全性 completeness) x ∈ L {\displaystyle x\in L} ならば、 Pr ( ( P , V ) ( x )  accepts ) ≥ 2 / 3 {\displaystyle \Pr((P,V)(x){\mbox{ accepts}})\geq 2/3} (健全性 soundness) x ∉ L {\displaystyle x\not \in L} ならば、 ∀ P ∗ Pr ( ( P ∗ , V ) ( x )  accepts ) ≤ 1 / 3 {\displaystyle \forall P^{*}\Pr((P^{*},V)(x){\mbox{ accepts}})\leq 1/3}

※この「対話証明としての定義」の解説は、「Arthur–Merlinプロトコル」の解説の一部です。
「対話証明としての定義」を含む「Arthur–Merlinプロトコル」の記事については、「Arthur–Merlinプロトコル」の概要を参照ください。

ウィキペディア小見出し辞書の「対話証明としての定義」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「対話証明としての定義」の関連用語

1
6% |||||

対話証明としての定義のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



対話証明としての定義のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのArthur–Merlinプロトコル (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS