图论路径问题.docxVIP

图论及其应用课程名：图论及其应用姓名：xxx学号：S140231022 专业：计算机技术 指导老师：xxx 完成时间：2014年12月16日图论最短路径问题Dijkstra算法求最短路径的应用摘要：边上有数的图称为加权图。若边e标记数k，成为e的权为k。在加权图中，链的长度为链上的所有边的权值之和。在加权图中，我们经常需要找出两个指定点之间的最短路径，解决最短问题存在几个不同的算法。本文介绍迪克斯曲拉算法，它是求出一个连通加权简单图中从结点a到z的最短路。在实际应用中可以解决路程不确定性带来的浪费时间的现象。关键字：Dijkstra；最短路径；路程；1 图论概述1.1 引言图论是一个古老的数学分支，它起源于游戏难题的研究。图论的内容十分丰富，应用得相当广泛，许多学科，诸如运筹学、信息论、控制论、网络理论、博弈论、化学、生物学、物理学、社会科学、语言学、计算机科学等，都以图作为工具来解决实际问题和理论问题。随着计算机科学的发展，图论在以上各学科中的作用越来越大，同时图论本身也得到了充分的发展。1.2 关系图论本身是应用数学的一部份，因此，历史上图论曾经被好多位数学家各自独立地建立过。关于图论的文字记载最早出现在欧拉1736年的论著中，他所考虑的原始问题有很强的实际背景。1.3 起源图论起源于著名的哥尼斯堡七桥问题。在哥尼斯堡的普莱格尔河上有七座桥将河中的岛及岛与河岸联结起来问题是要从这四块陆地中任何一块开始，通过每一座桥正好一次，再回到起点。然而无数次的尝试都没有成功。欧拉在1736年解决了这个问题，他用抽像分析法将这个问题化为第一个图论问题：即把每一块陆地用一个点来代替，将每一座桥用联接相应的两个点的一条线来代替，从而相当于得到一个“图”（如下图）。欧拉证明了这个问题没有解，并且推广了这个问题，给出了对于一个给定的图可以某种方式走遍的判定法则。这就是后来的欧拉路径和欧拉回路。这项工作使欧拉成为图论〔及拓扑学〕的创始人。1.4 拓扑学拓扑学的英文名是Topology，直译是地志学，也就是和研究地形、地貌相类似的有关学科。我国早期曾经翻译成“形势几何学”、“连续几何学”、“一对一的连续变换群下的几何学”，但是，这几种译名都不大好理解，1956年统一的《数学名词》把它确定为拓扑学，这是按音译过来的。拓扑学是几何学的一个分支，但是这种几何学又和通常的平面几何、立体几何不同。通常的平面几何或立体几何研究的对象是点、线、面之间的位置关系以及它们的度量性质。拓扑学对于研究对象的长短、大小、面积、体积等度量性质和数量关系都无关。举例来说，在通常的平面几何里，把平面上的一个图形搬到另一个图形上，如果完全重合，那么这两个图形叫做全等形。但是，在拓扑学里所研究的图形，在运动中无论它的大小或者形状都发生变化。在拓扑学里没有不能弯曲的元素，每一个图形的大小、形状都可以改变。例如，前面讲的欧拉在解决哥尼斯堡七桥问题的时候，他画的图形就不考虑它的大小、形状，仅考虑点和线的个数。这些就是拓扑学思考问题的出发点。2 图论基本概念2.1 图的定义有序三元组称为一个图，其中：(1)是有穷非空集，称为顶点集，其元素叫做图的顶点；(2)称为边集，其元素叫做图的边；(3)是从边集到顶点集的有序或者无序对集合的影射，称为关联函数。2.2 图的分类在图中，与中的有序偶对应的边称为图的有向边(或弧)，而与中顶点的无序偶对应的边称为图形的无向边，每一条边都是无向边的图，叫做无向图，记为；每一条边都是有向边的图叫做有向图，记为；既有无向边又有有向边的图叫做混合图。2.3 权如果图中任意一条边上都附有一个数，则称这样的图为赋权图，称为边上的权。3 最短路径问题最短路径问题是图论中的一个基本问题。在赋权图中，每条边都有一个数值(长度、成本、时间等)，找出两节点之间总权和最小的路径就是最短路径问题。最短路径问题，通常归属为三类：(1)单源最短路径问题：包括确定起点的最短路径问题和确定终点的最短路径问题。确定终点与确定起点的最短路径问题相反，该问题是已知终点，求最短路径问题。在无向图中该问题与确定起点的问题完全等同，在有向图中该问题等同于把所有路径方向反转的确定起点的问题。(2)确定起点终点的最短路径问题：即已知起点和终点，求两结点之间的最短路径。(3)全局最短路径问题：求图中所有的最短路径。4 Dijkstra算法Dijkstra原理首先，引进一个辅助向量D，它的每个分量D[i]表示当前所找到的从始点v到每个终点vi的的长度：如D[3]=2表示从始点v到终点3的路径相对最小长度为2。这里强调相对就是说在算法过程中D的值是在不断逼近最终结果但在过程中不一定就等于长度。它的初始状态为：若从v到vi有弧，则D为弧上的权值；否则置D为∞。显然，长度为 D[j]=Min{D