関数問題
出典: フリー百科事典『ウィキペディア(Wikipedia)』
関数問題(かんすうもんだい、function problem)とは、各入力に対してある出力を返す形式の問題をいう。計算問題とも呼ばれる。一般に計算理論で問題といった場合関数問題を指し、主に決定問題と対比して用いられることが多い。文字列上の写像で表される。また、決定問題は出力が{0,1}であるような関数問題の部分集合である。
[編集] 関数問題の主なクラス
- FP (Function P, P Search Problem)
- 決定性チューリングマシンにより多項式時間で解かれる関数問題のクラス。
- FNP (Function NP, NP Search Problem)
- 非決定性チューリングマシンにより多項式時間で解かれる関数問題のクラス。
- TFNP (Total FNP)
- FNPに属するものの内、必ず解が存在するような問題のクラス。
[編集] 主な関数問題
- 充足割り当て問題
- 決定問題である充足可能性問題と対比してこう書かれる。
- 最大クリーク問題
- 巡回セールスマン問題