式问题（function problem）是一种，我们对任何一种输入都预期会有单一个输出，但是输出不像是决定性问题一样这么单纯。换句话说，输出不只YES跟NO。重要的范例像是旅行推销员问题，询问一张图是否有可以绕过每一点的不重复路径（输出为路径），以及整数分解，输出为输入的质因数。因为没有明显类比的语言，功能性问题比起决定型问题要难以研究。而且因为输出的可能变多，在解决输入输出之间的转换，功能性问题归约的过程也比较微妙。功能性问题也可以用像是决定性问题的方式来分成各种复杂度类。举例来说FP是指可以用确定