算法思想 -- 分治算法

分治法介绍

　　在计算机科学中，分治法是建基于多项分支递归的一种很重要的算法范式。字面上的解释是“分而治之”，就是把一个复杂的问题分成两个或更多的相同或相似的子问题，直到最后子问题可以简单的直接求解，原问题的解即子问题的解的合并。（参考　：wiki分治法）　

分治法 & 数学

分治法本质上是数学归纳法，所以分治法的算法的正确性可以通过数学归纳法证明的方式来证明。

（PS: 动态规划也是数学归纳）

分治法正确性证明

算法的正确性证明方法一: 循环不变量
算法的正确性证明方法二: 结构归纳法

分治法关键步骤

循环递归

在每一层递归上都有三个步骤：
分解：将原问题分解为若干个规模较小，相对独立，与原问题形式相同的子问题。
解决：若子问题规模较小且易于解决时，则直接解。否则，递归地解决各子问题。
合并：将各子问题的解合并为原问题的解。
PS:
一般而言，合并（combine)是最难的部分。

划分方式举例

　　不同的划分方式，将会导致计算的复杂度，思考的难度，所以简洁，高效的划分方式十分有用。

总结

　　 【前n个为一个单位，只限制结尾】leetcode – 53. Maximum Subarray
　　 【i到j为一个单位，限制头尾】归并排序