「EXPSPACE」を解説文に含む見出し語の検索結果(1~10/82件中)
計算複雑性理論において、複雑性クラス EXPSPACE とは、決定性チューリング機械で O(2p(n)) の領域を使って解ける全決定問題の集合である。ここで、p(n) は n の多項式関数である。p(...
ナビゲーションに移動検索に移動この記事には複数の問題があります。改善やノートページでの議論にご協力ください。出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。(2021年7...
計算複雑性理論において、複雑性クラス R とは、チューリングマシンで解ける決定問題の集合であり、全ての帰納言語の集合に相当する。R はしばしば、「効率的に計算可能な」関数のクラスと言われる(チャーチ=...
計算複雑性理論において、複雑性クラス R とは、チューリングマシンで解ける決定問題の集合であり、全ての帰納言語の集合に相当する。R はしばしば、「効率的に計算可能な」関数のクラスと言われる(チャーチ=...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/28 03:19 UTC 版)「PSPACE」の記事における「その他の特性」の解説PSPACE は、交替性チューリング...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/02/28 02:38 UTC 版)「複雑性クラス」の記事における「複雑性クラス間の関係」の解説以下の表はいくつかの問題(ま...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/10/13 14:37 UTC 版)「P (計算複雑性理論)」の記事における「関連するクラス」の解説クラス NP - 提出さ...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(2016年4月)計算複雑性理論において、複雑性クラ...
計算複雑性理論において、複雑性クラス PR とは、全ての原始再帰関数の集合、あるいは原始再帰関数で決定される全ての形式言語の集合である。これには、加算、乗算、冪乗、tetration などが含まれる。
計算複雑性理論において、複雑性クラス PR とは、全ての原始再帰関数の集合、あるいは原始再帰関数で決定される全ての形式言語の集合である。これには、加算、乗算、冪乗、tetration などが含まれる。
< 前の結果 | 次の結果 >