「算術的階層」を解説文に含む見出し語の検索結果(11～20/158件中)
計算複雑性理論において、複雑性クラス R とは、チューリングマシンで解ける決定問題の集合であり、全ての帰納言語の集合に相当する。R はしばしば、「効率的に計算可能な」関数のクラスと言われる（チャーチ＝...
計算複雑性理論において、複雑性クラス R とは、チューリングマシンで解ける決定問題の集合であり、全ての帰納言語の集合に相当する。R はしばしば、「効率的に計算可能な」関数のクラスと言われる（チャーチ＝...
階層（かいそう）階 - 建築物の階の、上下の重なり。階層構造 - 複数の層が積み重なって全体を構成している状態、およびその個々の層。社会階層 - 社会を構成する人々をその社会的地位の序列で、いくつかの...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/28 03:19 UTC 版)「PSPACE」の記事における「その他の特性」の解説PSPACE は、交替性チューリング...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/28 15:11 UTC 版)「神託機械」の記事における「オラクルと停止問題」の解説計算不可能とされている計算を行う神...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/02/03 07:15 UTC 版)「K自明集合」の記事における「歴史と発展」の解説K自明集合の初期の研究は、主にK自明集合...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/10/13 14:37 UTC 版)「P (計算複雑性理論)」の記事における「関連するクラス」の解説クラス NP - 提出さ...
ポストの定理（英: Post's theorem）は、計算可能性理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。背景ポストの定理は定義可能性と再...
ポストの定理（英: Post's theorem）は、計算可能性理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。背景ポストの定理は定義可能性と再...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:09 UTC 版)「ポストの定理」の記事における「ポストの定理とその系」の解説ポストの定理は、算術的階層と...