「還元 (計算複雑性理論)」を解説文に含む見出し語の検索結果(21～30/58件中)
Stephen Cookスティーブン・クック2008年生誕 (1939-12-14) 1939年12月14日（85歳） アメリカ合衆国 ニューヨーク州バッファロー国籍 アメリカ合衆国研究分野計算機科学...
Stephen Cookスティーブン・クック2008年生誕 (1939-12-14) 1939年12月14日（85歳） アメリカ合衆国 ニューヨーク州バッファロー国籍 アメリカ合衆国研究分野計算機科学...
計算複雑性理論において、複雑性クラス EXPSPACE とは、決定性チューリング機械で O(2p(n)) の領域を使って解ける全決定問題の集合である。ここで、p(n) は n の多項式関数である。p(...
還元（かんげん、Reduction）とは、計算可能性理論や計算複雑性理論において、ある問題を別の問題に変換することを意味する。帰着、変換などとも呼ばれる。変換の仕方によっては、問題の複雑性クラスを定義...
複雑性クラス（ふくざつせいクラス、英: Complexity class）は、計算複雑性理論において関連する複雑性の問題の集合を指す。典型的な複雑性クラスは以下のように定義される。抽象機械 M...
チューリング還元（チューリングかんげん、英: Turing reduction）は、計算複雑性理論における還元の一種である。アラン・チューリングの名がつけられた還元であり、問題 A が問題 B...
神託機械（しんたくきかい、英: oracle machine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリン...
神託機械（しんたくきかい、英: oracle machine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリン...
神託機械（しんたくきかい、英: oracle machine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリン...
神託機械（しんたくきかい、英: oracle machine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリン...