则哪些数可整除 x？」另一个与上述两类问题相关的是最佳化问题（），此问题关心的是寻找特定问题的最佳答案。计算复杂度的领域中，分类可决定问题的依据在于此问题有多难被解决。在此标准下，所谓的难是以解决某问题最有效率的演算法所花费的计算资源为依据。在递回理论中，非决定性问题由图灵度决定，指的是一种在任何解答中隐含的不可计算性量词。计算性理论的研究集中在决定性问题上。在与功能性问题的等值问题中，并没有失去其普遍性。
定义.决定性问题指的是在一个数量为无限大的输入集合中，可产出任