LeetCode88：合并两个有序数组

给你两个按 非递减顺序 排列的整数数组 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. 双指针

• 基于数组 nums1 与 nums2 已经被排好序的前提，每次从两个数组头部取出比较小的数字放到一个新的数组中

    public void merge(int[] nums1, int m, int[] nums2, int n) {
        int[] result = new int[nums1.length];
        int index1 = 0;
        int index2 = 0;
        for (int i = 0; i < result.length; i++) {
            if (index1 >= m) {
                // 数组1取完，取数组2，同时数组2的指针后移
                result[i] = nums2[index2++];
            } else if (index2 >= n) {
                // 数组2取完，取数组1，同时数组1的指针后移
                result[i] = nums1[index1++];
            } else if (nums1[index1] < nums2[index2]) {
                // 数组1当前值小于数组2当前值，取数组1的值，同时数组1的指针后移
                result[i] = nums1[index1++];
            } else {
                // 数组2当前值小于等于数组1当前值，取数组2的值，同时数组2的指针后移
                result[i] = nums2[index2++];
            }
        }
        for (int i = 0; i < nums1.length; i++) {
            nums1[i] = result[i];
        }
    }

• 复杂度分析
  时间复杂度：O(m+n)，指针需要移动 m+n 次
  空间复杂度：O(m+n)，需要建立长度为 m+n 的临时数组

2. 逆向双指针

• 如果不使用临时数组，可以利用 nums1 的后半部分是0的特点。通过指针从后向前遍历，每次取两个数组之中的较大值放进 nums1 的最后面。

    public void merge(int[] nums1, int m, int[] nums2, int n) {
        int index1 = m - 1;
        int index2 = n - 1;
        for (int i = nums1.length - 1; i >= 0; i--) {
            if (index1 < 0) {
                // 数组1取完，取数组2，同时数组2的指针前移
                nums1[i] = nums2[index2--];
            } else if (index2 < 0) {
                // 数组2取完，则数组1的其他元素不需要再调整，已经是排好序的
                break;
            } else if (nums1[index1] > nums2[index2]) {
                // 数组1当前值大于数组2当前值，取数组1的值，同时数组1的指针前移
                nums1[i] = nums1[index1--];
            } else {
                // 数组2当前值大于等于数组1当前值，取数组2的值，同时数组2的指针前移
                nums1[i] = nums2[index2--];
            }
        }
    }

• 复杂度分析
  时间复杂度：O(m+n)
  空间复杂度：O(1)