归并排序

回到归并排序这个问题，当程序运行起来时，通过对归并排序过程不断推演，会出现数组不断被拆分的现象，如图中分解部分所示：

分解到什么时候会“触底”呢，显然，是当只有一个元素的时候。“触底”后，启动合并，两两间按照合并排序数组的算法合并（具体算法之前有讲，详见：点击打开链接），最终实现排序。

Python 代码如下：

def merge_sort(aList):
    n = len(aList)
    # 只有一个元素，“触底”了，直接返回
    if n <= 1:
        return aList
    # 分割成两部分
    mid = n // 2
    left = merge_sort(aList[:mid])
    right = merge_sort(aList[mid:])
    # 合并
    return merge_sort_helper(left, right)


# 这个函数用来合并两个排好序的数组
def merge_sort_helper(l1, l2):
    result = []
    index1 = index2 = 0
    n1 = len(l1)
    n2 = len(l2)
    while index1 != n1 and index2 != n2:
        if l1[index1] < l2[index2]:
            result.append(l1[index1])
            index1 += 1
        else:
            result.append(l2[index2])
            index2 += 1
    result.extend(l2[index2:])
    result.extend(l1[index1:])
    return result