回溯算法理论

一、回溯算法理论

回溯算法的本质是一种穷举搜索办法，一些问题只能通过穷举搜索实现。回溯是递归的副产品，回溯算法中的回溯函数实际上就是递归函数。

1、回溯算法能解决的问题

回溯算法能解决在集合中递归查找子集的问题：

• 组合问题：N个数里面按一定规则找出k个数的集合
• 切割问题：一个字符串按一定规则有几种切割方式
• 子集问题：一个N个数的集合里有多少符合条件的子集
• 排列问题：N个数按一定规则全排列，有几种排列方式
• 棋盘问题：N皇后，解数独等等

2、回溯法和问题的联系

因为回溯法解决的都是在集合中递归查找子集，集合的大小就构成了树的宽度，递归的深度，都构成的树的深度。
递归就要有终止条件，所以必然是一颗高度有限的树（N叉树）

3、回溯法模板

回溯法函数名一般为backTracking

1. 回溯算法返回值和参数：
   由于穷举搜索，因此回溯算法返回值一般为void
   回溯算法一般先确定逻辑，然后根据逻辑确定所需参数
2. 回溯算法终止条件：
   当搜索到了叶子节点，即找到了满足条件的答案，就可以结束本层递归
3. 回溯算法单层逻辑：
   其中for循环的层数就是该节点拥有多少个孩子（即该节点到下一层有多少条路径）

for (选择：本层集合中元素) {   
    处理节点;
    backtracking(路径，选择列表); // 递归
    回溯，撤销处理结果
}

回溯算法模板：

void backtracking(参数) {
    if (终止条件) {
        存放结果;
        return;
    }

    for (选择：本层集合中元素) {
        处理节点;
        backtracking(路径，选择列表); // 递归
        回溯，和处理节点时的操作时镜像关系
    }
}

4、回溯算法的剪枝操作

回溯算法本质是一个暴力枚举，为了改进其性能，需要对其进行剪枝操作。所谓剪枝操作就是将在for循环选择路径的过程中，对于不可能存在结果的路径不进行递归。