LeetCode18_四数之和 问题记录

LeetCode18_四数之和 问题记录

18. 四数之和 - 力扣（LeetCode）

给你一个由 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
• -109 <= nums[i] <= 109
• -109 <= target <= 109

代码随想录的答案

class Solution {
public:
    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 (nums[k] > target && nums[k] >= 0) {
            	break; // 这里使用break，统一通过最后的return返回
            }
            // 对nums[k]去重
            if (k > 0 && nums[k] == nums[k - 1]) {
                continue;
            }
            for (int i = k + 1; i < nums.size(); i++) {
                // 2级剪枝处理
                if (nums[k] + nums[i] > target && nums[k] + nums[i] >= 0) {
                    break;
                }

                // 对nums[i]去重
                if (i > k + 1 && nums[i] == nums[i - 1]) {
                    continue;
                }
                int left = i + 1;
                int right = nums.size() - 1;
                while (right > left) {
                    // nums[k] + nums[i] + nums[left] + nums[right] > target 会溢出
                    if ((long) nums[k] + nums[i] + nums[left] + nums[right] > target) {
                        right--;
                    // nums[k] + nums[i] + nums[left] + nums[right] < target 会溢出
                    } else if ((long) nums[k] + nums[i] + nums[left] + nums[right]  < target) {
                        left++;
                    } else {
                        result.push_back(vector<int>{nums[k], nums[i], nums[left], nums[right]});
                        // 对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;
    }
};

我在了解完代码随想录的思路之后，自己手敲的代码，如下

class Solution {
public:
    vector<vector<int>> fourSum(vector<int>& nums, int target) {
        sort(nums.begin(),nums.end());
        vector<vector<int>> ans;
        for(int i=0;i<(int)nums.size()-3;i++){
            if(nums[i] > target && nums[i]>0)
                break;
            if(i>0 && nums[i]==nums[i-1])
                continue;
            for(int j=i+1;j<(int)nums.size()-2;j++){
                if(nums[j] > target-nums[i] && nums[j]>0)
                    break;
                if(j>i+1 && nums[j]==nums[j-1])
                    continue;
                int left = j+1,right = nums.size()-1;
                while(left<right){
                    if((long)nums[i]+nums[j]+nums[left]+nums[right]>target)
                        right--;
                    else if((long)nums[i]+nums[j]+nums[left]+nums[right]<target)
                        left++;
                    else{
                        ans.push_back(vector<int>{nums[i],nums[j],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 ans;
    }
};

运行时面对输入nums={0} target=0时出现问题：ERROR: AddressSanitizer: heap-buffer-overflow，
百思不得其解

于是乎我对照正确答案修改我的代码，

//我的代码
for(int i=0;i<(int)nums.size()-3;i++)
//修改后的代码
for(int i=0;i<(int)nums.size();i++)

问题竟然解决了！！！

于是我就有了这样的疑问：难道我写的i<(int)nums.size()-3不是更严谨吗？nums.size<4根本不会进入for循环，为什么会越界呢？ 面对这个问题，GPT也给不出解决办法。

于是我自己在VS上写了一段这样的代码

vector<int> nums{ 0,1,3,4,5 };
    cout << nums.size() - 6 << endl;
//输出为18446744073709551615

原来我忽略了nums.size()返回的是size_t类型，是无符号数，减去一个比自身大的值会发生整数下溢。

以下是GPT的回答

这个输出结果是由于整数溢出引起的。在你的代码中，nums.size() 的返回类型是 size_t，它是一个无符号整数类型。当你执行 nums.size() - 6 时，如果 nums 的大小小于 6，则会发生整数下溢，导致结果为一个很大的正整数。

在C++中，如果一个无符号整数的结果是负数，那么这个结果是通过模运算（模2^N，其中N是整数位数）计算得出的。所以当 nums.size() 的值小于 6 时，表达式 nums.size() - 6 将会产生一个大于 SIZE_MAX（size_t 类型的最大值）的结果，其值为 18446744073709551615。

特此记录这个无心之失，尽量不要用.size()返回值做减法运算，否则就有可能出现整数下溢。（原本我也知道size_t是无符号数，也知道无符号数作减法可能出现整数下溢，但就是在解决具体问题的时候会忽略这些细节，想当然了）