LeetCode刷题-数组88：合并两个有序数组

题目

给你两个按 非递减顺序 排列的整数数组 nums1 和 nums2，另有两个整数 m 和 n ，分别表示 nums1 和 nums2 中的元素数目。

请你 合并 nums2 到 nums1 中，使合并后的数组同样按 非递减顺序 排列。

注意：最终，合并后数组不应由函数返回，而是存储在数组 nums1 中。为了应对这种情况，nums1 的初始长度为 m + n，其中前 m 个元素表示应合并的元素，后 n 个元素为 0 ，应忽略。nums2 的长度为 n 。

示例1：

输入：nums1 = [1,2,3,0,0,0], m = 3, nums2 = [2,5,6], n = 3
输出：[1,2,2,3,5,6]
解释：需要合并 [1,2,3] 和 [2,5,6] 。
合并结果是 [1,2,2,3,5,6] ，其中斜体加粗标注的为 nums1 中的元素。

示例2：

输入：nums1 = [1], m = 1, nums2 = [], n = 0
输出：[1]
解释：需要合并 [1] 和 [] 。
合并结果是 [1] 。

示例3：

输入：nums1 = [0], m = 0, nums2 = [1], n = 1
输出：[1]
解释：需要合并的数组是 [] 和 [1] 。
合并结果是 [1] 。
注意，因为 m = 0 ，所以 nums1 中没有元素。nums1 中仅存的 0 仅仅是为了确保合并结果可以顺利存放到 nums1 中。

提示：

nums1.length == m + n
nums2.length == n
0 <= m, n <= 200
1 <= m + n <= 200
-109 <= nums1[i], nums2[j] <= 109

进阶：你可以设计实现一个时间复杂度为 O(m + n) 的算法解决此问题吗？

解题思路

本题主要注意两个点：

（1）两个数组是有序的，合并后数组也是按非递减顺序排列的；

（2）合并后的结果放到数组nums1中，不应由函数返回，故靠类似nums1 = nums1[:i] + nums2[j:]这种做拼接的方法行不通

法1：直接合并后排序（执行用时：28ms，内存消耗：13MB）

最简单直接的方法就是把数组nums2合并到数组nums1尾部，然后对整个数组进行排序。

class Solution(object):
    def merge(self, nums1, m, nums2, n):
        """
        :type nums1: List[int]
        :type m: int
        :type nums2: List[int]
        :type n: int
        :rtype: None Do not return anything, modify nums1 in-place instead.
        """
        nums1[m:] = nums2
        nums1.sort()

时间复杂度：O((m+n)log⁡(m+n))。
排序序列长度为 m+n，套用快速排序的时间复杂度即可，平均情况为 O((m+n)log⁡(m+n))。

空间复杂度：O(log⁡(m+n))。
排序序列长度为 m+n，套用快速排序的空间复杂度即可，平均情况为 O(log⁡(m+n))。

法2：双指针，从前往后（执行用时：16ms，内存消耗：12.8MB）

一般情况下，我们想到的是使用双指针从前往后进行排序合并。因为数组是有序递增的，因此可以设置两个指针，分别指向两个数组，每次从两个数组的头部取出较小的数字放到结果数组中，如果某个数组的指针已到达尾部，即该数组中的数字已取完，则将另一个数组剩下的数字直接放入结果数组中。

class Solution(object):
    def merge(self, nums1, m, nums2, n):
        """
        :type nums1: List[int]
        :type m: int
        :type nums2: List[int]
        :type n: int
        :rtype: None Do not return anything, modify nums1 in-place instead.
        """
        p1,p2 = 0,0
        res = []
        while p1 < m or p2 < n:
            if p1 == m:
                res.append(nums2[p2])
                p2 += 1
            elif p2 == n:
                res.append(nums1[p1])
                p1 += 1
            elif nums1[p1] <= nums2[p2]:
                res.append(nums1[p1])
                p1 += 1
            else:
                res.append(nums2[p2])
                p2 += 1
        nums1[:] = res

时间复杂度：O(m+n)。
指针移动单调递增，最多移动 m+n 次，因此时间复杂度为 O(m+n)。

空间复杂度：O(m+n)。
需要建立长度为 m+n 的中间数组 res。

法3：逆向双指针，从后往前（执行用时：12ms，内存消耗：12.8MB）

从前开始比较的话，得到的结果需要借助一个临时数组来存放。而数组nums1后面是空的，由后往前（数字由大到小）进行比较的话，得到的结果就可以直接存放到nums1的后面。

也就是说m，n可分别看做指向nums1有效数字和nums2的指针，p是指向nums1的指针：

接下来大概思路理解起来就简单了：

（1）当m>0 且n>0时，从后往前比较nums1[m-1] 和nums2[n-1]，把大的数字放在nums1[m+n-1]的位置上，并且让这个数字所属的数组指针往前进一步；

（2）当完成上述遍历后，m和n肯定至少有一个是0，也就是说至少有一个数组的数字恰好用完了，那么另一个数组有可能还有剩余的数字。如果是nums2可能有剩余，则需要将其复制到nums1的头部；如果是nums1的数字有剩余，就不用动。

 

class Solution(object):
    def merge(self, nums1, m, nums2, n):
        """
        :type nums1: List[int]
        :type m: int
        :type nums2: List[int]
        :type n: int
        :rtype: None Do not return anything, modify nums1 in-place instead.
        """
        p = m+n-1
        while m > 0 and n > 0:
            if nums1[m-1] > nums2[n-1]:
                nums1[p] = nums1[m-1]
                m -= 1
            else:
                nums1[p] = nums2[n-1]
                n -= 1
            p -= 1
        
        nums1[:n] = nums2[:n]

 

• 时间复杂度：O(M+N)
• 空间复杂度：O(1)