实验7_物联1301班_刘悦_201308080112浅析.docxVIP

算法分析与设计实验报告 第 7 次实验 姓名刘悦学号201308080112班级物联1301班时间12.26上午地点工训楼C栋309 实验名称 分支限界法实验（单源最短路径）实验目的掌握并运用分支限界法基本思想。 运用分支限界法实现单源最短路径问题。实验原理类似于广度优先搜索，即每次搜索到一个结点的时候，就将其子结点全部加入待搜索队列中。 此算法采用优先队列，每次出队的为优先级最小的结点，即代价最小的结点先搜索。 使用剪枝策略，若此结点前面搜索到的代价比当前代价小，则剪去以此结点为根的子树。实验步骤 算法从图G 的源顶点s 和空优先队列开始。结点s 被扩展后，它的儿子结点被依次插入堆中。 算法每次从堆中取出具有最小当前路长的结点作为当前扩展结点，并依次检查与当前扩展结点相邻的所有顶点。 如果从当前扩展结点i 到j 有边可达，且从源出发，途经i 再到j 的所相应路径长度，小于当前最优路径长度，则将该顶点作为活结点插入到活结点优先队列中。 结点扩展过程一直继续到活结点优先队列为空时为止。 关键代码/*================================================================= 定义Graph类来存储的信息。 ******************************************************************* n表示图的顶点数。 prev表示前驱顶点数组，pre[i]表示顶点i的前驱顶点。 c是二维矩阵，用来表示图的邻接矩阵。 dist表示最短距离数组，记录从源到各顶点的距离，dist[i]表示源到顶点i的距离。 =================================================================*/ template<class Type> class Graph { public: void ShortesPaths(int); int n, //图G的顶点数 *prev; //前驱顶点数组 Type **c, //图G的邻接矩阵,-1表示无边相连,其余为相应边权值 *dist; //最短距离数组 }; /*================================================================= 定义MinHeapNode类来存储最小堆中顶点的信息。 ******************************************************************* i表示图的顶点的编号。 length用来记录从源到这个顶点的距离。 =================================================================*/ template<class Type> class MinHeapNode { friend Graph<Type>; public: operator int ()const{return length;} private: int i; //顶点编号 Type length; //当前路长 }; /*================================================================= ShortesPaths函数为使用优先队列求单源最短路径。 从源结点开始,找到其邻接点,若满足控制约束,就更新邻接点的距离值和前驱结点的值 同时将邻接点加入到优先队列中。 之后重复这个过程直至有点队列为空。 约束控制条件是： 一个结点的下界小于当前找到的最短路径长度。 不满足约束条件的结点，就不继续扩展即剪掉以该结点为根的子树。 =================================================================*/ template<class Type> void Graph<Type>::ShortesPaths(int v) { //定义最小堆得容量为1000 MinHeap<MinHeapNode<Type> >