leetcode算法题15——三数之和

三数之和（中等）

给你一个包含 n 个整数的数组 nums，判断 nums 中是否存在三个元素 a，b，c ，使得 a + b + c = 0 ？请你找出所有满足条件且不重复的三元组。

注意：答案中不可以包含重复的三元组。

示例

给定数组 nums = [-1, 0, 1, 2, -1, -4]，
满足要求的三元组集合为：
[
[-1, 0, 1],
[-1, -1, 2]
]

解题

题目中要求找到所有「不重复」且和为 0的三元组，这个「不重复」的要求使得我们无法简单地使用三重循环枚举所有的三元组。这是因为在最坏的情况下，数组中的元素全部为 0，即

[0, 0, 0, 0, 0, …, 0, 0, 0]

任意一个三元组的和都为 0。如果我们直接使用三重循环枚举三元组，会得到 O(N^3)个满足题目要求的三元组（其中 N 是数组的长度）时间复杂度至少为 O(N^3)。在这之后，我们还需要去重，得到不包含重复三元组的最终答案，又消耗了大量的空间。这个做法的时间复杂度和空间复杂度都很高。

那么「不重复」的本质是什么？我们保持三重循环的大框架不变，只需要保证：

第二重循环枚举到的元素不小于当前第一重循环枚举到的元素；

第三重循环枚举到的元素不小于当前第二重循环枚举到的元素。

也就是说，我们枚举的三元组 (a, b, c)(a,b,c) 满足 a≤b≤c，保证了只有 (a, b, c)这个顺序会被枚举到，而 (b, a, c)、(c, b, a) 等等这些不会，这样就减少了重复。要实现这一点，我们可以将数组中的元素从小到大进行排序，随后使用普通的三重循环就可以满足上面的要求。

同时，对于每一重循环而言，相邻两次枚举的元素不能相同，否则也会造成重复。举个例子，如果排完序的数组为

[0, 1, 2, 2, 2, 3]

我们使用三重循环枚举到的第一个三元组为 (0, 1, 2)，如果第三重循环继续枚举下一个元素，那么仍然是三元组 (0, 1, 2)，产生了重复。因此我们需要将第三重循环「跳到」下一个不相同的元素，即数组中的最后一个元素 3，枚举三元组 (0, 1, 3)。
代码实现如下：

class Solution {
public:
    vector<vector<int>> threeSum(vector<int>& nums) {
        vector<vector<int>> res;
        sort(nums.begin(), nums.end());
        for(int i=0;i<nums.size();++i){
             if (i > 0 && nums[i] == nums[i - 1]) {
                continue;
             }
            for(int j=i+1;j<nums.size();++j){
                if (j > i+1 && nums[j] == nums[j - 1]) {
                continue;
            }
                for(int z=j+1;z<nums.size();++z){
                if (z >j+1 && nums[z] == nums[z - 1]) {
                continue;
            }
                    if(nums[i]+nums[j]+nums[z]==0)
                      res.push_back({nums[i], nums[j], nums[z]});
                }
            }
        }
        return res;
    }
};

这样虽然满足条件了，但是时间复杂度为O（n^3），提交会超时。那么我们换一个思路来想想，既然要求三数之和为0，如果我们对数组排序后固定前两个数字a和b，那么c是唯一固定的，将c放到数组的最尾端，也就是最大的数字，一直向左遍历，如果b继续增大，那么c必然会减小，因此可以用双指针来解：前两层循环不变，将第三重循环变成一个从数组最右端开始向左移动的指针，用while循环找到三数之和不大于0的c对应的指针处，如果这时三数之和为0，那么就输出，继续遍历。

class Solution {
public:
    vector<vector<int>> threeSum(vector<int>& nums) {
        vector<vector<int>> res;
        sort(nums.begin(), nums.end());
        int n=nums.size();
        for(int i=0;i<n;++i){
            int z=n-1;
             if (i > 0 && nums[i] == nums[i - 1]) 
                continue;             
            for(int j=i+1;j<n-1;++j){
                if (j > i+1 && nums[j] == nums[j - 1]) 
                continue;
                while(nums[i]+nums[j]+nums[z]>0 && j<z)
                   z=z-1;
                if(z==j)
                      break;
                if(nums[i]+nums[j]+nums[z]==0)
                      res.push_back({nums[i], nums[j], nums[z]});
                      if(z==j)
                      break;
            }
        }
        return res;
    }
};

另一种解法，思路是一样的

class Solution {
public:
    vector<vector<int>> threeSum(vector<int>& nums) {
        vector<vector<int>> res;
        sort(nums.begin(), nums.end());
        if (nums.empty() || nums.back() < 0 || nums.front() > 0) return {};
        for (int k = 0; k < (int)nums.size() - 2; ++k) {
            if (nums[k] > 0) break;
            if (k > 0 && nums[k] == nums[k - 1]) continue;
            int target = 0 - nums[k], i = k + 1, j = (int)nums.size() - 1;
            while (i < j) {
                if (nums[i] + nums[j] == target) {
                    res.push_back({nums[k], nums[i], nums[j]});
                    while (i < j && nums[i] == nums[i + 1]) ++i;
                    while (i < j && nums[j] == nums[j - 1]) --j;
                    ++i; --j;
                } else if (nums[i] + nums[j] < target) ++i;
                else --j;
            }
        }
        return res;
    }
};