17章分枝-限界法137.pptVIP

分枝-限界法 分枝－一个节点成为E节点后,它要展开它的所有子节点; 这些子节点放在一个称为活节点表的数据结构中; 按一定的规则从活节点表中取出一个节点作为E节点. 除了FIFO和LIFO规则外,本章主要介绍一种启发式的最小成本检索方法(LC检索). 成本函数 设Cost(x)为可行解的成本，(最小)优化问题要求找有最小成本的可行解。 定义状态空间树上任一结点x的成本函数 c(x)如下: 如x为可行叶结点则 c(x)=Cost(x);否则c(x)=状态空间树上以x为根的子树中可行解成本的最小值 如其子树中无可行解则c(x)=∞ LC-检索 每次从活节点表中取出最小成本节点作为E-节点并展开其全部子节点 但在展开前不知道c(x)的值 以c(x)的下界估值?(x)做LC-检索-启发式; 要求?(x)满足: ?(x)=Cost(x),当x为可行叶节点时; 可证明以?(x)做LC-检索可以找到优化解 LC-检索算法 E=T; 置活节点表为空; while(true){ if E是可行解 return; for E 的每个子节点x {Add(x);parent(x)=E} if 活节点表空 return(“ no answer”) delete(E);} LC-检索算法 delete(E)从活节点表中取出有最小?(x)