力扣 15题 三数之和

前言

记录一下刷题历程 力扣第15题 三数之和 用双指针

---

两数之和

原题目：
给你一个整数数组 nums ，判断是否存在三元组 [nums[i], nums[j], nums[k]] 满足 i != j、i != k 且 j != k ，同时还满足 nums[i] + nums[j] + nums[k] == 0 。请你返回所有和为 0 且不重复的三元组。

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

示例 1：

输入：nums = [-1,0,1,2,-1,-4]
输出：[[-1,-1,2],[-1,0,1]]
解释：
nums[0] + nums[1] + nums[2] = (-1) + 0 + 1 = 0 。
nums[1] + nums[2] + nums[4] = 0 + 1 + (-1) = 0 。
nums[0] + nums[3] + nums[4] = (-1) + 2 + (-1) = 0 。
不同的三元组是 [-1,0,1] 和 [-1,-1,2] 。
注意，输出的顺序和三元组的顺序并不重要。
示例 2：

输入：nums = [0,1,1]
输出：[]
解释：唯一可能的三元组和不为 0 。
示例 3：

输入：nums = [0,0,0]
输出：[[0,0,0]]
解释：唯一可能的三元组和为 0 。

分析

如果直接暴力枚举需要三个for循环，时间复杂度为O（n^3），我们可以利用双指针来求解这道题。以nums = [-1,0,1,2,-1,-4]为例。我们首先固定第一个元素也就是-1，那么-1后的元素我们看成一个新数组，两个指针分别指向新数组的第一个元素和新数组的最后一个元素。我们只需要新数组里的两个元素相加等于-1就可以（这就可以看成之前做过的两数之和）

代码如下：

class Solution {
public:
    vector<vector<int>> threeSum(vector<int>& nums) {
        vector<vector<int>> res; // 存放结果的二维向量

        sort(nums.begin(), nums.end()); // 先对数组进行排序

        // 遍历数组，以每个元素作为第一个数，寻找其后两个数使得三数之和为0
        for (int a = 0; a < nums.size(); a++) {
            // 如果当前元素与前一个元素相同，跳过，避免重复计算
            if (a > 0 && nums[a] == nums[a - 1]) {
                continue;
            }
            
            int left = a + 1; // 左指针，从当前元素的下一个元素开始
            int right = nums.size() - 1; // 右指针，从数组末尾开始

            // 双指针法寻找满足条件的两个数
            while (left < right) {
                int sum = nums[a] + nums[left] + nums[right]; // 计算当前三个数的和

                if (sum == 0) {
                    // 如果三个数之和为0，将这个三元组加入结果集
                    res.push_back({nums[a], nums[left], nums[right]});
                    
                    left++; // 移动左指针，继续寻找下一个满足条件的组合

                    // 跳过重复的元素，避免重复计算相同的三元组
                    while (left < right && nums[left - 1] == nums[left]) {
                        left++;
                    }
                } else if (sum < 0) {
                    // 如果三个数之和小于0，增大左指针，使和变大
                    left++;
                } else {
                    // 如果三个数之和大于0，减小右指针，使和变小
                    right--;
                }
            }
        }

        return res; // 返回所有满足条件的三元组
    }
};

解释注释

1.vector<vector> res;

res 是用于存放结果的二维向量，每个元素是一个三元组的向量，表示找到的所有满足条件的三元组。

2.sort(nums.begin(), nums.end());

对输入的数组 nums 进行排序，这样可以方便后续使用双指针法来查找满足条件的三元组。

3.for (int a = 0; a < nums.size(); a++) { … }

外层循环遍历数组，以每个元素 nums[a] 作为三元组的第一个元素。

4.重复元素处理：

if (a > 0 && nums[a] == nums[a - 1]) { continue; }
如果当前元素 nums[a] 与前一个元素相同，并且不是第一个元素，则跳过，避免重复计算相同的三元组。

5.双指针法寻找另外两个数：

初始化左指针 left 为 a + 1，右指针 right 为数组末尾。
while (left < right) { … } 循环内使用双指针法来寻找满足条件的两个数。

6.判断三数之和：

int sum = nums[a] + nums[left] + nums[right];
计算当前三个数的和 sum。

7.三数之和为0的处理：

if (sum == 0) { … }
如果 sum 等于 0，将当前三元组 {nums[a], nums[left], nums[right]} 加入结果集 res。
移动左指针 left++，继续寻找下一个满足条件的组合。
内部的 while 循环用于跳过重复的元素，避免重复计算相同的三元组。

8.调整左右指针的位置：

如果 sum < 0，增大左指针 left++，使和变大。
如果 sum > 0，减小右指针 right–，使和变小。

时间复杂度

这个方法的时间复杂度主要由排序操作和双指针法的遍历操作决定。排序的时间复杂度是 O(n log n)，双指针法的时间复杂度是 O(n^2)。因此，总体时间复杂度是 O(n^2)，其中 n 是数组 nums 的长度。的插入和查找操作都是常数时间复杂度。