NP与更难的类别时，我们使用多项式时间多一归约。在多项式阶层中定义类别时，我们使用多项式时间图灵归约。当我们在类别P之内学习NC与NL类别时，我们使用对数空间归约。归约也用在可计算性理论中，以显示问题是否可不可被任何机器解决；在此情境下，归约仅侷限于可计算函数上。