归并排序（Python实现）

1.归并排序算法思想

归并排序，是创建在归并操作上的一种有效的排序算法。算法是采用分治法（Divide and Conquer）的一个非常典型的应用，且各层分治递归可以同时进行。归并排序思路简单，速度仅次于快速排序，为稳定排序算法，一般用于对总体无序，但是各子项相对有序的数列。

归并排序是用分治思想，分治模式在每一层递归上有三个步骤：

分解（Divide）：将n个元素分成个含n/2个元素的子序列。
解决（Conquer）：用合并排序法对两个子序列递归的排序。
合并（Combine）：合并两个已排序的子序列已得到排序结果。

2.流程图展示

动图结果：

静态流程图：

3. 复杂度分析

平均时间复杂度：O(nlogn)
最佳时间复杂度：O(n)
最差时间复杂度：O(nlogn)
空间复杂度：O(n)
排序方式：In-place
稳定性：稳定
不管元素在什么情况下都要做这些步骤，所以花销的时间是不变的，所以该算法的最优时间复杂度和最差时间复杂度及平均时间复杂度都是一样的为：O( nlogn )

归并的空间复杂度就是那个临时的数组和递归时压入栈的数据占用的空间：n + logn；所以空间复杂度为: O(n)。

归并排序算法中，归并最后到底都是相邻元素之间的比较交换，并不会发生相同元素的相对位置发生变化，故是稳定性算法。

4.python实现归并排序

# coding:utf-8

def merge_sort(alist):
    '''归并排序'''
    n = len(alist)
    # 跳出递归的条件
    if n <= 1:
        return alist
    mid = n // 2

    # 利用递归进行拆分
    # left 采用归并排序后形成的有序的新列表
    left_li = merge_sort(alist[:mid])
    # right 采用归并排序后形成的有序的新列表
    right_li = merge_sort(alist[mid:])
    # 将两个有序的子序列合并为一个新的整体
    # merge(left,right)
    left_pointer, right_pointer = 0, 0
    result = []
    # 循环结束条件 左指针数>=左边列表的长度，说明左边遍历完成
    # 并且右指针数>=右边列表的长度，说明右边遍历完成
    while left_pointer < len(left_li) and right_pointer < len(right_li):
        if left_li[left_pointer] < right_li[right_pointer]:
            result.append(left_li[left_pointer])
            left_pointer += 1
        else:
            result.append(right_li[right_pointer])
            right_pointer += 1
        # 例如：l = [1,2,3]
        # l[3:]  结果返回  []
    result += left_li[left_pointer:]
    result += right_li[right_pointer:]
    return result


if __name__ == '__main__':
    li = [54, 26, 93, 17, 77, 31, 44, 55, 20]
    print(li)
    sorted_li = merge_sort(li)
    print(sorted_li)

参考：https://zhuanlan.zhihu.com/p/124356219