回溯算法

基本思想

- 可行解：解空间中满足约束条件的决策序列。
- 最优解：在约束条件下使目标值达到最大或者最小的可行解。
- 常用的两种剪枝函数：约束函数（在扩展节点处剪去不满足约束条件的子树）、限界函数（剪去不能达到最优解的子树）。

基本思想是：从状态空间的一条路往前走，能进则进，不能进（界限函数）则退回来，换一条路再试。

状态空间树是由根到所有其他节点的路径描述了某一问题的状态空间。它的每个节点对应求解问题的一个问题状态，且由一条从根到该节点的路径描述。在确定了解空间的组织结构后，回溯法就从开始结点（根结点）出发，以深度优先的方式搜索整个解空间。这个开始结点就成为一个活结点，同时也成为当前的扩展结点。在当前的扩展结点处，搜索向纵深方向移至一个新结点。这个新结点就成为一个新的活结点，并成为当前扩展结点。如果在当前的扩展结点处不能再向纵深方向移动，则当前扩展结点就成为死结点。此时，应往回移动（回溯）至最近的一个活结点处，并使这个活结点成为当前的扩展结点。回溯法即以这种工作方式递归地在解空间中搜索，直至找到所要求的解或解空间中已没有活结点时为止。

PS：
实际问题中不必生成整个状态空间树，在整个解空间中搜索时，只需有选择的搜索即可。