算法设计与分析（王多强）算法设计与分析 八.pptVIP

1 ? ? ? 2 1 2 由结点2生成结点13，即皇后2放到第2行第4列。 结点13变成新的E结点。 解向量：（1，4） 从结点13继续扩展。 3 x1=1 x2=2 B 8 x2=3 9 x3=2 B 11 x3=4 B 13 x2=4 1 ? ? ? 2 ? 3 1 2 由结点13生成结点14，即皇后3放到第3行第2列。 结点14变成新的E结点。 解向量：（1，4，2） 从结点14继续扩展。 3 x1=1 x2=2 B 8 x2=3 9 x3=2 11 x3=4 13 x2=4 14 x3=2 1 ? ? ? 2 ? 3 ? ? 4 1 2 由结点14生成结点15，即皇后4放到第4行第3列。 利用限界函数杀死结点15。 返回结点14，结点14不能导致答案结点，变成死结点，被杀死。 返回结点13继续扩展。 3 x1=1 x2=2 B 8 x2=3 9 x3=2 11 x3=4 13 x2=4 14 x3=2 B B 15 x4=3 B 1 ? ? ? 2 ? ? 3 1 2 由结点13生成结点16，即皇后3放到第3行第3列。 利用限界函数杀死结点16。 返回结点13，结点13不能导致答案结点，变成死结点，被杀死。 返回结点2继续扩展。 结点2不能导致答案结点，变成死结点，被杀死。 返回结点1继续扩展。 由结点1生成结点18，即皇后1放到第1行第2列。 3 x1=1 x2=2 B 8 x2=3 9 x3=2 11 x3=4 13 x2=4 14 x3=2 B B 15 x4=3 B 16 B x3=3 ? 1 1 2 3 4 由结点1生成结点18，即皇后1放到第1行第2列。结点18变成E结点。 1 2 3 x1=1 x2=2 B 8 x2=3 9 x3=2 11 x3=4 13 x2=4 14 x3=2 B B 15 x4=3 B 16 B x3=3 18 x1=2 19 24 29 30 31 x4=3 x3=1 x2=4 x2=1 x2=3 B B 答案结点 扩展结点18生成结点19，即皇后2放到第2行第1列。 返回结点18，生成结点29，即皇后2放到第2行第4列。结点29变成E结点。 利用限界函数杀死结点19。 返回结点18，生成结点24，即皇后2放到第2行第3列。 利用限界函数杀死结点24。 结点31是答案结点。 解向量：（2，4，1，3） 算法终止(找到了一个解)。 扩展结点29生成结点30，即皇后3放到第3行第1列。结点30变成E结点。 扩展结点30生成结点31，即皇后4放到第4行第3列。 4-皇后问题的回溯法求解动画 1 2 3 4 1 2 3 4 4-皇后问题回溯期间生成的树 回溯算法的描述 设(x1, x2, …xi-1)是由根到结点xi-1的路径。 T(x1, x2, …xi-1)是下述所有结点xi的集合，它使得对于每一个xi ， (x1, x2, … xi-1 ,xi)是由根到结点xi的路径。 限界函数Bi：如果路径(x1, x2, …xi)不可能延伸到一个答案 结点，则Bi(x1, x2, …xi)取假值，否则取真值。 解向量X(1:n)中的每个xi即是选自集合 T(x1, x2, …xi-1)且使Bi为真的xi。 回溯法思想 第一步：为问题定义一个状态空间，这个空间必须至少包含问题 的一个解 第二步：组织状态空间以便它能被容易地搜索。 典型的组织方法是图或树 第三步：按深度优先的方法从开始节点进行搜索 开始节点是第一个活节点（也是 E-节点：expansion node） 如果能从当前的E-节点移动到一个新节点，那么这个新节点将变成一个活节点和新的E-节点，旧的E-节点仍是一个活节点。 如果不能移到一个新节点，当前的E-节点就“死”了（即不再是一个活节点），那么便只能返回到最近被考察的活节点（回溯），这个活节点变成了当前的E-节点。 当我们已经找到了答案或者回溯尽了所有的活节点时，搜索过程结束。 回溯的一般方法 procedure BACKTRACK(n) integer k, n; local X(1:n) k?1 while k0 do if 还剩有没检验过的X(k)使得 X(k) ∈T(X(1),…X(k-1)) and B(X(1),…X(k))=true then if(X(1),…,X(k)) 是一条已抵达一答案结点的路径