-FNP是NP：给定X的搜索版本，以及针对NP问题的多项式时间证书验证算法，找到任何证书y。- FP是FNP中的一组问题，其中Y可以通过多项式时间图灵机找到。（ZOO）-FBQP是存在BQP算法的一组关系R，该算法在输入x上找到任何满足的y（x，y）⊆r。（Aaronson09 [1]）