「UP_(計算複雑性理論)」を解説文に含む見出し語の検索結果(21~30/98件中)
ブラムの加速定理(ぶらむのかそくていり、英: Blum's speedup theorem)は計算複雑性理論における計算可能関数の複雑性に関する基本定理であり、1967年にマヌエル・ブラムによって示さ...
ナビゲーションに移動検索に移動計算複雑性理論における PCP とは、確率的検査可能証明(probabilistically checkable proof)系を持つ決定問題の複雑性クラスである。目次1...
ナビゲーションに移動検索に移動計算複雑性理論における PCP とは、確率的検査可能証明(probabilistically checkable proof)系を持つ決定問題の複雑性クラスである。目次1...
ナビゲーションに移動検索に移動計算複雑性理論における PCP とは、確率的検査可能証明(probabilistically checkable proof)系を持つ決定問題の複雑性クラスである。目次1...
ナビゲーションに移動検索に移動計算複雑性理論における加速定理(かそくていり、英: speedup theorem)は、ある問題を解く算法に対し、同じ問題をより早く解く算法(また一般に、使用する...
ナビゲーションに移動検索に移動計算複雑性理論における加速定理(かそくていり、英: speedup theorem)は、ある問題を解く算法に対し、同じ問題をより早く解く算法(また一般に、使用する...
NL(えぬえる、英: Nondeterministic Logarithmic-space)は、計算複雑性理論における決定問題の複雑性クラスの一つである。非決定性チューリングマシンで対数規模の...
NL(えぬえる、英: Nondeterministic Logarithmic-space)は、計算複雑性理論における決定問題の複雑性クラスの一つである。非決定性チューリングマシンで対数規模の...
ナビゲーションに移動検索に移動デジタルリポジトリについては「DSpace」をご覧ください。DSPACE または SPACE は、計算複雑性理論における計算資源のうち空間的リソースを指し、決定性チューリ...
ナビゲーションに移動検索に移動デジタルリポジトリについては「DSpace」をご覧ください。DSPACE または SPACE は、計算複雑性理論における計算資源のうち空間的リソースを指し、決定性チューリ...