関数問題
関数問題(かんすうもんだい、function problem)とは、計算量理論において、各入力に対してある出力を返す形式の問題をいう。評価問題とも呼ばれる。文字列上の写像 Σ ∗ → Σ ∗ {\displaystyle \Sigma ^{*}\to \Sigma ^{*}} で表される。主に判定問題(関数問題のうち出力が { 0 , 1 } {\displaystyle \{0,1\}} であるようなもの)と対比して用いられることが多い。
決定問題である充足可能性問題と対比してこう書かれる。