関数問題
非決定性チューリングマシンにより多項式時間で解かれる関数問題のクラス。