计算机算法基础9课件.pptVIP

第九章 分枝－限界法;第八章中的基本概念;分枝－限界法;例9.1 4-皇后问题的状态空间树。;采用FIFO分枝－限界法检索4-皇后问题的状态空间树：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树（续）：;采用FIFO分枝－限界法检索4-皇后问题的状态空间树：;4-皇后问题—回溯 vs FIFO分枝-限界;LC-检索（Least Cost）;如何衡量结点的优先等级？;例：在量度2）下各结点的代价： 结点 代价 1 4 18，34 3 29，35 2 30，38 1 其余结点(除31、39) ≥3，2，1;特点： 标准1：偏向于选择生成儿子结点数目最小的结点 作为E结点。 标准2：偏向于选择由根到最近的那个答案结点路 径上的结点作为E结点进行扩展。;结点成本函数;结点成本函数的计算;计算结点成本函数的困难; ：设 是由X到达一个答案结点所需成本的 估计函数。 性质：单纯使用 选择E结点会导致算法偏向 纵深检查。;如何避免单纯考虑 造成的纵深检查？ 引进h(X)改进成本估计函数。 h(X)：根结点到结点X的成本。;LC-检索：选择 值最小的活结点作为下一个E-结点。 特例： BFS： 依据级数来生成结点，令 ＝0； f (h(X)) ＝X的级数 D-Search：令f (h(X)) ＝0；而当Y是X的一个儿子时， 总有 ≥ 。;15-谜问题（问题描述）;问题状态??15块牌在棋盘上的任一种排列。 初始状态：初始排列（任意给定的） 目标状态：目标排列（确定的） 棋盘存在16！种（约20万亿种）不同排列，而对于任一给定的初始状态，可到达的状态为这些排列中的一半。;如何判定目标状态在初始状态的状态空间中？;2）记POSITION(i)为编号为i的牌在初始状态中的位置； POSITION(16)表示空格的位置。 例图(a) POSITION(1:16)= (1,5,2,3,7,10,9,13,14,15,11,8,16,12,4,6) 3）记LESS(i)是这样牌j的数目： j＜i，但POSITION(j) POSITION(i)， 即：编号小于i但初始位置在i之后的牌的数目。 例：LESS(1)=0; LESS(4)=1; LESS(12)=6; 目标状态是否在初始状态的状态空间中的判别条件由定理7.1给出： 定理7.1 当且仅当 是偶数时， 目标状态可由此初始状态到达。 证明 （略）;15迷问题状态空间树的构造 从初始状态出发，每个结点的儿子结点表示由该状态通过一次合法的移动而到达的状态。 注：移动牌与移动空格是等效的。状态空间树中标注空格的一次合法移动。 空格的一次合法移动有四个可能的方向： 上、下、左、右。;15-谜问题实例;FIFO检索;FIFO检索;15-谜问题深度优先检索;简单检索存在的问题：呆板和盲目; 该方法实际上是不可操作的——c(X)不可能通过简单的方法求出。精确计算c(X)的工作量与求解原始问题相同;