LeetCode 15. 三数之和

15. 三数之和

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

链接：https://leetcode.cn/problems/3sum

个人思路

1. 水平有限，只能想到暴力解法，使用三个循环把所有的三元数组都测一遍，然后去除重复的话使用sort()先排序然后==判断是否一样，结果超时了

class Solution:
    def threeSum(self, nums: List[int]) -> List[List[int]]:
        if len(nums) < 3:
            return []
        ans = []
        length = len(nums)
        for i in range(0,length-2):
            for j in range(i+1,length-1):
                for k in range(j+1,length):
                    if nums[i] + nums[j] + nums[k] == 0:
                        sam = [nums[i],nums[j],nums[k]]
                        sam.sort()
                        if sam not in ans:
                            ans.append(sam)
        return ans

其他思路

1. 官方思路：
   排序 + 双指针
   （1）「不重复」的本质是什么？我们保持三重循环的大框架不变，只需要保证：
   第二重循环枚举到的元素不小于当前第一重循环枚举到的元素；
   第三重循环枚举到的元素不小于当前第二重循环枚举到的元素。
   也就是说，我们枚举的三元组 (a, b, c) 满足a≤b≤c，保证了只有 (a, b, c) 这个顺序会被枚举到，而 (b,a,c)、(c,b,a) 等等这些不会，这样就减少了重复。要实现这一点，我们可以将数组中的元素从小到大进行排序，随后使用普通的三重循环就可以满足上面的要求。
   同时，对于每一重循环而言，相邻两次枚举的元素不能相同，否则也会造成重复。
   这种方法的时间复杂度仍然为 O(N^3)
   （2）继续优化：可以发现，如果我们固定了前两重循环枚举到的元素 aa和 b，那么只有唯一的c满足 a+b+c=0。当第二重循环往后枚举一个元素 b’时，由于 b’ > b，那么满足 a+b’+c’=0的 c’一定有 c’ < c，即c’在数组中一定出现在c的左侧。也就是说，我们可以从小到大枚举 b，同时从大到小枚举 c，即第二重循环和第三重循环实际上是并列的关系。有了这样的发现，我们就可以保持第二重循环不变，而将第三重循环变成一个从数组最右端开始向左移动的指针。
   （3）这个方法就是我们常说的「双指针」，当我们需要枚举数组中的两个元素时，如果我们发现随着第一个元素的递增，第二个元素是递减的，那么就可以使用双指针的方法，将枚举的时间复杂度从 O(N^2)减少至 O(N)。为什么是 O(N)呢？这是因为在枚举的过程每一步中，「左指针」会向右移动一个位置（也就是题目中的 b），而「右指针」会向左移动若干个位置，这个与数组的元素有关，但我们知道它一共会移动的位置数为 O(N)，均摊下来，每次也向左移动一个位置，因此时间复杂度为 O(N)。
   （4）注意到我们的伪代码中还有第一重循环，时间复杂度为 O(N)，因此枚举的总时间复杂度为 O(N**2)。由于排序的时间复杂度为O(NlogN)，在渐进意义下小于前者，因此算法的总时间复杂度为 O(N^2)。
   （5）空间复杂度：O(logN)。我们忽略存储答案的空间，额外的排序的空间复杂度为O(logN)。然而我们修改了输入的数组 nums，在实际情况下不一定允许，因此也可以看成使用了一个额外的数组存储了nums 的副本并进行排序，空间复杂度为 O(N)。

class Solution:
    def threeSum(self, nums: List[int]) -> List[List[int]]:
        n = len(nums)
        nums.sort()
        ans = list()
        
        # 枚举 a
        for first in range(n):
            # 需要和上一次枚举的数不相同
            if first > 0 and nums[first] == nums[first - 1]:
                continue
            # c 对应的指针初始指向数组的最右端
            third = n - 1
            target = -nums[first]
            # 枚举 b
            for second in range(first + 1, n):
                # 需要和上一次枚举的数不相同
                if second > first + 1 and nums[second] == nums[second - 1]:
                    continue
                # 需要保证 b 的指针在 c 的指针的左侧
                while second < third and nums[second] + nums[third] > target:
                    third -= 1
                # 如果指针重合，随着 b 后续的增加
                # 就不会有满足 a+b+c=0 并且 b<c 的 c 了，可以退出循环
                if second == third:
                    break
                if nums[second] + nums[third] == target:
                    ans.append([nums[first], nums[second], nums[third]])
        
        return ans

作者：LeetCode-Solution
链接：https://leetcode.cn/problems/3sum/solution/san-shu-zhi-he-by-leetcode-solution/
来源：力扣（LeetCode）