[电脑基础知识]算法设计与分析第5章 回溯法.pptVIP

* 算法设计与分析 * 结束 End * 算法设计与分析 * 回溯法求解4皇后问题的搜索过程（一个可行解） Q Q × × Q Q × Q × × × × × Q Q Q Q × Q × × × × Q Q × × × Q Q Q Q Q Q Q × × Q (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) Q Q × Q * 算法设计与分析 * 4皇后问题的解空间树的生成 Q Q × × Q Q × Q × × × × × Q Q Q Q × Q 1 2 0 × 8 2 × × 1 3 13 3 14 1 1 4皇后问题形式化描述： Si = { 0, 1, 2, 3 }，0≤in，且xi≠xj(0≤i,jn ,i≠j)。 相应的隐式约束为：对任意0≤i,jn ，当i≠j时，|i-j|≠|xi-xj| 。 对应的解空间大小为n!。 * 算法设计与分析 * Q Q × Q × × × × Q Q × × × Q Q Q Q Q Q Q × × Q 1 2 0 × 8 2 × × 1 3 13 3 14 1 1 2 2 × 18 1 0 × 2 × 29 3 30 0 31 2 一个布局！ 一个解（布局）为： ( 1, 3, 0, 2 ) × * 算法设计与分析 * 图是4-皇后问题的解空间树。 解状态中包含答案状态31和39。 * 算法设计与分析 * 一般称这种用于确定n个元素的排列满足某些性质的解空间树为排列树（permutationtree）。排列树有n!个叶子结点，遍历排列树的时间为O(n!)。 * 算法设计与分析 * 分析 如图显示了4-皇后问题在得到第一个答案状态时，实际生成的那部分解空间树。图中，B代表被限制的结点，ans是第一个答案结点。 * 算法设计与分析 * 举例 例如，对于路径(1,3,0,2,4)，状态空间树上第2层的结点数（即x0的取值）为8； 因为x0=1，所以xl可取（相互不冲突）的列号只有5个； 因为xl=3，故x2可取的列号有4个…… 所以，选择这条路径，状态空间树上实际生成的问题状态数目为： l+8+8×5+8×5×4+8×5×4×3+8×5×4×3×2=1649 0 1 2 3 4 × × × × × × × × × × × × × × × × × × * 算法设计与分析 * 5.8 图的m着色问题 图着色问题描述为：给定无向连通图G=(V, E)和正整数m，求最小的整数m，使得用m种颜色对G中的顶点着色，使得任意两个相邻顶点着色不同。 整数m为该图的着色数。求一个图的色数m的问题称为图的m~着色最优化问题。 地图四色定理(Four color theorem)最先是由一位叫古德里的英国大学生提出来的。德·摩尔根（Augustus De Morgan，1806～1871）1852年10月23日致哈密尔顿的一封信提供了有关四色定理来源的最原始的记载。四色问题又称四色猜想，是世界近代三大数学难题之一。 四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。 1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密顿爵士请教。汉密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年汉 密尔顿逝世为止，问题也没有能够解决。 * 算法设计与分析 * 1878年，凯莱正式向伦敦数学会提出了这个问题。凯莱可是英国响当当的数学家，他看中的问题必定不同凡响。消息传到了律师肯普的耳朵里，引起了他的极大兴趣。不到一年，肯普就提交了一篇论文，声称证明了四色问题。人们以为事情到此就已经完结了。谁知到1890年，希伍德在肯普的文章中找到一处不可饶恕的错误。 不过，让数学家感到欣慰的是，希伍德没有彻底否定肯普论文的价值，运用肯普发明的方法，希伍德证明了较弱的五色定理。 1913年，伯克霍夫引