【回溯算法】

回溯法

一、解空间树

给定一个复杂问题，其解决方案由若干个小的决策步骤组成的决策序列，所以问题的解可以表示为解向量X=（x1,x2,……，xn),每个x可取多个值，这样X的所有可能的取值便构成了问题的解空间，又称为解空间树。每个X便为问题可能的解。

二、回溯法

回溯法的核心思想是基于深度优先搜素，对问题的解空间树进行遍历，即从根节点出发，试图向下扩展，直到叶子节点，然后进行回溯，试图继续扩展下一个结点，直到遍历完整个解空间树。其从根节点到叶子结点的扩展路径便构成了问题的一组可能的解。不过其与深度优先搜索所不同的是，DFS是穷举式搜索，即其遍历完解空间中的每一个结点，而回溯法则通过约束函数和限界函数来限定扩展条件，以避免无效搜索。

三、算法框架

int X[n];//存放解向量
void backtrack(int i) {
    if (i = n+1)
        输出结果;
    else {
        for (int j = 下界; j <=上界 ; ++j) {//用j来枚举每一个i所可能的路径
            X[i]=j;//产生一个可能解的分量
            ……
            if (constraint(i)&&bound(i))
                backtrack(i+1);//满足约束条件和限界函数才往下扩展
        }
    }
}

四、典型应用

货箱装载问题：https://blog.csdn.net/qq_43643944/article/details/115097867