算法201309-分支限界.pptVIP

回顾 回溯法求解问题的基本思想 回溯法在包含问题所有解的解空间树中, 按深度优先的策略, 从根结点出发搜索解空间树。 回溯法求解问题过程中活结点，扩展结点的动态变化 Note1： 分支-限界算法的基本思想 LCBB( Least Cost Branch and Bound ) 作业 LC算法没能找到最小成本答案结点的原因在于 存在这样两个结点X和Y, 当c(X)c(Y)时,c(X)c(Y) ^ ^ 定理7. 2: 在有限状态空间树T中, 对于每一个结点X,令c(X)是c(X)的估计值且具有以下性质: 对于每一个结点Y、Z, 当且仅当c(Y)c(Z)时有c(Y)c(Z), 那么在使c(.)作为c(.)的估计值时, 算法LC到达一个最小的成本答案结点且终止。 ^ ^ ^ ^ 7.1.5 分支-限界算法 检索状态空间树的各种分支-限界算法都是在生成当前E-结点的所有儿子结点后, 再将另一个结点变为E-结点。之前我们使用一个成本估计函数c(.)来给出可由任一结点X得出的解的下界。采用下界函数使算法具有一定的“智能”, 另外还可以通过设置最小成本的上界使算法进一步加速。 ^ 如果U是最小成本解的上界, 则具有c(X)U的所有活结点X可以被杀死, 因为由X可以到达的所有答案结点有c(X)≥c(X)U ^ ^ U的初始值可用某种启发性方法得到, 也可以置为∞,每当找到