，而FNP是指可以用非确定型图灵机在多项式时间里面可以解决的功能性问题（类似于决定性问题的NP）。对所有能在多项式时间内解决的的功能性问题，一定存在一个雷同的决定型问题，可以用多项式时间图灵归约将后者归约为前者的方式，解决这个功能性问题。举例，旅行推销员问题的决定型问题版本如下：给定这个决定性问题的解答，我们则可以解决旅行推销员问题如下：这个演算法将旅行推销员问题的时间复杂度放进FP内（可以在多项式时间之内，以决定性图灵机和一个能解决NP问题的神谕解决的问题），并且事实上是这个复杂度类的完备问题