算法概述/思路
归并排序是基于一种被称为“分治”（divide and conquer）的策略。其基本思路是这样的：
1.对于两个有序的数组，要将其合并为一个有序数组，我们可以很容易地写出如下代码：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
//both a and b is ascend.
public void merge(int[] a, int[] b, int[] c){
int i=0,j=0,k=0;
while (i<=a.length && j<=b.length){
if (a[i]<=b[i]){
c[k++]=a[i++];
}
else{
c[k++]=b[j++];
}
}
while (i<=a.length){
c[k++]=a[i++];
}
while (j<=b.length){
c[k++]=b[j++];
}
}
|
容易看出，这样的合并算法是高效的，其时间复杂度可达到O(n)。
2.假如有一个无序数组需要排序，但它的两个完全划分的子数组A和B分别有序，借助上述代码，我们也可以很容易实现；
3.那么，如果A,B无序，怎么办呢？可以把它们再分成更小的数组。
4.如此一直划分到最小，每个子数组都只有一个元素，则可以视为有序数组。
5.从这些最小的数组开始，逆着上面的步骤合并回去，整个数组就排好了。
总而言之，归并排序就是使用递归，先分解数组为子数组，再合并数组。
例子
下面举例说明，假如要对数组a={2,1,3,5,2,3}进行排序，那么把数组划分为{2,1,3}和{5,2,3}两个子数组，这两个子数组排序后变为{1,2,3}和{2,3,5}，然后对这两个数组进行归并操作便得到最终的有序数组。代码实现如下：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
void sort(int[] a) {
int[] aux = new int[a.length]; //辅助数组
mergeSort(a, 0, a.length - 1, aux);
}
void mergeSort(int[] a, int lo, int hi, int[] aux) {
if (hi <= lo)
return;
int mid = lo + (hi - lo) / 2;
mergeSort(a, lo, mid, aux);
mergeSort(a, mid + 1, hi, aux);
merge(a, lo, mid, hi, aux);
}
void merge(int[] a, int lo, int mid, int hi, int[] aux) {
int i = lo, j = mid + 1;
for (int k = lo; k <= hi; k++) {
aux[k] = a[k];
}
for (int k = lo; k <= hi; k++) {
if (i > mid)
a[k] = aux[j++];
else if (j > hi)
a[k] = aux[i++];
else if (aux[i] <= aux[j])
a[k] = aux[i++];
else
a[k] = aux[j++];
}
}
|
另一种实现：自底向上的归并排序
在上面的实现中，相当于将一个大问题分割成小问题分别解决，然后用所有小问题的答案来解决整个大问题。将一个大的数组的排序划分为小数组的排序是自顶向下的排序。还有一种实现是自底向上的排序，即先两两归并，然后四四归并......代码实现如下：
|
1
2
3
4
5
6
7
8
9
10
|
void sort(int[] a) {
int N = a.length;
int[] aux = new int[N];
for (int sz = 1; sz < N; sz += sz) {
for (int lo = 0; lo < N - sz; lo += sz + sz) {
//在每轮归并中，最后一次归并的第二个子数组可能比第一个子数组要小
merge(a, lo, lo + sz - 1, Math.min(lo + sz + sz - 1, N - 1), aux);
}
}
}
|