「受理しそうだ」を解説文に含む見出し語の検索結果(1～10/12件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/12/15 06:53 UTC 版)「対話型証明系」の記事における「NP」の解説よく知られている複雑性クラス NP は非常に...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/14 08:31 UTC 版)「Arthur–Merlinプロトコル」の記事における「AMに属する問題」の解説グラフ非...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/01 18:40 UTC 版)「認証」の記事における「Authentication」の解説Authentication...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "認証" –...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "認証" –...
計算複雑性理論におけるArthur–Merlinプロトコル(Arthur–Merlin protocol)あるいは、Merlin–Arthurプロトコル(Merli...
計算複雑性理論におけるArthur–Merlinプロトコル(Arthur–Merlin protocol)あるいは、Merlin–Arthurプロトコル(Merli...
対話型証明系（たいわがたしょうめいけい、英: Interactive proof system）は、2者間のメッセージ交換によって計算をモデル化した計算模型であり、計算複雑性理論で使われる。2...
< 前の結果 | 次の結果 >