分支定界算法和程序运行结果的说明.docVIP

分支定界算法和程序运行结果的说明 程序思想:“自动换行”去掉。 本程序用C语言实现，故依据C语言的语法，数字0表示甲城市，数字49表示乙城市。 矩阵m1和m2分别代表了50个城市中任意两个城市的距离和代价，而弗洛伊德算法求出之间的最短和最小mindist[50][50]和mincost[50][50]来存储。假设当前我们位于第cur号城市（cur）,从0号城市（甲城市）到cur号城市的距离和代价分别用currentDist和currentCost来表示，那么就可以得到以下剪枝策略： 如果currentDist + mindist[cur][49] = distBound 和currentCost + mincost[cur][49] = 两个条件有一个满足则进行剪枝回溯distBound表示剪枝的距离边界。我们可以把distBound的初始值设置为很大，当找到第一条可行通路后，就把该通路的路径总长赋值给distBound，这样当我们以后找到更小的通路时，再把更小的通路的路径总长赋值给distBound。如此循环，就逐渐缩短了所找到的通路的路径总长。 至于对路径的搜索则采用深度优先搜索策略，用栈实现。当我们访问到某个城市cur，这把该城市入栈，并把该城市的访问标志visited[cur]设置为1；当被访问到的城市不是乙城市且无满足条件的下一个相邻城市时，把当前城市出栈，并将visited[cur]设置为0。依次寻找所有节点，直到访问到乙城市，此时就获得了一条可行通路。 根据以上思想，得到以下的程序流程说明： 将m1.txt,m2.txt的数据读入两个50×50的数组用算法求出所有点对之间的最短和最小建立一个栈初始化首先把0结点入栈然后每次取出栈顶的结点进行扩展检查它的相邻结点确定下一个当前最优路径上的结点扩展的结点入栈更新distBound如果发现超出当前的distBound或者费用的界,则进行剪枝然后回溯找到一个解后进行然后回溯如此进行直到栈空m1.txt” 和“m2.txt”与可执行文件“分支定界实现程序.exe”放在同一个文件夹下，然后双击打开“分支定界实现程序.exe”即可运行程序。运行结果如下面的3个图所示： 图 一 图 二 图 三 从图3中可见，满足条件的最短路径路径长度为464，路径代价为1448，路径所经历的节点数为14个，分别是：