算法设计方法------分治法(分而治之)简介

1. 分而治之(divide-and-conquer)(分治法)可能是最著名的通用算法设计技术了。虽然它的名气可能和它那好记的名字有关，但它的确是当之无愧的：很多非常有效的算法实际上就是这个通用算法的特殊实现。"分治"名字本身就已经给出了一种强有力的算法设计技术，它可以用来解决各类问题。

2. 分治法是按照以下方案工作的：

（1）将待解决问题的实例划分为同一个问题的两个或多个较小的实例，较小问题最好拥有同样的规模。

（2）对这些较小问题的实例求解(一般使用递归方法，但在问题规模足够小时，也会利用另一个算法)。

（3）如果必要的话，合并这些较小问题的解，以得到原始问题的解。

如果较小的问题规模还是太大，难以轻松解决，就可以针对每个较小的问题再进行划分，一直持续划分过程，知道问题规模小到可以轻松解决为止。在设计分而治之算法时，我们通常将它编写为递归过程。在此之后，我们有时可以为该算法设计一个更高效的迭代版本。

3. 不是所有的分治算法都一定要比蛮力求解算法更高效。但是，通常使用分治算法所用的时间往往比其他方法要少。实际上，分治法孕育了计算机科学中许多最重要和最有效的算法。虽然，许多这类算法的经典例子大部分都为顺序算法，但应该知道，分治法对于并行计算也是非常理想的，因为各个子问题都可以由各自的CPU同时计算。

4. 在分治算法最典型的应用中，问题规模为n的实例往往被划分为两个规模为n/2的实例。更一般的情况下，问题规模为n的实例被划分为b个规模为n/b的实例(其中a个实例需要求解,a>=1,b>=1,a,b为常量)。从理论上分析分治算法运行时间的过程中，往往使用递推公式进行数学分析(离散数学中的递推关系)。为了简化分析，我们假设n是b的幂，对于算法的运行时间T(n)，我们有以下递推式:  T(n) = aT(n/b) + f(n) (f(n)是一个函数，表示将b个较小规模问题的解合并起来所消耗的时间)，该递推公式被称为通用分治递推式。显然，T(n)的增长次数取决于常量a和b以及f(n)的增长。