「R_(計算複雑性理論)」を解説文に含む見出し語の検索結果(11～20/403件中)
計算複雑性理論において、複雑性クラス RE（recursively enumerable）とは、チューリングマシン（Turing machine）で有限時間内に 'yes' という解を得られる決定問題...
計算複雑性理論において、複雑性クラス RE（recursively enumerable）とは、チューリングマシン（Turing machine）で有限時間内に 'yes' という解を得られる決定問題...
ナビゲーションに移動検索に移動リチャード・エドウィン・スターンズRichard Stearns (2009)生誕 (1936-07-05) 1936年7月5日（82歳）研究機関ニューヨーク州立大学オー...
ナビゲーションに移動検索に移動リチャード・エドウィン・スターンズRichard Stearns (2009)生誕 (1936-07-05) 1936年7月5日（82歳）研究機関ニューヨーク州立大学オー...
計算複雑性理論において複雑性クラス E とは、決定性チューリング機械で 2O(n) の時間で解ける決定問題の集合である。これはすなわち、複雑性クラス DTIME(2O(n)) に等しい。E は類似のク...
計算複雑性理論において複雑性クラス E とは、決定性チューリング機械で 2O(n) の時間で解ける決定問題の集合である。これはすなわち、複雑性クラス DTIME(2O(n)) に等しい。E は類似のク...
記述計算量（きじゅつけいさんりょう、英: Descriptive complexity）は、有限モデル理論の一種であり、計算複雑性理論と数理論理学の一分野である。複雑性クラスを言語で表現するのに必要と...
記述計算量（きじゅつけいさんりょう、英: Descriptive complexity）は、有限モデル理論の一種であり、計算複雑性理論と数理論理学の一分野である。複雑性クラスを言語で表現するのに必要と...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（2016年4月）計算複雑性理論において、複雑性クラ...
NTIME(f(n)) とは、計算複雑性理論における複雑性クラスの表現法であり、非決定性チューリング機械を使って O(f(n)) の時間と無制限の空間（領域）を使って解くことが出来る決定問題の集合であ...