関数問題
FPに属するもののうち必ず解が存在するような問題のクラス。