分枝定界算法摘要.pptVIP

分枝定界 * * 回溯算法：在问题的整个状态空间图上搜索一个解或全部解，并不断地使用约束函数（或约束条件）来控制搜索进程，一旦发现以某个节点为根的子树上不可能产生问题的解，就终止对这一子图的搜索，从而避免了许多不必要的工作，提高了效率。 分枝限界法：使用比回溯更为有效的约束函数来控制这种搜索进程，使 之能更好的朝着状态空间上有最佳解（即有最大目标函数或极小目标函数）的分支推进，以尽快地找出一个最佳解。 例：求四皇后问题的所有合法布局。 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例 旅行问题。 设五个城市之间的旅费由下表给出： max 20 11 8 20 5 7 max 22 10 23 4 8 6 max 9 7 3 6 9 20 max 19 2 15 14 34 24 max 1 5 4 3 2 1 即第I行第j列的数表示从Ci到Cj的旅费。城市之间无旅费用max表示。要求找出从每个城市出发，游历每个城市一次，最后返回出发地，找出旅费最少的路径。 -0 -0 -3 -0 -1 -8 -7 -6 -6 -14 Max 20 11 8 20 5 7 max 22 10 23 4 8 6 max 9 7 3 6 9 20 max 19 2 15 14 34 24 max 1 5 4 3 2 1 -0 -0 -3 -0 -1 -8 -7 -6 -6 -14 Max 12 0 0 11 5 0 max 12 3 15 4 2 0 max 2 0 3 0 3 11 max 12 2 1 0 17 10 max 1 5 4 3 2 1 14+6+6+7+8+1+0+3+0+0=45 综合数据库 type node=record a:array[1..5,1..5] of byte; b:byte;{空格的坐标} pnt,dep:word;{父节点和深度} end; Var data:array[1..2600] of node; temp:node; 产生式规则: 5条，即向CR（R=1，2，3，4，5）城市移动 生成结点的条件： 第一、?? 所求下界小于当前的上界（已求路径的费用） 第二、?? 到CR城市可行（即费用不为max）。 搜索策略 （BFS） 框图： 初始 head=0 Tail=1 初始化INIT;初始结点入队;DD ←max 结点出队out(temp1); 产生新结点；并求D值 For r:=1 to 5 do 把新结点与未扩展结点按D值从小到大排序 dep=5 y n DD← D Until head=tail 保存该方案 当前结点D值DD y n DDD 分枝限界法的算法框架 一、初始化 1、定义和说明 type node=record {结点定义} ………； statei{界变量}； ………； var {变量说明} open，tail{open表的首尾指针} list:array[0..max] of node；{建表} best{符合目标函数要求的解答} min{下界}；