En complejidad computacional, FNP (function NP o NP funcional) es la clase de complejidad que extiende la clase NP (la cual incluye exclusivamente problemas de decisión), hacia problemas computacionales de tipo funcional, es decir, aquellos que obtienen como salidas valores distintos de SÍ o NO.
Sin embargo, a pesar del nombre de la clase, técnicamente ésta no incluye funciones, sino relaciones binarias.