「PSPACE完全」を解説文に含む見出し語の検索結果(21~30/48件中)
ナビゲーションに移動検索に移動多項式時間変換(たこうしきじかんへんかん、polynomial-time reduction)は計算量理論の一概念である。多項式時間帰着(たこうしきじかんきちゃく)、多項...
ナビゲーションに移動検索に移動多項式時間変換(たこうしきじかんへんかん、polynomial-time reduction)は計算量理論の一概念である。多項式時間帰着(たこうしきじかんきちゃく)、多項...
ナビゲーションに移動検索に移動多項式時間変換(たこうしきじかんへんかん、polynomial-time reduction)は計算量理論の一概念である。多項式時間帰着(たこうしきじかんきちゃく)、多項...
ナビゲーションに移動検索に移動多項式時間変換(たこうしきじかんへんかん、polynomial-time reduction)は計算量理論の一概念である。多項式時間帰着(たこうしきじかんきちゃく)、多項...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/02/28 02:38 UTC 版)「複雑性クラス」の記事における「複雑性クラス一覧」の解説以下の一覧の各複雑性クラスには補...
ナビゲーションに移動検索に移動EXPTIME(EXPとも)は、計算量理論において、チューリング機械で O(2p(n)) の時間で解ける全ての決定問題の集合である。なお、p(n) は n の多項式関数で...
ナビゲーションに移動検索に移動自動計画(じどうけいかく、英: Automated planning and scheduling)は、人工知能のテーマの1つであり、戦略や行動順序の具体化をする...
ナビゲーションに移動検索に移動自動計画(じどうけいかく、英: Automated planning and scheduling)は、人工知能のテーマの1つであり、戦略や行動順序の具体化をする...
STRIPS(Stanford Research Institute Problem Solver)とは、1971年、Richard FikesとNils John Nilssonが開発した自動計画に...
STRIPS(Stanford Research Institute Problem Solver)とは、1971年、Richard FikesとNils John Nilssonが開発した自動計画に...