实验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的距离。 =================================================================*/templateclass Type class Graph { public: void ShortesPaths(int); int n, //图G的顶点数 *prev; //前驱顶点数组 Type **c, //图G的邻接矩阵,-1表示无边相连,其余为相应边权值 *dist; //最短距离数组 }; /*=================================================================定义MinHeapNode类来存储最小堆中顶点的信息。*******************************************************************i表示图的顶点的编号。 length用来记录从源到这个顶点的距离。 =================================================================*/ templateclass Type class MinHeapNode { friend GraphType; public: operator int ()const{return length;} private: int i; //顶点编号 Type length; //当前路长 }; /*=================================================================ShortesPaths函数为使用优先队列求单源最短路径。从源结点开始,找到其邻接点,若满足控制约束,就更新邻接点的距离值和前驱结点的值同时将邻接点加入到优先队列中。之后重复这个过程直至有点队列为空。约束控制条件是：一个结点的下界小于当前找到的最短路径长度。不满足约束条件的结点，就不继续扩展即剪掉以该结点为根的子树。 =================================================================*/templateclass Type void GraphType::ShortesPaths(int v) { //定义最小堆得容量为1000 MinHeapMinHeapNodeType H(1000); //定义最小堆中的结点E MinHeapNodeType E; //定义源为初始扩展节点 E.i=v; E.length=0; dist[v]=0; //搜索问