対話型証明系を解説文に含む用語の検索結果

「対話型証明系」を解説文に含む見出し語の検索結果(1～10/83件中)

NP - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/12/15 06:53 UTC 版)「対話型証明系」の記事における「NP」の解説よく知られている複雑性クラス NP は非常に...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/12/15 06:53 UTC 版)「対話型証明系」の記事における「MIP」の解説IP 設計者の目標は最も強力な対話型証明系...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/12/15 06:53 UTC 版)「対話型証明系」の記事における「Arthur-Merlin プロトコルと Merlin-...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/12/15 06:53 UTC 版)「対話型証明系」の記事における「IP」の解説秘密硬貨は意味がないかもしれないが、確率的検...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/12/15 06:53 UTC 版)「対話型証明系」の記事における「PCP」の解説IP の設計者らは Babai の対話型証...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/28 03:19 UTC 版)「PSPACE」の記事における「その他の特性」の解説PSPACE は、交替性チューリング...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/12/15 06:53 UTC 版)「対話型証明系」の記事における「公開硬貨と秘密硬貨」の解説Babai がMAの証明系を定...

PSPACE とは計算複雑性理論における複雑性クラスの一つ、Polynomial SPACE の略である。概要PSPACEはチューリングマシンによって解くことができ、かつ使用するテープの長さの上限が問...

< 前の結果 | 次の結果 >