定義に関する補足
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/14 08:31 UTC 版)
「Arthur–Merlinプロトコル」の記事における「定義に関する補足」の解説
AMとMAの違いは、乱数を証明者が知ることができるか否かである。AMの場合、乱数が明らかになってから証拠を探すことができる(もはや証明者から見ると、確率的な挙動をしない)が、MAの場合は、検証者がどのように動くのか、証明者は知らない状態で、証拠を提示しなければならない。 また、健全性の定義は、 ∀ w ∈ { 0 , 1 } p ( | x | ) Pr r ∈ { 0 , 1 } q ( | x | ) ( M ( x , w , r ) = 0 ) ≥ 2 / 3 {\displaystyle \forall w\in \{0,1\}^{p(|x|)}\,\Pr _{r\in \{0,1\}^{q(|x|)}}(M(x,w,r)=0)\geq 2/3} 等としても同じことである。
※この「定義に関する補足」の解説は、「Arthur–Merlinプロトコル」の解説の一部です。
「定義に関する補足」を含む「Arthur–Merlinプロトコル」の記事については、「Arthur–Merlinプロトコル」の概要を参照ください。
ウィキペディア小見出し辞書の「定義に関する補足」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
このページでは「ウィキペディア小見出し辞書」から定義に関する補足を検索した結果を表示しています。
Weblioに収録されているすべての辞書から定義に関する補足を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から定義に関する補足を検索
Weblioに収録されているすべての辞書から定義に関する補足を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から定義に関する補足を検索 - 定義に関する補足のページへのリンク
