孙成敏《计算机算法设计与分析》第9章.pptVIP

第九章分支-限界法 9.1 一般方法 分支-限界法类似于回溯法，也是一种在问题的解空间树上搜索问题解的算法。但二者搜索方式不同。 分支-限界法 生成当前E-结点全部儿子之后，再生成其他活结点的儿子， 使用限界函数帮助避免生成不包含答案结点子树的状态空间 根据对状态空间数中结点检索次序的不同，可将分支-限界的设计策略分为： FIFO检索，活结点采用一张先进先出表（队列） LIFO检索，活结点采用一张先进后出表（堆栈） 例9.1 4-皇后问题 例9.1 4-皇后问题 9.1.1 LC-检索 问题： 在LIFO和FIFO分支-限界法中，对下一个E-节点的选择规则相当死板，在某种意义上是盲目的。对于可能快速检索到答案结点的结点没有给出任何优先权。 解决： 对活结点使用一个“有智力的”排序函数c(.)来选取下一个E-结点，往往可以加快到达一答案结点的速度。 9.1.1 LC-检索 要对活结点计算优先次序，必然要附加计算工作，即付出代价。对于任意结点X，要付出的代价可以用两种标准来度量： 9.1.1 LC-检索 c(.):“有智力的”排序函数，称为“节点的成本函数”： 状态空间树的根结点到X的成本 若X是答案结点 c(X)= ? 若X不是答案结点且子树X不包含任何答案结点