算法日记本 | LeetCode 4. 寻找两个有序数组的中位数

题目描述

给定两个大小为 m 和 n 的有序数组 nums1 和 nums2。

请你找出这两个有序数组的中位数，并且要求算法的时间复杂度为 O(log(m + n))。

你可以假设 nums1 和 nums2 不会同时为空。

示例 1:

nums1 = [1, 3]
nums2 = [2]

则中位数是 2.0

示例 2:

nums1 = [1, 2]
nums2 = [3, 4]

则中位数是 (2 + 3)/2 = 2.5

分析解答

题目中明确要求时间复杂度为O(log(m + n))，这其实也提醒我们可以用类似二分法的操作来解决这个问题。直接求解中位数似乎有点无从下手，不妨先举些实例分析看看，通过对具体实例的细致分析可以帮助我们更好地理解目标。如果两个数组的总长度是9，那么中位数就是两个数组中第5小的数，如果长度为10，那么中位数就是两个数组中第5小的数和第6小的数的平均。因此，我们不妨把问题转换成求两个数组中第k小的数，如果这个问题解决了，那么求中位数的问题也就解决了，而且两者的时间复杂度是一致的，因为最多只需要求两次第k小的数。

由于两个数组都是有序的，我们可以借用二分法的思路来求解第k小的数，关键点在于如何不断地减小的规模。我们可以从两个数组分别选出一个“代表”，比如第k/2个数，然后比较选出的两个数的大小，根据比较的结果就可以筛掉其中某个数组在k/2前面的数，从而将问题转化为一个规模更小的子问题。按照这种思路实现的解决方案如下：

class Solution(object):
    def findMedianSortedArrays(self, nums1, nums2):
        """
        :type nums1: List[int]
        :type nums2: List[int]
        :rtype: float
        """
        m = len(nums1)
        n = len(nums2)
        total = m