回溯:在包含问题所有解的空间树中,用DFS嵌套的方式,从根节点出发,搜索整棵解空间树。
搜索至任何一个节点时,总是会先判断当前节点是否可以组成不非法的解。如果不可以,则结束对「以当前节点为根节点的子树」的搜索,向父节点回溯,回到之前的状态,获取该非法节点同一层右边的元素,继续判断。若当前节点不非法,则进入该子树(下一层),继续以DFS的方式寻找下一层中不非法的元素。
例题1:
给你一个 无重复元素 的整数数组 candidates 和一个目标整数 target ,找出 candidates 中可以使数字和为目标数 target 的 所有 不同组合 ,并以列表形式返回。你可以按 任意顺序 返回这些组合。
var combinationSum = function (candidates, target) {
const res = [];
const dfs = (start, temp, sum) => { // start是当前起点索引 temp是当前的集合 sum是当前求和
if (sum >= target) {
if (sum == target) {
res.push(temp.slice()); // temp拷贝一份 加入解集
}
return; // 退出当前递归,返回上一层
}
for (let i = start; i < candidates.length; i++) { // 从start开始遍历
temp.push(candidates[i]); // 每拿到一个数就在加入该数的基础上往下一层伸展
dfs(i, temp, sum + candidates[i]); // 传入的i是上层的i,则不会找到上层左边元素
temp.pop(); // 当次循环进的元素(包括该元素下面的所有层)判断完成,要把它弹出,放下一个元素进去判断
}
};
dfs(0, [], 0); // 最开始可选的数是从第0项开始的,传入一个空集合,sum也为0
return res;
};
- 在x层每进入一次内层dfs函数,即是进入了树的下一层(y层),若当前选中的元素(及该元素下面的子树中所有可能元素)不合法则会跳出y层,回到y层的父结点处(x层),取下一个元素再次进入y层判断。由此反复获取元素作为y层元素去判断,直到遍历完所有选择,返回x层,此时x层for循环执行完毕,返回到x层父节点,继续寻找下一个元素进入x层。
- 去除重复解:题目中要去除元素重复而只是位置不同的解,如[1,2,3]和[2,1,3]。方法:在遍历每一层时不是每个元素都会遍历到,而是在遍历中引入该层父节点的索引,只遍历父节点元素右边的元素,避免了在之前的父节点树中遍历过的解组合被再次以不同顺序生成。即,当前有哪些选项可选择,是根据上一步的选择得出的,所以做回溯时,要把状态还原成进入当前节点之前的状态。本题中:x层进行for循环时i为当前x层元素的索引。在for循环中进入下一层(y层)时,传入的start为i,即,在遍历y层元素时,只会遍历索引大于i的元素,即x层元素右边的元素。
例题2:
给定一个仅包含数字 2-9 的字符串,返回所有它能表示的字母组合。答案可以按 任意顺序 返回。给出数字到字母的映射如下(与电话按键相同)。注意 1 不对应任何字母。
var letterCombinations = function (digits) {
if (digits.length == 0) return []
const res = [];
const map = {
'2': 'abc',
'3': 'def',
'4': 'ghi',
'5': 'jkl',
'6': 'mno',
'7': 'pqrs',
'8': 'tuv',
'9': 'wxyz'
};
const dfs = (temp, index) => {
if (temp.length === digits.length) {
res.push(temp);
return; //判断当前组合是否已组合完毕,完毕则退出,让for循环放入下一个字母
}
const letters = map[digits[index]]; //取digits元素在map中对应的值
for (const letter of letters) { //循环取数组中元素
dfs(temp + letter, index + 1); //该元素加入当前组合进入下一层,index++以在下一层取到digits下一个元素
}
};
dfs('', 0);
return res;
};
- 在x层每进入一次内层dfs函数,即是进入了解树的下一层(y层),依次取出该层可能的选项与上面层的元素组合,若组合的长度达到要求则加入解集并返回父节点(x层),取下一个元素再次进入y层判断。由此反复获取元素作为y层元素去判断,直到遍历完所有选择,返回x层,此时x层for循环执行完毕,返回到x层的父节点,继续寻找下一个元素进入x层。
- 注意点:如何在进入下一层时获取digits的下一个元素对应的字母集合:在内层调用dfs时,实参加一。