「戸田の定理」を解説文に含む見出し語の検索結果(1～8/8件中)
戸田の定理(とだのていり、英: Toda's theorem)とは、1991年に戸田誠之助が証明した計算量理論における定理である[1]。戸田はこの功績により1998年のゲーデル賞を受賞...
計算複雑性理論における複雑性クラス PH とは、多項式階層にある全ての複雑性クラスの和集合である。次のように表される。 PH = ⋃ k ∈ N Δ k P ...
計算複雑性理論における複雑性クラス PH とは、多項式階層にある全ての複雑性クラスの和集合である。次のように表される。 PH = ⋃ k ∈ N Δ k P ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/27 03:33 UTC 版)「PP (計算複雑性理論)」の記事における「PPと他の複雑性クラスの比較」の解説上述の通...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
計算複雑性理論において、複雑性クラス PP とは、確率的チューリング機械で多項式時間で解ける決定問題の集合であり、その際に間違う確率は常に 1/2 未満である。PP は 確率的多項式時間 (proba...
ゲーデル賞 (Gödel Prize) は、理論計算機科学分野で優れた功績を残した人に、ACM（国際計算機学会）のアルゴリズムと計算量理論に関する部会とEATCS（ヨーロッパ理論コンピュータ学会）が贈...
< 前の結果 | 次の結果 >