关于回溯的那些事

在lc刷题过程中，有一类题都可以用到回溯的思想处理，比如全排列、子集、组合、分割回文串等。网上有很多关于回溯算法的简单解释，比较容易入门，简单解释就是把所有的可能都试探一遍，成功的就记录下来，不成功的就返回上一次试探路径继续往其他方向试探，直到所有可能都尝试过，返回符合要求的记录。下面针对一些问题总结下这类问题如何统一解决。
首先列出解决该类问题的通用模版，看不懂无所谓，后面会根据例题逐一解释

public List<List<Integer>> backtracking(int[] candidates, int target) {
        List<List<Integer>> ans = new ArrayList<>();
        // 非必须，要求去重时需要
        Arrays.sort(candidates);
        this.recursion(candidates, 0, target, new ArrayList<>(), ans, new boolean[candidates.length]);
        return ans;
    }

	/**
     * 递归函数
     * @param nums 给定的数组，也可能是int n
     * @param start   非必须，每次循环的起始位置，防止数字重复使用
     * @param remained  非必须，有些题目会给定目标值，sum只和等于目标值之类的
     * @param list  临时list，存储部分结果集
     * @param ans 结果集
     * @param used 非必须，去重复所需
     */
    private void recursion(int[] nums, int start, int remained, List<Integer> list, List<List<Integer>> ans, boolean[] used) {
        if (remained == 0) {
            ans.add(new ArrayList<>(list));
        } else {
            for (int i = start; i < nums.length; i++) {
                if (remained < nums[i]) {
                    break;
                }
                if (i > start && nums[i] == nums[i-1]) continue;
                list.add(nums[i]);
                recursion(nums, i+1,remained - nums[i], list, ans, used);
                list.remove(list.size()-1);
            }
        }
    }

一、先看lc78题：
给定一组不含重复元素的整数数组 nums，返回该数组所有可能的子集（幂集）。
说明：解集不能包含重复的子集。
示例:
输入: nums = [1,2,3]
输出:
[[3],[1], [2], [1,2,3], [1,3], [2,3], [1,2], []]

    public List<List<Integer>> subsets(int[] nums) {
        List<List<Integer>> ans = new ArrayList<>();
        recursion(nums, 0, new ArrayList<>(), ans);
        return ans;
    }

    private void recursion(int[] nums, int start, List<Integer> list, List<List<Integer>> ans) {
        ans.add(new ArrayList<>(list));
        for (int i=start; i<nums.length; i++) {
            list.add(nums[i]);
            recursion(nums, i+1, list, ans);
            list.remove(list.size()-1);
        }
    }

这是最简单的回溯处理，给定数列无重复，结果集不重复。

二、lc90
给定一个可能包含重复元素的整数数组 nums，返回该数组所有可能的子集（幂集）。
说明：解集不能包含重复的子集。
示例:
输入: [1,2,2]
输出:
[ [2], [1], [1,2,2], [2,2], [1,2], []]

public List<List<Integer>> subsetsWithDup(int[] nums) {
        Arrays.sort(nums);
        List<List<Integer>> ans = new ArrayList<>();
        recursion(nums, 0, new ArrayList<>(), ans, new boolean[nums.length]);
        return ans;
    }

    private void recursion(int[] nums, int start, List<Integer> list, List<List<Integer>> ans, boolean[] used) {
        ans.add(new ArrayList<>(list));
        for (int i=start; i<nums.length; i++) {
            if (!used[i]) {
                // 去重复
                if (i > 0 && nums[i] == nums[i - 1] && !used[i - 1]) continue;
                used[i] = true;
                list.add(nums[i]);
                recursion(nums, i + 1, list, ans, used);
                list.remove(list.size() - 1);
                used[i] = false;
            }
        }
    }

这题比之前不一样的地方是给定数列有重复，处理上多了几个地方
1.首先对给定数组排序
2.增加去重复的判断语句
3.增加是否已经使用过的变量存储。
下面着重解释下2、3点，第1点是因为排序后方便对重复数据进行处理。
第2点， if (i > 0 && nums[i] == nums[i - 1] && !used[i - 1]) 说明：因为第一个数不可能有重复，所以跳过只有一个数的情况，中间的相等不多解释了。后面的这个比较难理解，为什么是前一个数字没有被使用的时候，选择跳过，这是因为在循环体里的规定首先给数组进行标示，然后递归，然后回溯。当上一个数字被标记为没有使用的意思就是这个循环处在回溯的情况下，相当于之前肯定有一次循环处理了使用的情况，这里再处理就多余了。另外for循环里还有一层是!used[i]的判断，是便于看，为了简洁可以和整体if合并到一起，变为if (used[i] || i > 0 && nums[i] == nums[i - 1] && !used[i - 1])。

三、lc40
给定一个数组 candidates 和一个目标数 target ，找出 candidates 中所有可以使数字和为 target 的组合。
candidates 中的每个数字在每个组合中只能使用一次。
说明：
所有数字（包括目标数）都是正整数。
解集不能包含重复的组合。
示例 1:
输入: candidates = [10,1,2,7,6,1,5], target = 8,
所求解集为:
[ [1, 7], [1, 2, 5], [2, 6], [1, 1, 6]]

public List<List<Integer>> combinationSum2(int[] candidates, int target) {
        List<List<Integer>> ans = new ArrayList<>();
        List<Integer> ansOne = new ArrayList<>();
        Arrays.sort(candidates);
        this.recursion(candidates, 0, target, ansOne, ans, new boolean[candidates.length]);
        return ans;
    }

    private void recursion(int[] nums, int start, int remained, List<Integer> list, List<List<Integer>> ans, boolean[] used) {
        if (remained == 0) {
            ans.add(new ArrayList<>(list));
        } else {
            for (int i = start; i < nums.length; i++) {
                // 循环中判断，减少一次递归
                if (remained < nums[i]) {
                    break;
                }
                if (i > start && nums[i] == nums[i-1]) continue;
                list.add(nums[i]);
                recursion(nums, i+1,remained - nums[i], list, ans, used);
                list.remove(list.size()-1);
            }
        }
    }

与之前的类似，多增加了目标值，每次递减，直至为0即可。过程中可以对减到负数的做剪支处理。判断去重复的条件改成了if (i > start && nums[i] == nums[i-1])，start是递归函数的参数，意思就是说第一次循环的时候可以用该值。

四、其他题目，都是可以套用模版
比如77、39、46、47、216等，下面对比下模版中的不同配置参数的意义

// 1. 判断去重的语句
// a 当给定数列中有重复数据，部分结果集中不能有相同值
if (used[i] || i > 0 && nums[i] == nums[i - 1] && !used[i - 1])
// b 给定数列有重复数据，结果集中不能有重复的list数据（位置不对，值一样）
 if (i > start && nums[i] == nums[i-1])

// 2.循环的范围
a. int i = start   从给定数列顺序往下执行，不允许回退
b. int i = 0    给定的数列可以随意选择

// 3.递归start参数
a. 向递归函数传递当前值i：数列中值可以无限次重复使用
b. 向递归函数传递i+1：每个值只能使用1次