图论读书报告.docVIP

最短路径问题 图论是数学的一个分支。它以图为研究对象。图论中的图是由若干给定的点及连接两点的线所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系，用点代表事物，用连接两点的线表示相应两个事物间具有这种关系。 图论起源于著名的哥尼斯堡七桥问题。在哥尼斯堡的普莱格尔河上有七座桥将河中的岛及岛与河岸联结起来。问题是要从这四块陆地中任何一块开始，通过每一座桥正好一次，再回到起点。然而无数次的尝试都没有成功。欧拉在1736年解决了这个问题，他用抽像分析法将这个问题化为第一个图论问题：即把每一块陆地用一个点来代替，将每一座桥用联接相应的两个点的一条线来代替，从而相当于得到一个“图”。欧拉证明了这个问题没有解，并且推广了这个问题，给出了对于一个给定的图可以某种方式走遍的判定法则。这就是后来的欧拉路径和欧拉回路。这项工作使欧拉成为图论〔及拓扑学〕的创始人。 最短路径问题是图论解决的典型实际问题之一，可用来解决厂区布局、管路铺设、线路安装等实际问题。在日常生活中，我们如果需要常常往返A地区和B地区之间，我们最希望知道的可能是从A地区到B地区间的众多路径中，那一条路径的路途最短。最短路径问题是图论研究中的一个经典算法问题，旨在寻找图（由结点和路径组成的）中两结点之间的最短路径。 算法具体的形式包括： （1）确定起点的最短路径问题：即已知起始结点，求最短路径的问题。 （2）确定终点的最短路径问题：与确定起点的问题相反，该问题是已知终结结点，求最短路径的问题。在无向图中该问题与确定起点的问题完全等同，在有向图中该问题等同于把所有路径方向反转的确定起点的问题。 （3）确定起点终点的最短路径问题：即已知起点和终点，求两结点之间的最短路径。 （4）全局最短路径问题：求图中所有的最短路径。 一、相关定义 1.1图 一集元素及它们之间的某种关系称为图。具体地说，图是一个二元组（V，E），其中集合V称为顶点集，集合E是V中元素组成的某些无序对的集合，称为边集。 例：给定G=(V,E)，其中 这便定义出一个图。 1.2赋权图 对图G的每条边e，赋以一个实数w(e)，称为边e的权。每个边都赋有权的图称为赋权图。权在不同的问题中会有不同的含义。例如交通网络中，权可能表示运费、里程或道路的造价等。 1.3最短路径问题 给定赋权图G及G中两点u, v，求u到v的具有最小权的路（称为u到v的最短路）。注：赋权图中路的权也称为路的长，最短(u，v)路的长也称为u，v间的距离，记为d(u，v)。最短路径问题是图论中的一个基本问题。在赋权图中，每条边都有一个数值——权（代表其长度、成本、时间等），找出两节点之间总权和最小的路径就是最短路径问题。最短路径算法包括指定顶点对之间的最短路径算法和所有顶点间的最短路径算法，前者对于运输的合理化具有重要理论意义，而后者的意义在于选择合理的中转中心，使得总的费用最少。最短路问题是一个优化问题，属于网络优化和组合优化的范畴。在图论中最典型的两种求最短路径算法分别是Dijkstra算法和Floyd算法，其中Dijkstra算法适用于前者，而Floyd算法适用于后者。 二、Dijkstra算法 2.1? Dijkstra算法 Dijkstra算法是典型最短路算法，用于计算一个节点到其他所有节点的最短路径。主要特点是以起始点为中心向外层层扩展，直到扩展到终点为止。Dijkstra算法能得出最短路径的最优解，但由于它遍历计算的节点很多，所以效率低。 2.2? Dijkstra算法思想 Dijkstra算法思想为：设G=(V,E)是一个带权有向图，把图中顶点集合V分成两组，第一组为已求出最短路径的顶点集合（用S表示，初始时S中只有一个源点，以后每求得一条最短路径 , 就将 加入到集合S中，直到全部顶点都加入到S中，算法就结束了），第二组为其余未确定最短路径的顶点集合（用U表示），按最短路径长度的递增次序依次把第二组的顶点加入S中。在加入的过程中，总保持从源点v到S中各顶点的最短路径长度不大于从源点v到U中任何顶点的最短路径长度。此外，每个顶点对应一个距离，S中的顶点的距离就是从v到此顶点的最短路径长度，U中的顶点的距离，是从v到此顶点只包括S中的顶点为中间顶点的当前最短路径长度。 2.3 ?Dijkstra算法具体步骤　　 以下面的例子说明 如下图，设A为源点，求A到其他各顶点（B、C、D、E、F）的最短路径。线上所标注为相邻线段之间的距离，即权值。 ? 算法执行步骤如下表： 步骤 S集合中 U集合中 1 选入A，此时S=A 此时最短路径A→A=0 以A为中间点，从A开始找 U=B、C、D、E、F A→B=6，A→C=3， A→其它U中的顶点=∞， 发现A→C=3权值为最