在可计算性理论与计算复杂性理论中，所谓的归约是将某个转换为另一个问题的过程。可用归约法定义某些问题的复杂度类（因转换过程而异）。以直觉观之，如果存在能有效解决问题B的算法，也可以作为解决问题A的子程序，则将问题A称为「可归约」到问题B，因此求解A并不会比求解B更困难。一般写作A ≤ B，通常也在≤符号下标使用的归约类型（m：映射缩小，p：多项式缩减）。将一组问题归约到特定类型所产生的数学结构，通常形成预序关系，其等价类可用于定义求解难度和复杂度。
简易介绍.我们解题时常