【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) 的算法解决此问题吗？

合并到一个数组中，然后直接排序。
参考代码：

class Solution {
public:
    void merge(vector<int>& nums1, int m, vector<int>& nums2, int n) {
        for (int i = 0; i < n; i++) {
            nums1[m + i] = nums2[i];
        }
        sort(nums1.begin(), nums1.end());
    }
};

解法二：
从后往前确定两组中该用哪个数字，谁大谁先确定为最后一个

class Solution {
    public:
        void merge(vector<int>& nums1, int m, vector<int>& nums2, int n) {
        int i = nums1.size() - 1;
        m=m-1;
        n=n-1;
        while (n >= 0) {
            while (m >= 0 && nums1[m] > nums2[n]) {
                swap(nums1[i--], nums1[m--]);
            }
            swap(nums1[i--], nums2[n--]);
        }
    }
};

官方题解：

为了保持数组的有序性，我们可以使用双指针策略，从两个数组的末尾开始，逐渐向前合并元素。这样做的好处是，我们总是能够保证将当前两个数组中较小的元素放入 `nums1` 的末尾，从而维持整个数组的有序状态。将 `p1` 初始化为 `m - 1`，`p2` 初始化为 `n - 1`，因为我们要比较的是数组的最后一个元素，这样可以确保我们是从两个数组的末尾开始操作的。外层循环的条件是 `p1 >= 0 || p2 >= 0`，这意味着只要 `nums1` 或 `nums2` 中还有未处理的元素，循环就继续。循环的结束条件是两个数组都被完全遍历。在循环中，首先检查 `p1` 和 `p2` 是否越界。如果 `p1` 小于0，意味着 `nums1` 已经没有元素了，这时只需要将 `nums2` 中剩余的元素依次放入 `nums1` 的前面即可。同样，如果 `p2` 小于0，则 `nums2` 已经没有元素了，只需处理 `nums1`。如果两个指针都没有越界，说明两个数组都还有元素可以比较。此时比较 `nums1[p1]` 和 `nums2[p2]` 的大小，将较小的元素放入 `nums1` 的末尾，并向前移动对应的指针。

由于我们是从后向前合并元素，所以使用 `tail` 指针指向 `nums1` 的末尾，并逐渐向前移动。这样做的好处是不需要在 `nums1` 中移动元素来腾出空间，因为 `nums1` 的前面已经有足够的空间容纳 `nums2` 中的元素。当 `p1` 和 `p2` 都小于0时，说明所有元素都已经被考虑过，此时循环结束。

这种从后向前的合并策略避免了在 `nums1` 中的元素移动，提高了算法的效率。时间复杂度为 O(m+n)，因为每个元素最多被考察一次。

class Solution {
public:
    void merge(vector<int>& nums1, int m, vector<int>& nums2, int n) {
        int p1 = m - 1, p2 = n - 1;
        int tail = m + n - 1;
        int cur;
        while (p1 >= 0 || p2 >= 0) {
            if (p1 == -1) {
                cur = nums2[p2--];
            } else if (p2 == -1) {
                cur = nums1[p1--];
            } else if (nums1[p1] > nums2[p2]) {
                cur = nums1[p1--];
            } else {
                cur = nums2[p2--];
            }
            nums1[tail--] = cur;
        }
    }
};