归并排序

一、实现理论

1. 有一个长度为 n 的数组。
2. 将数组分为两个部分，左半部分和右半部分。
3. 将左半部分排好序。
4. 将右半部分排好序。
5. 此时数组整体还是无序的。
6. 定义一个辅助数组。定义两个变量，分别用来表示左半部分的最小的数和右半部分的最小的数的下标。
7. 比较这两个变量对应的数组中的数，哪个数较小，就将这个数放入辅助数组中，然后将此变量加 1 （指向这半部分的下一个数），直到这两部分的其中一部分的所有数都填入辅助数组后停止比较。
8. 数组的两部分中，将第 7 步 没有越界的那一部分剩余的数放到辅助数组。
9. 将辅助数组中的数拷贝回原数组。

二、代码实现（Java）

    public static void mergeSort(int[] arr) {
        if(arr == null || arr.length < 2)
            return;

        mergeSort(arr, 0, arr.length-1);
    }

    public static void mergeSort(int[] arr, int L, int R) {
        if(L == R)
            return;

        int mid = L + (R - L) / 2;          // 求中点
        mergeSort(arr, L, mid);             // 将数组的左半部分排好序
        mergeSort(arr, mid + 1, R);         // 将数组的右半部分排好序
        merge(arr, L, mid, R);              // 将数组整体排序
    }

    public static void merge(int[] arr, int L, int m, int R) {
        int[] help = new int[R - L + 1];        // 新建辅助数组，数组长度与被排序数组长度一致
        int p1 = L;                             // p1 指向左半部分的第一个数（最小的数）
        int p2 = m + 1;                         // p2 指向右半部分的第一个数（最小的数）
        int i = 0;

        // 比较 p1 和 p2 指向的数组中的数，哪个小，哪个存入辅助数组 help
        while (p1 <= m && p2 <= R) {
            help[i++] = arr[p1] < arr[p2] ? arr[p1++] : arr[p2++];
        }
        
        // p2 越界，将右半部分剩余的数放入辅助数组
        while (p1 <= m) {
            help[i++] = arr[p1++];
        }
        
        // p1 越界, 将左半部分剩余的数放入辅助数组
        while (p2 <= R) {
            help[i++] = arr[p2++];
        }
        
        // 将辅助数组中的数拷贝回原数组
        for(i = 0; i < help.length; i++) {
            arr[L + i] = help[i];
        }
    }

三、时间复杂度

归并排序的时间复杂度是 O(N * logN)