(算法) 对递归的一些个人想法

本人算法白痴，之前虽然接触过递归但是一直搞不太清楚，如今打算在读研之前掌握一部分算法相关的知识，而近来刚好学到了 merge sort，一个使用递归的排序算法，才有了如下感悟（可能仅适用于我个人，如有误，欢迎指正）

理解递归的核心在于“假设”

例如，对于这样一个递归函数，函数目标是将输入 arr 中的元素从小到大排列

这里的核心 “假设” 为，函数 mergeSort(arr) 已经能够将 arr 正确排序。

因此在对输入进行第一次二分切割后：

1. 直接使用 mergeSort(L | R) 表示分割后的这两个子列表已经完成排序
2. 将这两个完成排序的子列表合并为一个新的有序列表（同时更新到 arr）
3. 最后 arr 也变成了一个有序列表，同时也证明了假设的正确性
4. 此外，还需要写出结束递归的信号（第一行）

def mergeSort(arr):
    if len(arr) > 1: # 结束递归的信号：当列表为空或只包含单个元素
        mid = len(arr)//2
        L = arr[:mid]
        R = arr[mid:]
        mergeSort(L) # 假设 L 已经完成了 sort
        mergeSort(R) # 假设 R 已经完成了 sort
  
  		# 将两个有序列表合成一个新的有序列表
        i = j = k = 0
        while i < len(L) and j < len(R):
            if L[i] < R[j]:
                arr[k] = L[i]
                i += 1
            else:
                arr[k] = R[j]
                j += 1
            k += 1
  
        while i < len(L):
            arr[k] = L[i]
            i += 1
            k += 1
  
        while j < len(R):
            arr[k] = R[j]
            j += 1
            k += 1