图解归并排序（Merge Sort）

归并排序（Merge Sort）

归并排序是建立在归并操作上的一种有效的排序算法。该算法是采用分治法（Divide and Conquer）的一个非常典型的应用。将已有序的子序列合并，得到完全有序的序列；即先使每个子序列有序，再使子序列段间有序。若将两个有序表合并成一个有序表，称为2-路归并。

算法描述

• 把长度为n的输入序列分成两个长度为n/2的子序列；
• 对这两个子序列分别采用归并排序；
• 将两个排序好的子序列合并成一个最终的排序序列。

动图演示

 

代码实现

基础模板

void mergeSort(int q[], int l, int r)
{
    if (l >= r) return;
    
    int mid = (l + r) >> 1;
    mergeSort(q, l, mid);
    mergeSort(q, mid + 1, r);
    
    int k = 0, i = l, j = mid + 1;
    while (i <= mid && j <= r) {
        if (q[i] <= q[j]) tmp[k++] = q[i++];
        else tmp[k++] = q[j++];
    }
    
    while (i <= mid) tmp[k++] = q[i++];
    while (j <= r) tmp[k++] = q[j++];

    for (i = l, j = 0; i <= r; ++i, ++j) q[i] = tmp[j];
}

对单链表进行归并排序，采用自底向上的实现方式（非递归），时间复杂度为O(nlogn)，空间复杂度为O(1)

ListNode* sortList(ListNode* head) {
    if (!head || !head->next) return head;

    int n = 0;
    for (auto p = head; p != nullptr; p = p->next) ++n;

    auto dummy = new ListNode(-1);
    dummy->next = head;

    for (int i = 1; i < n; i *= 2) {
        auto cur = dummy;
        for (int j = 0; j + i < n; j += 2 * i) {
            auto left = cur->next, right = cur->next;
            for (int k = 1; k <= i; ++k) right = right->next;

            int l = 0, r = 0;
            while (l < i && r < i && right) {
                if (left->val <= right->val) {
                    cur->next = left;
                    cur = left;
                    left = left->next;
                    ++l;
                } else {
                    cur->next = right;
                    cur = right;
                    right = right->next;
                    ++r;
                }   
            }

            while (l < i) {
                cur->next = left;
                cur = left;
                left = left->next;
                ++l;
            }
            while (r < i && right) {
                cur->next = right;
                cur = right;
                right = right->next;
                ++r;
            }

            cur->next = right;
        }
    }

    return dummy->next;
}

算法分析

归并排序是一种稳定的排序方法。和选择排序一样，归并排序的性能不受输入数据的影响，但表现比选择排序好的多，因为始终都是O(nlogn）的时间复杂度。归并排序可以分为自顶向下的实现和自底向上的实现。自顶向下采用递归实现，在自顶向下实现中，如果用数组来存储数据，空间复杂度为O(n+logn)，如果用链表来存储数据，则空间复杂度O(logn)，省去了辅助数组的空间开销。归并排序的自底向上实现方式中采用迭代，省去了递归栈的空间开销，此时如果用数组存储数据，则空间复杂度为O(n)，如果用链表存储数据，则空间复杂度为O(1)，因为此时不需要任何额外空间开销。但是归并排序的时间复杂度始终是O(nlogn)。