算法设计与分析（八）整理.pptVIP

1 ? 2 1 2 由结点2生成结点3，即皇后2放到第2行第2列。 利用限界函数杀死结点3。 返回结点2继续扩展。 （结点4，5，6，7不会生成） 3 x1=1 x2=2 B 1 ? ? 2 1 2 由结点2生成结点8，即皇后2放到第2行第3列。 结点8变成新的E结点。 解向量：（1，8） 从结点8继续扩展。 3 x1=1 x2=2 B 8 x2=3 .精品课件. * 1 ? ? 2 3 1 2 由结点8生成结点9，即皇后3放到第3行第2列。 利用限界函数杀死结点9。 返回结点8继续扩展。 （结点10不会生成） 3 x1=1 x2=2 B 8 x2=3 9 x3=2 B 1 ? ? 2 ? ? ? 3 1 2 结点8的所有儿子已经生成，但没有导出答案结点，变成死结点。 结点8被杀死。 返回结点2继续扩展。 3 x1=1 x2=2 B 8 x2=3 9 x3=2 B 11 x3=4 B 由结点8生成结点11，即皇后3放到第3行第4列。 利用限界函数杀死结点11。 返回结点8继续。 （结点12不会生成） .精品课件. * 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)是由根到一个结点的路径。 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。 .精品课件. * 回溯法思想 第一步：为问题定义一个状态空间，这个空间必须至少包含问题