|
関数問題(かんすうもんだい、function problem)とは、計算量理論において、各入力に対してある出力を返す形式の問題をいう。評価問題とも呼ばれる。文字列上の写像で表される。主に判定問題(関数問題のうち出力がであるようなもの)と対比して用いられることが多い。 == 関数問題の主なクラス == ; FP (Function P, P Search Problem) : 決定性チューリングマシンにより多項式時間で解かれる関数問題のクラス。 ; FNP (Function NP, NP Search Problem) : 非決定性チューリングマシンにより多項式時間で解かれる関数問題のクラス。 ; TFP (Total FP) : FPに属するもののうち必ず解が存在するような問題のクラス。 ; TFNP (Total FNP) : FNPに属するもののうち必ず解が存在するような問題のクラス。 ; PLS (Polynomial Local Search) ; PPP (Polynomial Pigeonhole Principle) ; PPA (Polynomial Parity Argument) ; PPAD (Polynomial Parity Argument with Directed graph) : PLS以下、TFNPに含まれるより具体的な問題のクラス。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「関数問題」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Function problem 」があります。 スポンサード リンク
|