数据结构--回溯算法

原文链接（点击原文链接获取更多学习干货）：

http://blog.bools.cn/archives/1388

一、什么是回溯？

回溯，即深度优先，采用试探性的搜索原则，按优先条件向前进发，能进则进，无路则退，退而再另辟蹊径，直至得到所有有效的结果集，也可能无解，有时可能会产生重复的解。满足回溯条件的某个状态的点称为“回溯点”。
剪枝：在搜索过程中，为提高搜索效率利用一些过滤条件而忽略某些不可能产生解的情况，从而避免不必要的搜索，使得提前回溯。
最优剪枝：每次记录当前得到的最优值，如果能够判断出当前路径无法产生比当前最优值更优的情况时，可以提前回溯。

二、如何理解回溯算法

1、建立空间结构
2、在解空间结构上进行DFS搜索
3、找到剪枝点，减少无效搜索

 为了方便理解回溯，时常可以画多叉树来帮助理解。

三、回溯法应用

当问题是要求满足某种性质的所有解或最优解时，往往使用回溯法。回溯法的实现方法有两种：递归和迭代。回溯法通常使用递归方式实现，配合恰当的剪枝对复杂度优化有奇效。
回溯常见的类型：
 1、全排列 
 2、组合
 3、考虑xxx的所有可能
 4、存不存在一条xxx路径

 [组合总数2](https://leetcode-cn.com/problems/combination-sum-ii/)

以[2, 5, 2, 1, 2]为例子，先对数组进行排序，再和上一道题目一样，画出搜索多叉树。 

 但是由于这道题，每个数字只能使用一次，且结果不能有重复。因此在搜索树的同一层相同的数字只能出现一次。如果arr[i] == arr[i+1]，那么出现在i位置的组合情况肯定包含了i+1位置出现的组合情况。因为，可以直接去除i+1位置的。
   

if(start < cur && candidates[cur] == candidates[cur-1]) 
                continue; 

之所以candidates[cur] == candidates[cur-1]就是为了保留重复数字中第一个出现的的，因为它的组合情况肯定包含了后面的重复数字。通过这一步，就是去除了因为重复数字带来的重复解。

 又因为，只能每个数字只能使用一次，因此在循环中的递归起始位置要改为当前位置的下一个。而上一题中的数字可以重复使用，每次循环递归中的起始位置都是从cur开始。

换个角度，从cur+1开始，而不是从0开始，因为0 ~ cur的位置都被使用过了。

for(int cur =start; cur < length && target - candidates[cur] >=0; ++cur) {  
        // 跳过重复的元素
        if(start < cur && candidates[cur] == candidates[cur-1]) 
            continue; 
       
        path.push_back(candidates[cur]);
        //                            cur + 1即从当前位置下一个开始
        __combinationSum2(candidates, cur+1, target - candidates[cur], path);
        path.pop_back(); // 回溯回来时，恢复现场
    }

这道题的剪枝策略是：传递给下一层时不能出现负值 target - candidates[cur] >=0。为了配合剪枝，先对原数组进行排序。

完整的实现代码：

class Solution {
public:
    typedef std::vector<std::vector<int>> vectorSet;

    vectorSet combinationSum2(std::vector<int>& candidates, int target) {
        if(candidates.empty()) 
            return resultSet_;

        std::sort(candidates.begin(), candidates.end());

        __combinationSum2(candidates, 0, target, std::vector<int>{ });

        return  resultSet_;
    }

private:
    template<typename Vector>
    void __combinationSum2(std::vector<int>& candidates, int start, int target, Vector&& path) {  
        if(target ==0) {  
            resultSet_.push_back(path);
            return;
        }

        for(int cur =start; cur < candidates.size() && (target - candidates[cur] >=0); ++cur) {  
            // 跳过重复的元素
            if(start < cur && candidates[cur] == candidates[cur-1]) 
                continue; 
           
            path.push_back(candidates[cur]);
            __combinationSum2(candidates, cur+1, target - candidates[cur], path);
            path.pop_back();
        }
    }
    
    vectorSet resultSet_;
};

 [子集](https://leetcode-cn.com/problems/subsets/)

先画出多叉树，然后查看进入下一层的位置，看是否需要去重剪枝，基本就能确定。所给的问题是从n个元素的集合s中找出满足某种性质的子树时，相应的解空间成为子集树。

class Solution {
public:
    typedef std::vector<std::vector<int>> vectorSet;

    vectorSet subsets(std::vector<int>& nums) {
        resultSet_.emplace_back(std::move(std::vector<int>{ }));

        __subsets(nums, 0, std::vector<int>{ });

        return resultSet_;
    }

private:
    template<typename Vector>
    void __subsets(std::vector<int>& nums, int depth, Vector&& path) {  
        if(depth == nums.size()) { 
            return;
        }

        for(int i=depth; i < nums.size(); ++i) { 
            path.emplace_back(nums[i]);
            resultSet_.push_back(path);

            __subsets(nums, i+1, path);

            path.pop_back(); // 回溯
        }
    }

    vectorSet resultSet_;
};

欢迎关注技术公众号，获取更多C++学习干货！

我们能为你提供什么？

技术辅导：C++、Java、嵌入式软件/硬件

项目辅导：软件/硬件项目、大厂实训项目

就业辅导：就业全流程辅导、技术创业支持

对接企业HR：培养输送优质性人才