回溯法
回溯法是用来解决这样的问题:在相对于问题的输入规模按照指数速度增长的域中,找出一个具有指定特性的元素,如在图顶点的所有排列中求一个哈密顿回路,或者背包问题。
回溯法实际上是对穷举查找的优化 。它通过对所做的选择构造一颗所为的空间状态树来实现。具体来说,树的根节点表示在查找前的初始状态,树的第一层节点表示对解得第一个分量做的选择,以此类推。如果一个部分的构造解仍然有可能导致一个完整解,我们就说这个部分解在树中的相应节点是有希望的,否则就是无希望的。叶子节点则要么代表没希望的死胡同,要么代表算法的完整解。如果当前节点是有希望的,则向部分解添加下一个分量的第一个合法选择,进而将问题转向下一层的子女节点。如果当前节点无希望了,则回溯到其父母节点,考虑下一个可能选择。如果选择不存在,则继续回溯。直到找到完整解为止。
下面用N皇后问题来具体解释:
N皇后问题
从空棋盘开始,把皇后1放在第一行第一列。然后放皇后2,1、2列尝试失败,把它放在第三个位置,即格子(2,3),但是这被证明是一个死胡同,因为皇后三将无位置可以放,因此皇后2回溯到(2,4),这样皇后3可以放到(3,2),但是这又是另一个死胡同。就这样不断的向下试探,不行就回溯到上层,直到找到最终的完整解。以下给出4皇后的状态空间树: