减治法

减治（decrease-and-conquer），顾名思义，就是将一个大的问题减小成若干个小问题，然后只需要解决其中的一个小问题，再建立起这个小问题与原来的大问题之间的联系即可，这与分治不同，分治是将一个大的问题减小成若干个小问题后，需要逐个解决这些小问题。

减治法主要有3种变化形式：

• 减常量
• 减常因子
• 减可变规模

减常量

减常量，即问题的规模每次都是减少一个常量，一般的，这个常量通常为1，如下即为减常量1的步骤：

这种形式其实非常常见，如求一个数的阶乘、求斐波那契数列、求幂乘等都用到了减常量的思想，这类问题一般都可以表示为如下形式的数学公式（以阶乘为例）：
$$f(n)=\{\begin{array}{l}f(n-1)\ast n，n>1\\ n，n=1\end{array}$$

那么如果用代码实现的话，自顶向下即为递归，自底向上即为迭代。

减常量的另一个实例即为排序算法中的插入排序，具体实现可以参考我的另一篇博文：《插入排序和希尔排序（shell sort）》

减常因子

减常因子，即问题的规模总是减少一个常因子的数量，一般的，这个常因子通常为2，而这又常常被称为减半，如下即为减半的步骤：

具体的实例有折半查找、二叉搜索树（树结构的折半查找）等，一般的，减半的思想实现的算法的时间复杂度通常为O(logn)。

具体可以参考我的另一篇博文：《折半查找》

减可变规模

减可变规模，顾名思义，问题的规模每次减少的数量可能都是不一样的，这里可以想想我们以前求两个数的最大公约数的方法，每次的除数其实都不一定是一样的。

具体实例可以参考我的另两篇博文：《计算中值——如何快速找到一个数组的中值》和《插值查找——一个比折半查找更好的查找算法》

参考资料

《算法设计与分析基础》第三版以及老师的课件