对搜索型问题，需要返回解的具体形式或者“解不存在”。所以一个对formula_4的搜索型问题的算法自然的也是对formula_4的判定型问题的算法。反之，给定了一个formula_4的判定型问题的算法，是否存在formula_4的搜索型问题的算法，在可计算性理论和计算复杂性理论中有着不同的回答，这也是理解计算复杂性理论与它的前身可计算性理论不同的一个基本的观察。在可计算性理论中，可以说明，判定型问题和搜索型问题在可计算性的意义下是等价的（见Decision problem）。而在计算复杂性中，Khull