Leetcode 18. 四数之和

题目描述

给你一个由 n 个整数组成的数组 nums ，和一个目标值 target 。请你找出并返回满足下述全部条件且不重复的四元组 [nums[a], nums[b], nums[c], nums[d]] （若两个四元组元素一一对应，则认为两个四元组重复）：

• 0 <= a, b, c, d < n
• a、b、c 和 d 互不相同
• nums[a] + nums[b] + nums[c] + nums[d] == target

你可以按 任意顺序 返回答案 。

示例 1：

输入：nums = [1,0,-1,0,-2,2], target = 0
输出：[[-2,-1,1,2],[-2,0,0,2],[-1,0,0,1]]

示例 2：

输入：nums = [2,2,2,2,2], target = 8
输出：[[2,2,2,2]]

提示：

• 1 <= nums.length <= 200
• -10^9 <= nums[i] <= 10^9
• -10^9 <= target <= 10^9

 NOTE1:这是从一个数组中 取出四个数 他们的和为target

四数之和，和15.三数之和 (opens new window)是一个思路，都是使用双指针法, 基本解法就是在15.三数之和 (opens new window)的基础上再套一层for循环。

这里就不能判断nums[k] > target 就返回了，三数之和 可以通过 nums[i] > 0 就返回了，因为 0 已经是确定的数了，四数之和这道题目 target是任意值。比如：数组是[-4, -3, -2, -1]，target是-10，不能因为-4 > -10而跳过。但是我们依旧可以去做剪枝，逻辑变成nums[i] > target && (nums[i] >=0 || target >= 0)就可以了

我们可以与三数之和的代码进行对比

三数之和Leetcode第15题. 三数之和-CSDN博客

class Solution {
public:
    vector<vector<int>> threeSum(vector<int>& nums) {
        vector<vector<int>> result;
        sort(nums.begin(), nums.end());
        // 找出a + b + c = 0
        // a = nums[i], b = nums[left], c = nums[right]
        for (int i = 0; i < nums.size(); i++) {
            // 排序之后如果第一个元素已经大于零，那么无论如何组合都不可能凑成三元组，直接返回结果就可以了
            if (nums[i] > 0) {
                return result;
            }
            // 错误去重a方法，将会漏掉-1,-1,2 这种情况
            /*
            if (nums[i] == nums[i + 1]) {
                continue;
            }
            */
            // 正确去重a方法
            if (i > 0 && nums[i] == nums[i - 1]) {
                continue;
            }
            int left = i + 1;
            int right = nums.size() - 1;
            while (right > left) {
                // 去重复逻辑如果放在这里，0，0，0 的情况，可能直接导致 right<=left 了，从而漏掉了 0,0,0 这种三元组
                /*
                while (right > left && nums[right] == nums[right - 1]) right--;
                while (right > left && nums[left] == nums[left + 1]) left++;
                */
                if (nums[i] + nums[left] + nums[right] > 0) right--;
                else if (nums[i] + nums[left] + nums[right] < 0) left++;
                else {
                    result.push_back(vector<int>{nums[i], nums[left], nums[right]});
                    // 去重逻辑应该放在找到一个三元组之后，对b 和 c去重
                    while (right > left && nums[right] == nums[right - 1]) right--;
                    while (right > left && nums[left] == nums[left + 1]) left++;

                    // 找到答案时，双指针同时收缩
                    right--;
                    left++;
                }
            }

        }
        return result;
    }
};

 

 四数之和

vector<vector<int>> fourSum(vector<int>& nums, int target) {
    vector<vector<int>> result;
    sort(nums.begin() , nums.end());  // 排序，方便后续处理
    for(int k = 0; k < nums.size(); k++) {  // 第一个数字
        if(k > 0 && nums[k] == nums[k-1]) {
            continue;  // 跳过重复元素，避免重复解
        }
        for(int i = k+1; i < nums.size(); i++) {  // 第二个数字
            if(i > k+1 && nums[i] == nums[i-1]) {
                continue;  // 跳过重复元素，避免重复解
            }
            int left = i+1;  // 左指针
            int right = nums.size() - 1;  // 右指针
            while(left < right) {
                int sum = nums[k] + nums[i] + nums[left] + nums[right];  // 当前四个数的和
                if(sum > target) {
                    right--;  // 和大于目标值，移动右指针
                } else if(sum < target) {
                    left++;  // 和小于目标值，移动左指针
                } else {
                    result.push_back({nums[k], nums[i], nums[left], nums[right]});  // 找到有效组合，加入结果列表
                    while(right > left && nums[right] == nums[right - 1]) right--;  // 跳过重复元素
                    while(right > left && nums[left] == nums[left + 1]) left++;  // 跳过重复元素
                    right--;  // 移动指针，继续寻找新的组合
                    left++;
                }
            }
        }
    }
    return result;  // 返回结果
}

 

 NOTE:这里会出现一点小问题，就是如果使用

 int sum = nums[k] + nums[i] + nums[left] + nums[right];

 会报错

Line 17: Char 43: runtime error: signed integer overflow: 2000000000 + 1000000000 cannot be represented in type 'value_type' (aka 'int') (solution.cpp) SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior prog_joined.cpp:26:43 

应该改为如下代码

long long sum = static_cast<long long>(nums[k]) + nums[i] + nums[left] + nums[right];

 这是因为在执行2000000000 + 1000000000这个加法操作时，结果（3000000000）超出了int类型可以表示的最大值（通常是2147483647，即231−1231−1），导致了溢出。由于int类型的范围是从-2147483648到2147483647，任何超出这个范围的值都会引起未定义行为。

可以发现，三数之和与四数之和都是先排序，再for循环遍历元素，利用双指针找到合适数组，只不过四数之和，是两个for循环（因为是找四个数），其他的指针移动 和 去重都是一样的。

三数之和的双指针解法是一层for循环num[i]为确定值，然后循环内有left和right下标作为双指针，找到nums[i] + nums[left] + nums[right] == 0。

四数之和的双指针解法是两层for循环nums[k] + nums[i]为确定值，依然是循环内有left和right下标作为双指针，找出nums[k] + nums[i] + nums[left] + nums[right] == target的情况，三数之和的时间复杂度是O(n^2)，四数之和的时间复杂度是O(n^3) 。

 参考文章：代码随想录 (programmercarl.com)