LeetCode 经典题：“三数之和”

一、题目描述

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

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

示例

• 示例 1：

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

• 示例 2：

输入：nums = []
输出：[]

• 示例 3：

输入：nums = [0]
输出：[]

二、解题思路

1. 暴力法（不可行的方案）

理论上可以使用三层循环枚举所有可能的三元组组合，判断其和是否为 0。然而，这种方法的时间复杂度高达 $O(n^3)$，当数据规模较大时效率极低，并且处理重复三元组的逻辑复杂，所以实际中不采用这种方法。

2. 排序 + 双指针法

1. 排序：对数组 nums 进行排序。排序后，数组呈现有序状态，方便后续使用双指针法遍历。排序的时间复杂度为 $O(nlogn)$，n 为数组长度。
2. 遍历与双指针：
   • 遍历排序后的数组。在遍历过程中，对于每个元素 nums[i]，将其作为三元组中的第一个数。
   • 为了避免重复的三元组，当 i > 0 且 nums[i] == nums[i - 1] 时，直接跳过当前元素，因为已经处理过相同的数，再处理会产生重复结果。
   • 使用双指针法，定义左指针 left = i + 1，右指针 right = len(nums) - 1。
   • 计算当前三元组的和 sum = nums[i] + nums[left] + nums[right]。
   • 根据和的大小移动指针：
     • 如果 sum < 0，说明和过小，需要增大和，将 left 指针右移，即 left += 1。
     • 如果 sum > 0，说明和过大，需要减小和，将 right 指针左移，即 right -= 1。
     • 如果 sum == 0，找到了一个和为 0 的三元组，将其加入结果列表中。同时，为避免重复结果，跳过所有相同的 nums[left] 和 nums[right]，即 left += 1 且 right -= 1，直到找到不同的元素。

三、代码实现

Python 代码

def threeSum(nums):
    nums.sort()
    result = []
    for i in range(len(nums)):
        # 跳过重复的第一个数
        if i > 0 and nums[i] == nums[i - 1]:
            continue
        left, right = i + 1, len(nums) - 1
        while left < right:
            sum_value = nums[i] + nums[left] + nums[right]
            if sum_value < 0:
                left += 1
            elif sum_value > 0:
                right -= 1
            else:
                result.append([nums[i], nums[left], nums[right]])
                # 跳过重复的第二个数
                while left < right and nums[left] == nums[left + 1]:
                    left += 1
                # 跳过重复的第三个数
                while left < right and nums[right] == nums[right - 1]:
                    right -= 1
                left += 1
                right -= 1
    return result

Java 代码

import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;

public class ThreeSum {
    public List<List<Integer>> threeSum(int[] nums) {
        List<List<Integer>> result = new ArrayList<>();
        Arrays.sort(nums);
        for (int i = 0; i < nums.length; i++) {
            if (i > 0 && nums[i] == nums[i - 1]) {
                continue;
            }
            int left = i + 1;
            int right = nums.length - 1;
            while (left < right) {
                int sum = nums[i] + nums[left] + nums[right];
                if (sum < 0) {
                    left++;
                } else if (sum > 0) {
                    right--;
                } else {
                    List<Integer> triple = new ArrayList<>();
                    triple.add(nums[i]);
                    triple.add(nums[left]);
                    triple.add(nums[right]);
                    result.add(triple);
                    while (left < right && nums[left] == nums[left + 1]) {
                        left++;
                    }
                    while (left < right && nums[right] == nums[right - 1]) {
                        right--;
                    }
                    left++;
                    right--;
                }
            }
        }
        return result;
    }
}

四、复杂度分析

时间复杂度

1. 排序的时间复杂度为 $O(nlogn)$。
2. 遍历数组的时间复杂度为 $O(n)$，在遍历过程中，双指针法在最坏情况下时间复杂度也是 $O(n)$。所以总的时间复杂度为 $O(nlogn+n^2)$，近似为 $O(n^2)$。

空间复杂度

1. 结果集存储不同的三元组，在最坏情况下，所有三元组都不重复，空间复杂度为 $O(n^2)$。
2. 代码中使用的临时变量（如指针、中间结果列表等）占用的空间为常数级别的额外空间，可忽略不计。所以总的空间复杂度为 $O(n^2)$。

五、总结

“三数之和”问题通过排序和双指针法的巧妙结合，有效降低了时间复杂度。在处理这类寻找数组元素组合满足特定条件的问题时，排序常常是第一步，它能为后续的优化算法提供有序的基础。同时，双指针法在有序数组上的应用十分广泛，通过合理移动指针来减少不必要的计算。希望通过对本题的学习，能加深你对这类算法问题的理解和解决能力。