「P_(計算量理論)」を解説文に含む見出し語の検索結果(1~10/96件中)
co-NPとは計算量理論における問題クラスの一つである。概要co-NP は次の定義で表される問題のクラスである、「ある決定問題 S の補問題 がクラス NP に属する場合、 S はクラス co-NP ...
関数問題(かんすうもんだい、function problem)とは、計算量理論において、各入力に対してある出力を返す形式の問題をいう。評価問題とも呼ばれる。文字列上の写像で表される。主に判定問題(関数...
関数問題(かんすうもんだい、function problem)とは、計算量理論において、各入力に対してある出力を返す形式の問題をいう。評価問題とも呼ばれる。文字列上の写像で表される。主に判定問題(関数...
関数問題(かんすうもんだい、function problem)とは、計算量理論において、各入力に対してある出力を返す形式の問題をいう。評価問題とも呼ばれる。文字列上の写像で表される。主に判定問題(関数...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/16 01:19 UTC 版)「自動計画」の記事における「古典的プランニング」の解説古典的プランニング (Classi...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(2016年9月)多項式時間(たこうしきじかん)とは計算理論において多項式で表され...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(2016年9月)多項式時間(たこうしきじかん)とは計算理論において多項式で表され...
サヴィッチの定理(英: Savitch's theorem)とは、1970年にウォルター・サヴィッチが証明した計算量理論における定理である。f(n) ≥ log(n) であるような任意の関数 f につ...
サヴィッチの定理(英: Savitch's theorem)とは、1970年にウォルター・サヴィッチが証明した計算量理論における定理である。f(n) ≥ log(n) であるような任意の関数 f につ...
計算量理論におけるPとは、多項式時間(polynomial time)で解ける判定問題の集合である。定義判定問題のうち、ある決定性チューリング機械によって多項式時間で解かれるものの全体をPで表す。意義...
< 前の結果 | 次の結果 >