関数問題
FNPに属するもののうち必ず解が存在するような問題のクラス。
決定性チューリングマシンにより多項式時間で解かれる関数問題のクラス。