归并排序算法（C#实现） - Eric Sun - 博客园
Excerpt
自顶向下的归并排序：是利用递归和分而治之的技术将数据序列划分成为越来越小的半子表，再对半子表排序，最后再用递归步骤将排好序的半子表合并成为越来越大的有序序列，归并排序包括两个步骤，分别为：1）划分子表 2）合并半子表
归并排序(Merge Sort)是利用”归并”技术来进行排序。归并是指将若干个已排序的子文件合并成一个有序的文件。归并排序有两种方式：1): 自底向上的方法 2):自顶向下的方法
1、 自底向上的方法
（1） 自底向上的基本思想
自底向上的基本思想是：第1趟归并排序时，将待排序的文件R[1..n]看作是n个长度为1的有序子文件，将这些子文件两两归并，若n为偶数，则得到n/2个长度为2的有序子文件；若n为奇数，则最后一个子文件轮空(不参与归并)。故本趟归并完成后，前n/2 - 1个有序子文件长度为2，但最后一个子文件长度仍为1；第2趟归并则是将第1趟归并所得到的n/2个有序的子文件两两归并，如此反复，直到最后得到一个长度为n的有序文件为止。
上述的每次归并操作，均是将两个有序的子文件合并成一个有序的子文件，故称其为”二路归并排序”。类似地有k(k>2)路归并排序。
2、自顶向下的方法(本文主要介绍此种方法，下面的文字都是对此种方法的解读)
（1） 自顶向下的基本思想
采用分治法进行自顶向下的算法设计，形式更为简洁。
自顶向下的归并排序：是利用递归和分而治之的技术将数据序列划分成为越来越小的半子表，再对半子表排序，最后再用递归步骤将排好序的半子表合并成为越来越大的有序序列，归并排序包括两个步骤，分别为：
1）划分子表
2）合并半子表
（1）分治法的三个步骤
设归并排序的当前区间是R[low..high]，分治法的三个步骤是：
①分解：将当前区间一分为二，即求分裂点
②求解：递归地对两个子区间R[low..mid]和R[mid+1..high]进行归并排序；
③组合：将已排序的两个子区间R[low..mid]和R[mid+1..high]归并为一个有序的区间R[low..high]。
递归的终结条件：子区间长度为1（一个记录自然有序）。
如下演示递归的整个过程：
递归便是深度遍历（如下由左至右进行遍历）：假设有这样的一列数组{9,8,7,6,5,4,3,2,1}进行划分的顺序如下：
{9,8,7,6,5,4,3,2,1} –> {9,8,7,6,5}，{4,3,2,1}
{9,8,7,6,5} –> {9,8,7}，{6,5}
{9,8,7} –> {9,8}，{7}
{9,8} –> {9}，{8}
{6,5} –>{6}，{5}
{4,3,2,1} –> {4,3}，{2,1}
{4,3} –>{4}，{3}
{2,1} –>{2}，{1}
当深度划分到左右数组都只剩1个元素的时候，进行上述逆序的合并：
{9}，{8} –> {8,9} 然后和 {7} –> {7,8,9}
{6}，{5} –> {5,6} 然后 {7,8,9}和{5,6} –> {5,6,7,8,9}
{2}，{1} –> {1,2}
{4}，{3} –> {3,4} 然后 {1,2}和 {3,4} –> {1,2,3,4}
最终{5,6,7,8,9}和{1,2,3,4} –> {1,2,3,4,5,6,7,8,9}
具体实现代码如下所示：
1 | <span>//</span><span>归并排序（目标数组，子表的起始位置，子表的终止位置）</span><span><br></span> <span>private</span> <span>static</span> <span>void</span> MergeSortFunction(<span>int</span>[] array, <span>int</span> first, <span>int</span> last)<br> {<br> <span>try</span><br> {<br> <span>if</span> (first < last) <span>//</span><span>子表的长度大于1，则进入下面的递归处理</span><span><br></span> {<br> <span>int</span> mid = (first + last) / <span>2</span>; <span>//</span><span>子表划分的位置</span><span><br></span> MergeSortFunction(array, first, mid); <span>//</span><span>对划分出来的左侧子表进行递归划分</span><span><br></span> MergeSortFunction(array, mid + <span>1</span>, last); <span>//</span><span>对划分出来的右侧子表进行递归划分</span><span><br></span> MergeSortCore(array, first, mid, last); <span>//</span><span>对左右子表进行有序的整合（归并排序的核心部分）</span><span><br></span> }<br> }<br> <span>catch</span> (Exception ex)<br> { }<br> }<br><br> <span>//</span><span>归并排序的核心部分：将两个有序的左右子表（以mid区分），合并成一个有序的表</span><span><br></span> <span>private</span> <span>static</span> <span>void</span> MergeSortCore(<span>int</span>[] array, <span>int</span> first, <span>int</span> mid, <span>int</span> last)<br> {<br> <span>try</span><br> {<br> <span>int</span> indexA = first; <span>//</span><span>左侧子表的起始位置</span><span><br></span> <span>int</span> indexB = mid + <span>1</span>; <span>//</span><span>右侧子表的起始位置</span><span><br></span> <span>int</span>[] temp = <span>new</span> <span>int</span>[last + <span>1</span>]; <span>//</span><span>声明数组（暂存左右子表的所有有序数列）：长度等于左右子表的长度之和。</span><span><br></span> <span>int</span> tempIndex = <span>0</span>;<br> <span>while</span> (indexA <= mid && indexB <= last) <span>//</span><span>进行左右子表的遍历，如果其中有一个子表遍历完，则跳出循环</span><span><br></span> {<br> <span>if</span> (array[indexA] <= array[indexB]) <span>//</span><span>此时左子表的数 <= 右子表的数</span><span><br></span> {<br> temp[tempIndex++] = array[indexA++]; <span>//</span><span>将左子表的数放入暂存数组中，遍历左子表下标++</span><span><br></span> }<br> <span>else</span><span>//</span><span>此时左子表的数 > 右子表的数</span><span><br></span> {<br> temp[tempIndex++] = array[indexB++]; <span>//</span><span>将右子表的数放入暂存数组中，遍历右子表下标++</span><span><br></span> }<br> }<br> <span>//</span><span>有一侧子表遍历完后，跳出循环，将另外一侧子表剩下的数一次放入暂存数组中（有序）</span><span><br></span> <span>while</span> (indexA <= mid)<br> {<br> temp[tempIndex++] = array[indexA++];<br> }<br> <span>while</span> (indexB <= last)<br> {<br> temp[tempIndex++] = array[indexB++];<br> }<br><br> <span>//</span><span>将暂存数组中有序的数列写入目标数组的制定位置，使进行归并的数组段有序</span><span><br></span> tempIndex = <span>0</span>;<br> <span>for</span> (<span>int</span> i = first; i <= last; i++)<br> {<br> array[i] = temp[tempIndex++];<br> }<br> }<br> <span>catch</span> (Exception ex)<br> { }<br> } |
对于N个元素的数组来说, 如此划分需要的层数是以2为底N的对数, 每一层中, 每一个元素都要复制到结果数组中, 并复制回来, 所以复制2N次, 那么对于归并排序,它的时间复杂度为O(N*logN), 而比较次数会少得多, 最少需要N/2次,最多为N-1次, 所以平均比较次数在两者之间. 它的主要问题还是在于在内存中需要双倍的空间.
