天下事，合久必分，分久必合。合并排序的基本思想正是先分再合。

例如对3, 1这个数列排序，首先是分，分为3和1两个数列，然后再合并并排序。合并需要额外的辅助空间，即建立一个两个数列长度之和的空数组用于存储合并结果。

合并分为三步：

1）两个数列在起始位置各分配一个"指针"，对比指针位置的数字，取较小的数字存入辅助数组。数字被移出的一侧，指针右移一格，再次比较两个指针位置的数字，直到某一侧的指针移出数组以外结束。

2）把左侧数组剩余的数字按顺序移动到辅助数组中

3）把右侧数组剩余的数字按顺序移动到辅助数组中

过程如下图：

下面把两个数组的长度都增加到2，再看一下合并过程：

观察一下这个流程可以看出，这种合并排序的前提是左右两个数列本身是有序的。所以如果对4, 2,  3, 1排序，拆成4, 2和3, 1两个数列显然是不行的，需要继续拆分4, 2为4和2，然后合并为2, 4；拆分右侧为3, 1，然后合并成1, 3。最后合并2, 4和1, 3。

以4, 3, 6, 2, 7, 1, 5为例，完整的排序过程如下图：

来看代码：

 

import java.util.Arrays;

/**
 * 合并排序法
 * Created by autfish on 2016/9/20.
 */
public class MergeSort {

    public static void main(String[] args) {
        int[] numbers = new int[] {          4, 3, 6, 2, 7, 1, 5};
        System.out.println("排序前: " + Arrays.toString(numbers));

        MergeSort ms = new MergeSort();
        ms.sort(numbers, 0, numbers.length - 1);

        System.out.println("排序后: " + Arrays.toString(numbers));
    }

    public void sort(int[] numbers, int from, int to) {
        int middle = (from + to) / 2;
        if (from < to) {
            sort(numbers, from, middle);
            sort(numbers, middle + 1, to);
            //左侧数列最大值小于右侧数列最小值, 不需要通过合并来调整顺序
            if(numbers[middle] < numbers[middle + 1])
                return;
            merge(numbers, from, middle, to);
        }
    }

    private void merge(int[] numbers, int from, int middle, int to) {
        int[] temp = new int[to - from + 1];
        int left = from;
        int right = middle + 1;
        int i = 0;

        //从拆分到两边数列各剩一个数字开始合并; 当数列中有多个数字时, 一定是已经排好序的
        //从两边数列左侧开始依次取数对比, 挑选小的一个放入临时数组
        while (left <= middle && right <= to) {
            if (numbers[left] < numbers[right]) {
                temp[i++] = numbers[left++];
            } else {
                temp[i++] = numbers[right++];
            }
        }

        //把左边数列剩余的数移入数组
        while (left <= middle) {
            temp[i++] = numbers[left++];
        }

        //把右边数列剩余的数移入数组
        while (right <= to) {
            temp[i++] = numbers[right++];
        }

        System.arraycopy(temp, 0, numbers, from, temp.length);
    }
}

运行：

 

 

排序前: [4, 3, 6, 2, 7, 1, 5]
排序后: [1, 2, 3, 4, 5, 6, 7]

合并排序平均情况和最坏情况的时间复杂度都是O(nlogn)，因为需要额外的辅助空间，空间复杂度为O(n)。