单源最短路径问题

实验四单源最短路径问题一、实验目的：1、理解分支限界法的剪枝搜索策略；2、掌握分支限界法的算法柜架；3、掌握分支限界法的算法步骤；4、通过应用范例学习动态规划算法的设计技巧与策略；二、实验内容及要求：1、使用分支限界法解决单源最短路径问题。2、通过上机实验进行算法实现。3、保存和打印出程序的运行结果，并结合程序进行分析，上交实验报告。三、实验原理：分支限界法的基本思想：1、分支限界法与回溯法的不同：1）求解目标：回溯法的求解目标是找出解空间树中满足约束条件的所有解，而分支限界法的求解目标则是找出满足约束条件的一个解，或是在满足约束条件的解中找出在某种意义下的最优解。2）搜索方式的不同：回溯法以深度优先的方式搜索解空间树，而分支限界法则以广度优先或以最小耗费优先的方式搜索解空间树。2、分支限界法基本思想：分支限界法常以广度优先或以最小耗费（最大效益）优先的方式搜索问题的解空间树。在分支限界法中，每一个活结点只有一次机会成为扩展结点。活结点一旦成为扩展结点，就一次性产生其所有儿子结点。在这些儿子结点中，导致不可行解或导致非最优解的儿子结点被舍弃，其余儿子结点被加入活结点表中。此后，从活结点表中取下一结点成为当前扩展结点，并重复上述结点扩展过程。这个过程一直持续到找到所需的解或活结点表为空时为止。3、常见的两种分支限界法：1）队列式(FIFO)分支限界法按照队列先进先出（FIFO）原则选取下一个节点为扩展节点。2）优先队列式分支限界法按照优先队列中规定的优先级选取优先级最高的节点成为当前扩展节点。四、程序代码#includeiostreamusingnamespacestd;intmatrix[100][100];//邻接矩阵boolvisited[100];//标记数组intdist[100];//源点到顶点i的最短距离intpath[100];//记录最短路的路径intsource;//源点intvertex_num;//顶点数intedge_num;//边数intdestination;//终结点voidDijkstra(intsource){memset(visited,0,sizeof(visited));//初始化标记数组visited[source]=true;for(inti=0;ivertex_num;i++){dist[i]=matrix[source][i];path[i]=source;}intmin_cost;//权值最小intmin_cost_index;//权值最小的下标for(inti=1;ivertex_num;i++)//找到源点到另外vertex_num-1个点的最短路径{min_cost=INT_MAX;for(intj=0;jvertex_num;j++){if(visited[j]==false&&dist[j]min_cost)//找到权值最小{min_cost=dist[j];min_cost_index=j;}}visited[min_cost_index]=true;//该点已找到，进行标记for(intj=0;jvertex_num;j++)//更新dist数组{if(visited[j]==false&&matrix[min_cost_index][j]!=INT_MAX&&//确保两点之间有边matrix[min_cost_index][j]+min_costdist[j]){dist[j]=matrix[min_cost_index][j]+min_cost;path[j]=min_cost_index;}}}}intmain(){cout请输入图的顶点数（100）：;cinvertex_num;cout请输入图的边数：;cinedge_num;for(inti=0;ivertex_num;i++)for(intj=0;jvertex_num;j++)matrix[i][j]=(i!=j)?INT_MAX:0;//初始化matrix数组cout请输入边的信息：\n;intu,v,w;for(inti=0;iedge_num;i++){cout请输入第i+1条边的信息(中间用空格隔开)：;cinuvw;matrix[u][v]=matrix[v][u]=w;}cout请输入源点（vertex_num）：;cinsource;Dijkstra(source);cout请输入终结点（vertex_num）：;cindestination;coutsource到destination最短距离是：dist[destination]，路径是：destination;intt=path[destination];while(t!=source){cout--t;t=path[t];}cout--sourceendl;return0;}五、结果运行与分析本例用使迪杰斯特拉算法来求单源最短路径，也即采用优先队列式分支限界法，按照优先队列中规定的优先级选取优先级最高的节点成为当前扩展节点。选定源节点后，从源节点开始扩展，并将其子节点按路径长度大小依次存于栈中，每次从栈顶弹出节点作为扩展节点，利用限界来剪去相应的节点。六、心得与体会通过这次实验，对迪杰斯特拉算法求解单源最短路径问题做了回顾，上学期修数据结构是已经了解，但是时间长了没有练习就基本忘记了，通过这次实验，更加深了对该算法的印象，也对动态规划做了回顾。本次实验最重要的还是分支限界法，使用限界，可以有效减小工作量，提高效率。