「算術的階層」を解説文に含む見出し語の検索結果(81～90/158件中)
計算複雑性理論において、複雑性クラス UP ("Unambiguous Non-deterministic Polynomial-time") とは、入力に対して高々1つの受容経路を持つ非決定性チュー...
ナビゲーションに移動検索に移動多項式階層（たこうしきかいそう、英: Polynomial hierarchy）は、計算量理論における計算量の階層であり、神託機械を使って P、NP、co-NP ...
ナビゲーションに移動検索に移動多項式階層（たこうしきかいそう、英: Polynomial hierarchy）は、計算量理論における計算量の階層であり、神託機械を使って P、NP、co-NP ...
.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...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/02/28 02:38 UTC 版)「複雑性クラス」の記事における「複雑性クラス一覧」の解説以下の一覧の各複雑性クラスには補...
2の平方根は底辺の長さが 1 の直角三角形の斜辺の長さに等しく、ゆえに作図可能数である非公式には、定義可能実数（ていぎかのうじっすう）とは説明によって一意的に定まる実数のことである。ここでいう説明とは...
計算可能性理論における極限計算可能関数(きょくげんけいさんかのうかんすう、英: limit computable function)とは、一様に計算可能な関数列の極限によって表せる関数をいう。
計算可能性理論における極限計算可能関数(きょくげんけいさんかのうかんすう、英: limit computable function)とは、一様に計算可能な関数列の極限によって表せる関数をいう。
数理論理学において記述集合論（英: descriptive set theory）はよい振る舞いを持つポーランド空間（例えば実数直線）の部分集合の研究である。集合論の主要な研究分野のひとつであ...