c语言峰值算法_以C语言实现归并排序为例，谈谈五大常用算法之一的“分治法”...

五大常用算法之分治算法

分治算法的通俗理解

一般来说，规模小的问题比规模大的问题解决起来简单，例如数组排序问题，只有 2 个元素的数组处理起来要比有 2000 个元素的数组简单。这是分治算法的基本立足点，也是使用条件之一，总结一下就是，对于一个规模较大的问题，可以拆分成若干不相关的子问题，并且子问题解决起来更加简单。分治算法在我们日常生活中无处不在，例如国家依次划分为省市县镇村来管理，本质上也是因为解决“子问题”(管理村)要简单许多。

有这样一个非常经典的问题：生产线生产了 99 个工件，其中 1 个工件是劣品，比其他 98 个工件质量轻一些，如果用天平称，至少多少次一定能找到这个劣品工件？

要解决这个问题，最简单粗暴的方法是逐个比较，如果第 x 个工件比第 y 个工件轻，第 x 个工件就是劣品。那么 99 个工件至少需要比较 50 次才能确保一定找到劣品。

逐个比较将 99 个工件等分为 3 份，每份 33 个工件；

比较第 1、2 份，如果天平平衡，那么劣品必定在第 3 份中，否则劣品在轻的那一份中；

将劣品所在的那一份再等分为 3 份，每份 11 个工件；

重复第 2 步；

将劣品所在那一份再分为 3 份，每份分别为 3、3、2 个工件；

重复第 2 步；

不管劣品所在那一份为 3 个工件还是 2 个工件，只需再比较一次，就可找到劣品。

可见，使用分治算法只需要比较 4 次就可以找到劣品，这远低于逐个比较法的 50 次。不过也应该注意到，使用分治法找劣品时，每次拆分子问题时，各个子问题是互不干扰的——例如其中一份的 33 个工件质量不会影响其他份的 33 个工件质量。

归并排序法

从前面这个简单的实例可以看出，分治法有时的确能够极大的提升解决问题的效率，事实上，在C语言程序开发中，许多优秀的算法本质上都是基于分治思想的，一个非常典型的例子就是归并排序法，它在处理数组排序时有着不错的效率。

在处理数组排序时，如果数组中只有 1 个元素，那么该数组本身就可看作是排好序的数组。如果数组中有 2 个元素，那么最多只需比较一次就可以得到排好序的数组。这其实是归并排序法的核心，也即规模越小的数组，对其排序越简单。下图是一个长度为 5 的数组，为了排序，先把它拆分到不能继续拆为止。

拆分到不能继续拆

显然，“拆分到不能继续拆”后，子问题已经变成了只有 1 个元素的数组，这样的数组已经是“排好序”的数组了。按照我们前面讨论的，现在需要做的就是把这些已经排好序的子数组合并，问题转化为：按照顺序合并有序数组，如下图所示：

按照顺序合并有序数组

归并排序的C语言实现

否则，我们将继续拆分子数组(start, mid)和(mid+1, end)，这一过程的C语言代码如下：关于 divide() 递归函数的理解，我之前的这篇文章详细讨论过。

搞定拆分模块后，再来看看合并模块。按照前面讨论的，拆分到“不能拆为止”的都可认为是已经排好序的子数组，所以合并模块要按照顺序(本例从小到大)将子数组合并：

C语言代码1

我们先将要合并的拆分后的两个子数组分别保存在 left 和 right 数组里，应注意，这里使用了C语言的变长数组语法，因此在编译时要指定-std=c99选项。接着，我们逐个比较 left 和 right 中的元素，按照顺序填入 arr，这一过程的C语言代码如下所示：

C语言代码2

执行完毕后，left 和 right 中可能还有剩余元素，这些剩余元素必定是需要放在 arr 后部分的，因此C语言代码可以如下写：

C语言代码3

到这里，merge() 函数就完成了，将之与 divide() 函数组合起来，也即：

C语言代码4

现在 divide() 函数便可对输入的数组 arr 排序了。

测试归并排序法

这里使用 8 个元素的数组做测试：

C语言代码5

编译并执行这段C语言代码，得到如下输出：

归并排序算法的时间复杂度

在计算过程中，累加和比较的过程是关键操作，一个长度为 n 的数组在递归的每一层都会进行 n 次操作，分治法的递归层级在 logN 级别，所以整体的时间复杂度是 O(nlogn)。

归并排序法是一个效率不错的排序算法，可能时间复杂度看起来不是特别直观，我们将之与简单粗暴的“冒泡排序算法”对比，在我的机器上分别对不同规模的数组排序，得到如下结果：

排序效率对比

冒泡排序算法是比较简单的算法，在处理规模较小的数组时和归并排序法的效率不相上下，但是在处理规模较大的数组时，冒泡排序算法的效率逐渐远离归并排序了，且数组的规模越大，二者的效率差异越大，在处理 100 万个数组元素时，归并排序算法仅消耗 230 毫秒就处理完毕了，而冒泡排序算法在执行 2 分钟后仍然还没有完成，我没有耐心等下去，提前结束它了。

小结

分治法是解决问题的优秀思想，不仅在现实生活中，在程序开发中更是如此，本文主要通过归并算法实例讨论了这一点。不过应该注意，使用分治法解决问题时，问题应该满足以下条件：问题可以拆分为若干类似的彼此不干扰的子问题

问题规模缩小时，更容易解决

子问题的解可以合并为原始问题的解

显然，这些条件是容易理解的。

点个关注再走吧

欢迎在评论区一起讨论，质疑。文章都是手打原创，每天最浅显的介绍C语言、linux等嵌入式开发，喜欢我的文章就关注一波吧，可以看到最新更新和之前的文章哦。

彭帅编程：学习C语言有必要吗？​zhuanlan.zhihu.com