【超详细解释】一文让你理解第K小数始末，寻找两个正序数组的中位数

力扣链接

题目描述：

给定两个大小分别为 m 和 n 的正序（从小到大）数组nums1 和nums2。请你找出并返回这两个正序数组的 中位数 。

算法的时间复杂度应该为 O(log (m+n)) 。

示例 1：

输入：nums1 = [1,3], nums2 = [2]
输出：2.00000
解释：合并数组 = [1,2,3] ，中位数 2
示例 2：

输入：nums1 = [1,2], nums2 = [3,4]
输出：2.50000
解释：合并数组 = [1,2,3,4] ，中位数 (2 + 3) / 2 = 2.5

解题思路：

理解一下第K小数

首先我们有2个有序数组，我们要找这两个有序数组的和数组的第K小数。

我们分别对这两个数组找k/2的数，对这两个数进行比较，然后逐渐删除，假设删除的数字为n, 更新我们要找的第K小数就变成了K-n,即k = k-n

简单说明下为什么每次删除的数字都在第K小数的左边，即删除的数都比我们要找的第K小数要小。

这里我们只理解第一次删除的数字都比第K小数要小就可以了，因为后面是同样的道理。

首先我们删除的是其中一个数组的k/2 个数字，为了方便理解我们这里假设数组。

A=[1,2,3,4,5,6,7]
B=[8,9,10,11,12,13,14,15]
这里一共有AB两个数组，我们要找的是中位数，即这两个数组的第8小数，k=8
k/2 = 4

我们删除的数字个数为k/2，我们要证明删除的数字都在第K小数的左边，因为我们可以明确另一个数组的B[k/2]没有被删除并且比删除的数字中的最大的数字要大
那么我们可以知道的是一定比删除数字的最大数要大的数字有哪些？在数组A中，剩下的是len(A) - k/2,在数组B中是len(B)- k/2+1(假设B[k/2]前面的数字都比
删除的数字中的最大的数字要小，所以这里减去k/2,为什么又加1呢？因为我们比较了B[k/2]和A[K/2]所以B[k/2]这个元素一定比删除的数字中的最大元素要大)

我们把两个数组合并成一个大数组来理解，这个大数组的长度为n,那么n=len(A)+len(B),那么剩下的元素个数就是 n - k/2 - k/2 + 1

我们再把这个数组画出来如下：

[a,a,a,a,a…a,a,a,a,a]
k-1 k n-k
我们把这个数组分为三段，以第K小数位结点，分为左边右边，左边的元素个数为K-1,右边的是 n-k个
我们现在只需证明剩下的元素 n -k/2 -k/2 +1 >= n -k +1 (n-k是右边的元素个数，1代表的是第K个元素)
这里为什么不将两个k/2相加呢？因为我们这里的K/2是向下取商，
上面的式子简化为 -k/2 * 2 >= -k ==> k/2 * 2 <= k
当k为奇数时，k / 2 * 2 = k - 1 < K
当K为偶数时， K/2 * 2 = k = k
所以上式恒成立，所以每次删除的数必定都在第K小数的左边。

class Solution:
    def findMedianSortedArrays(self, nums1: List[int], nums2: List[int]) -> float:
        def getKthElement(k):
            """
            - 主要思路：要找到第 k (k>1) 小的元素，那么就取 pivot1 = nums1[k/2-1] 和 pivot2 = nums2[k/2-1] 进行比较
            - 这里的 "/" 表示整除
            - nums1 中小于等于 pivot1 的元素有 nums1[0 .. k/2-2] 共计 k/2-1 个
            - nums2 中小于等于 pivot2 的元素有 nums2[0 .. k/2-2] 共计 k/2-1 个
            - 取 pivot = min(pivot1, pivot2)，两个数组中小于等于 pivot 的元素共计不会超过 (k/2-1) + (k/2-1) <= k-2 个
            - 这样 pivot 本身最大也只能是第 k-1 小的元素
            - 如果 pivot = pivot1，那么 nums1[0 .. k/2-1] 都不可能是第 k 小的元素。把这些元素全部 "删除"，剩下的作为新的 nums1 数组
            - 如果 pivot = pivot2，那么 nums2[0 .. k/2-1] 都不可能是第 k 小的元素。把这些元素全部 "删除"，剩下的作为新的 nums2 数组
            - 由于我们 "删除" 了一些元素（这些元素都比第 k 小的元素要小），因此需要修改 k 的值，减去删除的数的个数
            """
            index1, index2 = 0, 0
            while True:
                # 特殊情况
                if index1 == m:#如果第一个数组为空，就返回第二个数组的第K小数，或者已经把第一个数组找完了
                    return nums2[index2 + k - 1]
                if index2 == n:#如上同理
                    return nums1[index1 + k - 1]
                if k == 1:#转化成了找两个数组的第一小的数字，那就比较当前寻找范围的第一个数字的大小，返回其中小的那个
                    return min(nums1[index1], nums2[index2])

                # 正常情况
                newIndex1 = min(index1 + k // 2 - 1, m - 1)#为什么是要选这两个数字中较小的那个作为index?因为这样能防止越界，m-1是这个数组的最大数字的下标，如果找出来的k//2大于他，就直接用最大的数字下标就可以了。
                newIndex2 = min(index2 + k // 2 - 1, n - 1)
                pivot1, pivot2 = nums1[newIndex1], nums2[newIndex2]
                if pivot1 <= pivot2:#比较两个数组的k//2下面的一个数字，“删除”前面的数组，更新K,更新index1,更新寻找范围
                    k -= newIndex1 - index1 + 1
                    index1 = newIndex1 + 1
                else:
                    k -= newIndex2 - index2 + 1
                    index2 = newIndex2 + 1

        m, n = len(nums1), len(nums2)
        totalLength = m + n
        if totalLength % 2 == 1:
            return getKthElement((totalLength + 1) // 2)
        else:
            return (getKthElement(totalLength // 2) + getKthElement(totalLength // 2 + 1)) / 2