哈希表第8/9题--三数之和（梦破碎的地方）

题目描述：

给你一个整数数组 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 。

提示：

• 3 <= nums.length <= 3000
• -105 <= nums[i] <= 105

LeetCode链接：

leetcode15

思路分析：

这道题比较难，难在“注意：答案中不可以包括重复的三元组”，这意味着需要对结果进行去重。我们需要的注意的点是，这道题允许结果元组内出现重复（如：[-1,-1,2])，但不允许元组间重复(如：[-3,1,2]和[-3,1,2]。所以去重的时候需要注意。理解思路的时候请结合下面的代码。

这道题用双指针法比较简单，我们可以假设三元组的三个数依次为a, b, c。在开始时，我们首先需要对nums数组进行排序，这可以方便使用双指针法依次进行元素查找。首先a定义为nums数组的第一个元素，记为i；b记为left，指针的初始位置是i+1； c记为right， 指针的初始位置为最后一个， 即len(nums)-1。

进行for循环取num[i]的值，由于nums是排序过的，如果nums[i]>0, 那么无论如何，a+b+c也不可能等于0， 因为nums[i]是三个数中最小的一个，所以在此处设置一个if判断；

接下来就是对a进行去重的步骤了，这一步最难理解。假设nums=[-1,-1,0,1,2,3]。当i>0，即a不是位于nums数组的第一个位置时，并且nums[i]==nums[i-1]时，这个条件当i==1或者i==2时都满足，需要跳过这个i。

为什么呢？大家试想一下，如果不跳过这些重复的a，那当i=0时，a,b,c可能的结果有：[-1,-1,2]; [-1,0,1];当i=1时，可能的结果有[-1,0,1]。这就出现了元组重复，而如果跳过这些重复的a呢？是不是当i=1时就直接跳过了这个重复的元组了呢？对于b和c去重也是同理。

为什么去重的判断句是下面这样的呢？：

if i >0 and nums[i] == nums[i-1]:

                continue

因为：首先i>0是为了保证i-1不会下标溢出错误。为什么nums[i]==nums[i-1]呢？因为nums是经过排序的，如果元素相同，那么它们必定相邻。

那为什么不是 if nums[i]==nums[i+1]:  continue呢? 我们可以试想一下，如果是这种去重判断，那么上面的nums=[-1,-1,0,1,2,3]中，当i=0时，是不是直接就跳过了，当i=1时，有[-1,0,1]这个结果。相对上面的结果而言，是不是[-1,-1,2]这个结果就没了？  由此可见，如果按照这种去重设置，那么元组内的重复元素也会被去除，所以这种写法不可取！

好，接下来就是b和c的取值说明了，两个指针left和right，当right>left时，对a, b, c三者求和。当sum_<0时，说明b太小了，left指针得向右移动一步；当sum_>0时，说明c太大了，right指针得向左移动一步。当sum_==0时，说明a+b+c==0，符合要求的三元组诞生，此时需要对b和c去重。

如何理解对b和c去重的过程呢？假设nums=[-1,-1,0,0,1,1,2,3], 当i=0时，left=1时，满足条件的三元组有[-1,-1,2]; 当i=0, left=2时，right=5或者4时，有[-1,0,1], [-1,0,1], 这就是没有对c进行去重的结果，如果采用下面的代码对c去重，则当right=5时，result.append([-1,0,1]),然后由于nums[right]==nums[right-1]==1, 所以直接采用right-=1跳过right=4，同理b去重也是如此。

这样来讲应该本题的难点都讲清楚了，如果看不明白建议结合实例和代码继续理解几遍应该就没有太大的问题。这道题是不简单，去重比较绕，而需要注意right指针是做减法的，left和i是做加法的。

代码描述：

# 使用双指针
class Solution:
    def threeSum(self, nums:List[int]) -> List[List[int]]:
        result = []
        nums.sort()

        for i in range(len(nums)):
            # 如果第一个元素已经大于0，则不可能实现
            if nums[i] > 0:
                return result

            # 对第一个数a,跳过相同的元素以避免重复
            if i >0 and nums[i] == nums[i-1]:
                continue
            # left下标代表第二个数b
            left = i + 1
            right = len(nums) - 1
            
            while right > left:
                sum_ = nums[i] + nums[left] + nums[right]
                
                if sum_ < 0:
                    left += 1
                elif sum_ > 0:
                    right -= 1
                else:
                    # sum_等于0，将这三个数作为子列表添加到result中
                    result.append([nums[i], nums[left], nums[right]])
                    
                    # 对c，跳过相同的元素以避免重复
                    while right > left and nums[right] == nums[right - 1]:
                        right -= 1
                    # 对b，跳过相同的元素以避免重复
                    while right > left and nums[left] == nums[left + 1]:
                        left += 1
                    # 三个数，由于a固定，需要满足a+b+c=0，所以必须同时调整b和c。
                    # 如果只调整b或c其中一个，必然会重复。所以同时调整。    
                    right -= 1
                    left += 1
                    
        return result