一、454.四数相加II
题目链接：力扣
我的思路：我一开始想着把前三个数组中每个数组取一个数，求其加和，存储在哈希表中，然后遍历搜索能让第四个数组中的数变为0的数是否在哈希表中已经存在了。但是计算量好大啊，因为每个数组的长度n在1到200之间，这样计算次数也会贼多。然后我就没有继续往下想了，因为我感觉就算是两两加和，可能这样子计算量也会非常大。
卡子哥思路：先求出数组1 和 数组2中两两元素的加和，然后放入哈希表中；然后再去遍历求出后面两个数组中每两个元素的加和为多少，每次求出两个元素的加和后，都去哈希表中查看存不存在这个值的相反数。————所以其实我的思路和卡子哥的思路一样，只是我不够自信。
本题解题步骤：
-
首先定义 一个unordered_map，key放a和b两数之和，value 放a和b两数之和出现的次数。
-
遍历大A和大B数组，统计两个数组元素之和，和出现的次数，放到map中。
-
定义int变量count，用来统计 a+b+c+d = 0 出现的次数。
-
在遍历大C和大D数组，找到如果 0-(c+d) 在map中出现过的话，就用count把map中key对应的value也就是出现次数统计出来。
-
最后返回统计值 count 就可以了
C++代码:
class Solution {
public:
int fourSumCount(vector<int>& A, vector<int>& B, vector<int>& C, vector<int>& D) {
unordered_map<int, int> umap; //key:a+b的数值，value:a+b数值出现的次数
// 遍历大A和大B数组，统计两个数组元素之和，和出现的次数，放到map中
for (int a : A) { //范围for循环
for (int b : B) {
umap[a + b]++;
}
}
int count = 0; // 统计a+b+c+d = 0 出现的次数
// 在遍历大C和大D数组，找到如果 0-(c+d) 在map中出现过的话，就把map中key对应的value也就是出现次数统计出来。
for (int c : C) {
for (int d : D) {
if (umap.find(0 - (c + d)) != umap.end()) {
count += umap[0 - (c + d)];
}
}
}
return count;
}
};
二、383. 赎金信
1.哈希表法
本题 和 242.有效的字母异位词 是一个思路，所以我一下就想到了和卡子哥一样的使用哈希表的思路——用一个长度为26的数组来记录magazine里字母出现的次数。然后再用ransomNote去验证这个数组是否包含了ransomNote所需要的所有字母。
我还有一个思路——》先用一个哈希表来统计magazine里面的各个字符出现的次数，然后在遍历ransomNote的时候把ransomNote里面出现的字符在哈希表中减去1次。——》但是这个思路实际上和第一种思路本质上一样
注意：
些同学可能想，用数组干啥，都用map完事了，其实在本题的情况下，使用map的空间消耗要比数组大一些的，因为map要维护红黑树或者哈希表，而且还要做哈希函数，是费时的！数据量大的话就能体现出来差别了。 所以数组更加简单直接有效！
class Solution {
public:
bool canConstruct(string ransomNote, string magazine) {
int record[26] = {0};
//add
if (ransomNote.size() > magazine.size()) {//我觉得这个if条件没有必要，因为如果ransomNote比magazine长的话，通过下面的两个for循环也能够判断出来；只不过这样写了以后对于这种特殊情况判断的会比较快把，节省了运行时间。
return false;
}
for (int i = 0; i < magazine.length(); i++) {
// 通过recode数据记录 magazine里各个字符出现次数
record[magazine[i]-'a'] ++;
}
for (int j = 0; j < ransomNote.length(); j++) {
// 遍历ransomNote，在record里对应的字符个数做--操作
record[ransomNote[j]-'a']--;
// 如果小于零说明ransomNote里出现的字符，magazine没有
if(record[ransomNote[j]-'a'] < 0) {
return false;
}
}
return true;
}
};
2.暴力枚举法（拓展一下思路）
难想明白的地方：因为第一层for循环就是对magazine字母的遍历，所以不用担心与救赎金字符串中匹配的字符是之前已经用来与救赎金匹配过的字符！
然后我还在思考一个问题：第一层for遍历ransomNote，第二层遍历的时候删除magazine里面的字符会不会更好呢？——》哎，其实时间复杂度是一个数量级的，没必要纠结来纠结去的。
class Solution {
public:
bool canConstruct(string ransomNote, string magazine) {
for (int i = 0; i < magazine.length(); i++) {
for (int j = 0; j < ransomNote.length(); j++)
{
// 在ransomNote中找到和magazine相同的字符
if (magazine[i] == ransomNote[j])
{
ransomNote.erase(ransomNote.begin() + j); // ransomNote删除这个字符
break;
}
}
}
// 如果ransomNote为空，则说明magazine的字符可以组成ransomNote
if (ransomNote.length() == 0) {
return true;
}
return false;
}
};
-
时间复杂度: O(n^2)
-
空间复杂度: O(1)
三、15. 三数之和（难）
给你一个包含 n 个整数的数组 nums，判断 nums 中是否存在三个元素 a，b，c ，使得 a + b + c = 0 ？请你找出所有满足条件且不重复的三元组。
注意： 答案中不可以包含重复的三元组（相对于两数之和那一题复杂的地方）。
示例：
给定数组 nums = [-1, 0, 1, 2, -1, -4]，
满足要求的三元组集合为： [ [-1, 0, 1], [-1, -1, 2] ]
1.哈希解法（不推荐）
两层for循环就可以确定 a 和b 的数值了，可以使用哈希法来确定 0-(a+b) 是否在 数组里出现过，其实这个思路是正确的——》但是我们有一个非常棘手的问题，就是题目中说的不可以包含重复的三元组。
把符合条件的三元组放进vector中，然后再去重，这样是非常费时的，很容易超时，也是这道题目通过率如此之低的根源所在。
去重的过程不好处理，有很多小细节，如果在面试中很难想到位。
时间复杂度可以做到O(n^2)，但还是比较费时的，因为不好做剪枝操作。
大家可以尝试使用哈希法写一写，就知道其困难的程度了。
哈希法C++代码:
class Solution {
public:
vector<vector<int>> threeSum(vector<int>& nums) {
vector<vector<int>> result;
sort(nums.begin(), nums.end());
// 找出a + b + c = 0
// a = nums[i], b = nums[j], c = -(a + b)
for (int i = 0; i < nums.size(); i++) {
// 排序之后如果第一个元素已经大于零，那么不可能凑成三元组
if (nums[i] > 0) {
break;
}
if (i > 0 && nums[i] == nums[i - 1]) { //三元组元素a去重
continue;
}
unordered_set<int> set;
for (int j = i + 1; j < nums.size(); j++) {
if (j > i + 2
&& nums[j] == nums[j-1]
&& nums[j-1] == nums[j-2]) { // 三元组元素b去重
continue;
}
int c = 0 - (nums[i] + nums[j]);
if (set.find(c) != set.end()) {
result.push_back({nums[i], nums[j], c});
set.erase(c);// 三元组元素c去重
} else {
set.insert(nums[j]);
}
}
}
return result;
}
};
-
时间复杂度: O(n^2)
-
空间复杂度: O(n)，额外的 set 开销
2.双指针
其实这道题目使用哈希法并不十分合适，因为在去重的操作中有很多细节需要注意，在面试中很难直接写出没有bug的代码。
而且使用哈希法 在使用两层for循环的时候，能做的剪枝操作很有限，虽然时间复杂度是O(n^2)，也是可以在leetcode上通过，但是程序的执行时间依然比较长 。
接下来我来介绍另一个解法：双指针法，这道题目使用双指针法 要比哈希法高效一些，那么来讲解一下具体实现的思路。
拿这个nums数组来举例：
1.首先将数组排序，然后有一层for循环，i从下标0的地方开始，同时定一个下标left 定义在i+1的位置上，定义下标right 在数组结尾的位置上。（这题没有让我们返回下标，所以我们对数组排序没有什么毛病；但要是需要返回下标就不能那么干了，因为一排序下标就都乱了）
题目中的---在数组中找到 abc 使得a + b +c =0，我们这里相当于 a = nums[i]，b = nums[left]，c = nums[right]。
接下来如何移动left 和right呢？
-
如果nums[i] + nums[left] + nums[right] > 0 就说明 此时三数之和大了，因为数组是排序过了的，所以right下标就应该向左移动，这样才能让三数之和小一些。
-
如果 nums[i] + nums[left] + nums[right] < 0 说明 此时 三数之和小了，left 就向右移动，才能让三数之和大一些；
-
重复以上操作，直到left与right相遇为止，移动途中遇到的符合nums[i] + nums[left] + nums[right] =0的nums元素就保存到result数组。
难点：对abc三个数都要做去重，分别如何对他们进行去重
时间复杂度：O(n^2)。
C++代码代码如下：里面涉及到了“剪枝”的思想
class Solution {
public:
vector<vector<int>> threeSum(vector<int>& nums) {
vector<vector<int>> result;//用于存放遍历过程中发现的三数之和等于0的数组
sort(nums.begin(), nums.end());//对数组排序
// 找出a + b + c = 0，即a = nums[i], b = nums[left], c = nums[right]
for (int i = 0; i < nums.size(); i++) {
// 排序之后如果i指向的元素已经大于零，那么无论如何组合都不可能凑成和为0的三元组，直接返回结果就可以了——》剪枝操作（重要）
if (nums[i] > 0) {
return result;
}
// 错误去重a方法，将会漏掉-1,-1,2 这种情况
/*
if (nums[i] == nums[i + 1]) {
continue;
}
*/
// 正确去重a方法（有问题）——》为什么不写为while(i > 0 && nums[i] == nums[i - 1]) {continue};——》这个问题已经解决了（写在下面了）
if (i > 0 && nums[i] == nums[i - 1]) {
continue;
}
int left = i + 1;
int right = nums.size() - 1;
while (right > left) {
/*
// 去重复逻辑如果放在这里，假设nums={0,0,0,0,0} ，可能直接导致right一直--、left一直++，从而导致结果集中漏掉了 0,0,0 这种三元组————》我对为什么不能放在这里有疑惑，但是这个不需要问，自己按这个想法写代码然后调试就能知道对错了
while (right > left && nums[right] == nums[right - 1]) right--;
while (right > left && nums[left] == nums[left + 1]) left++;
*/
if (nums[i] + nums[left] + nums[right] > 0) right--;
else if (nums[i] + nums[left] + nums[right] < 0) left++;
else {
result.push_back(vector<int>{nums[i], nums[left], nums[right]});
// 去重逻辑应该放在找到一个三元组之后，对b 和 c去重
while (right > left && nums[right] == nums[right - 1]) right--;
while (right > left && nums[left] == nums[left + 1]) left++;
// 找到答案时，双指针同时收缩
right--;
left++;
}
}
}
return result;
}
};
注意点：
1.nums[i]==nums[i+1]就return和nums[i]==nums[i-1]就return 的区别——》nums[i]==nums[i+1]就return 代表结果集里面的数组的第一个和第二个元素不能重复（但是题目要求是是结果集里面的数组不能重复，而不是说结果集里面的数组里面的元素不能重复）（因为left=i+1，所以nums[i]==nums[i+1]代表数组的第一个和第二个元素不能重复)；而nums[i]==nums[i-1]就return就是在判断现在指针i指向的数值是不是i指针之前指向过（去重操作）。
2.我本来有个问题：对a去重不不理解，为什么只比较nums[i] == nums[i - 1]，要是nums[i] == nums[i - 3]\nums[i] == nums[i - 4]的话怎么办呢？比如一个nums数组为{1,2,3,1,....}因为i=3是num[i]=1，不也有可能和nums[i-3]=1的值重复吗——》解答：因为nums数组我们上来就进行了排序，所以不会出现我举的这种里面的nums数组。
3.至于
3.b与c的去重
很多同学写本题的时候，去重的逻辑多加了 对right 和left 的去重：（代码中注释部分）
while (right > left) {
if (nums[i] + nums[left] + nums[right] > 0) {
right--;
// 去重 right
while (left < right && nums[right] == nums[right + 1]) right--;
} else if (nums[i] + nums[left] + nums[right] < 0) {
left++;
// 去重 left
while (left < right && nums[left] == nums[left - 1]) left++;
} else {
}
}
但细想一下，这种去重其实对提升程序运行效率是没有帮助的。
拿right去重为例，即使不加这个去重逻辑，依然根据 while (right > left) 和 if (nums[i] + nums[left] + nums[right] > 0) 去完成right-- 的操作。
多加了 while (left < right && nums[right] == nums[right + 1]) right--; 这一行代码，其实就是把 需要执行的逻辑提前执行了，但并没有减少 判断的逻辑。
最直白的思考过程，就是right还是一个数一个数的减下去的，所以在哪里减的都是一样的。
所以这种去重 是可以不加的。 仅仅是 把去重的逻辑提前了而已。
4.思考题
既然三数之和可以使用双指针法，我们之前讲过的1.两数之和 (opens new window)，可不可以使用双指针法呢？
如果不能，题意如何更改就可以使用双指针法呢？
两数之和 就不能使用双指针法，因为1.两数之和 (opens new window)要求返回的是索引下标， 而双指针法一定要排序，一旦排序之后原数组的索引就被改变了。
如果1.两数之和 (opens new window)要求返回的是数值的话，就可以使用双指针法了
四、18. 四数之和（难）
题意：给定一个包含 n 个整数的数组 nums 和一个目标值 target，判断 nums 中是否存在四个元素 a，b，c 和 d ，使得 a + b + c + d 的值与 target 相等？找出所有满足条件且不重复的四元组。
注意：
答案中不可以包含重复的四元组。
示例： 给定数组 nums = [1, 0, -1, 0, -2, 2]，和 target = 0。 满足要求的四元组集合为： [ [-1, 0, 0, 1], [-2, -1, 1, 2], [-2, 0, 0, 2] ]
1.思路
四数之和，和三数之和是一个思路，都是使用双指针法, 基本解法就是在15.三数之和 (opens new window)的基础上再套一层for循环。
但是有一些细节需要注意，例如： 不要判断nums[k] > target 就返回了，三数之和 可以通过 nums[i] > 0 就返回了，因为 0 已经是确定的数了，四数之和这道题目 target是任意值。比如：数组是[-4, -3, -2, -1]，target是-10，不能因为-4 > -10而跳过。但是我们依旧可以去做剪枝，逻辑变成nums[i] > target && (nums[i] >=0 || target >= 0)就可以了。
三数之和的双指针解法是一层for循环num[i]为确定值，然后循环内有left和right下标作为双指针，找到nums[i] + nums[left] + nums[right] == 0。
四数之和的双指针解法是两层for循环nums[k] + nums[i]为确定值，依然是循环内有left和right下标作为双指针，找出nums[k] + nums[i] + nums[left] + nums[right] == target的情况，三数之和的时间复杂度是O(n2)，四数之和的时间复杂度是O(n3) 。
那么一样的道理，五数之和、六数之和等等都采用这种解法。
class Solution {
public:
vector<vector<int>> fourSum(vector<int>& nums, int target) {
vector<vector<int>> result;
sort(nums.begin(), nums.end());
for (int k = 0; k < nums.size(); k++) {
// 剪枝处理（这里的剪枝和三数之和的剪枝不一样，有独特的细节需要考虑——》这里的target是传入的，所以他可以是负数，所以即使i、left、right指针都比k指针指向的数大，但是他们指向的数也可能都为负数，导致最终四个数的和越加越小——》所以要加上nums[k] >= 0这个条件；（例如nums={-4,-1,0,0}，target=-5，如果只有nums[k] > target这个判断条件的话，那么-4>-5，那么后面(-1)+(-4)=(-5)的这个结果集我们就保存不到了）
if (nums[k] > target && nums[k] >= 0) {//(剪枝)
break; // 这里使用break，统一通过最后的return返回
}
// 对nums[k]去重
if (k > 0 && nums[k] == nums[k - 1]) {
continue;
}
//接下来就到了：三数之和“的逻辑了
for (int i = k + 1; i < nums.size(); i++) {//i的初始位置设为k+1
// 2级剪枝处理（nums[k] + nums[i] > target的判断很妙）
if (nums[k] + nums[i] > target && nums[k] + nums[i] >= 0) {
break;
}
// 对nums[i]去重
if (i > k + 1 && nums[i] == nums[i - 1]) {
continue;
}
int left = i + 1;
int right = nums.size() - 1;
while (right > left) {
// nums[k] + nums[i] + nums[left] + nums[right] > target 会溢出
if ((long) nums[k] + nums[i] + nums[left] + nums[right] > target) {
right--;
// nums[k] + nums[i] + nums[left] + nums[right] < target 会溢出
} else if ((long) nums[k] + nums[i] + nums[left] + nums[right] < target) {
left++;
} else {
result.push_back(vector<int>{nums[k], nums[i], nums[left], nums[right]});
// 对nums[left]和nums[right]去重
while (right > left && nums[right] == nums[right - 1]) right--;
while (right > left && nums[left] == nums[left + 1]) left++;
// 找到答案时，双指针同时收缩
right--;
left++;
}
}
}
}
return result;
}
};
-
时间复杂度: O(n^3)
-
空间复杂度: O(1)
2.与前面的题的对比
对于15.三数之和 (opens new window)双指针法就是将原本暴力O(n^3)的解法，降为O(n^2)的解法，四数之和的双指针解法就是将原本暴力O(n^4)的解法，降为O(n^3)的解法。
之前我们讲过哈希表的经典题目：454.四数相加II (opens new window)，相对于本题简单很多，因为本题是要求在一个集合中找出四个数相加等于target，同时四元组不能重复。
而454.四数相加II (opens new window)是四个独立的数组，只要找到A[i] + B[j] + C[k] + D[l] = 0就可以，不用考虑有重复的四个元素相加等于0的情况，所以相对于本题还是简单了不少！
3.双指针题目的汇总
双指针法将时间复杂度：O(n^2)的解法优化为 O(n)的解法。也就是降一个数量级，题目如下：
链表相关双指针题目：
双指针法在字符串题目中还有很多应用，后面还会介绍到。
4.补充
二级剪枝的部分：
if (nums[k] + nums[i] > target && nums[k] + nums[i] >= 0) {
break;
}
可以优化为：
if (nums[k] + nums[i] > target && nums[i] >= 0) {
break;
}
因为只要 nums[k] + nums[i] > target，那么 nums[i] 后面的数都是正数的话，就一定 不符合条件了。
不过这种剪枝 其实有点 小绕，大家能够理解 文章给的完整代码的剪枝 就够了。
285
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
