回溯法与N皇后问题

回溯法

回溯法是用来解决这样的问题：在相对于问题的输入规模按照指数速度增长的域中，找出一个具有指定特性的元素，如在图顶点的所有排列中求一个哈密顿回路，或者背包问题。

回溯法实际上是对穷举查找的优化 。它通过对所做的选择构造一颗所为的空间状态树来实现。具体来说，树的根节点表示在查找前的初始状态，树的第一层节点表示对解得第一个分量做的选择，以此类推。如果一个部分的构造解仍然有可能导致一个完整解，我们就说这个部分解在树中的相应节点是有希望的，否则就是无希望的。叶子节点则要么代表没希望的死胡同，要么代表算法的完整解。如果当前节点是有希望的，则向部分解添加下一个分量的第一个合法选择，进而将问题转向下一层的子女节点。如果当前节点无希望了，则回溯到其父母节点，考虑下一个可能选择。如果选择不存在，则继续回溯。直到找到完整解为止。

下面用N皇后问题来具体解释：

N皇后问题

从空棋盘开始，把皇后1放在第一行第一列。然后放皇后2，1、2列尝试失败，把它放在第三个位置，即格子(2,3)，但是这被证明是一个死胡同，因为皇后三将无位置可以放，因此皇后2回溯到(2,4)，这样皇后3可以放到(3,2)，但是这又是另一个死胡同。就这样不断的向下试探，不行就回溯到上层，直到找到最终的完整解。以下给出4皇后的状态空间树：