备问题，例如SAT问题，归约成显而易懂的问题，像借由效率为指数时间并在有解时输出整数零的机器，决定一数是否为零。但这并没有多少用处，因为我们可以执行如同解决旧问题一样难的归约以解决新问题。因此，依照复杂度类别使用适当归约符号的学问兴起。在钻研复杂度类NP与更难的类别时，我们使用多项式时间多一归约。在多项式阶层中定义类别时，我们使用多项式时间图灵归约。当我们在类别P之内学习NC与NL类别时，我们使用对数空间归约。归约也用在可计算性理论中，以显示问题是否可不可被任何机器解决；在此情境下，归约仅侷限于可计算函