图论模型的构建共42页文档
- 格式:ppt
- 大小:5.13 MB
- 文档页数:42
图论模型此模型解决的是垃圾清运路线的最佳方案。
1、收集路线方案:用中国邮递员问题解决达到最佳经济效益和环保效果的垃圾清运路线问题是在车辆限载约束条件下的最优路径选择的问题,同时本项目涉及到深圳市南山区38个垃圾中转站,而每个中转站所覆盖的收集区域的选取需要满足最大覆盖域(即总体能够消耗最少资源来覆盖整片区域),收集区域的划分又要同时考虑实地情况(地形、路线、用地性质、人流量、垃圾量等)。
1.1模型建立:为简化问题讨论,在转运站覆盖区域的划分的问题上,需要运用“最大覆盖”及“模糊划分”的思想,具体划分出每个转运站所对应 的片区的近似最优划分。
将问题简化后,所要求解的问题就是每个垃圾中转站所对应的每个小分区的街道所构成的收集网络的垃圾收运车辆优化路线的问题,也就是要求每一条街道至少有一辆垃圾收运车经过并且车辆重复走过的街道的总长度最小化的问题。
对于这个问题,我们采用图论模型,将每个小分区的街道及收集点简化成网络图(也叫赋权图)。
对于网络图中的圈用圈点来表示,计算各个圈点的垃圾量(也即围成圈的街道上的垃圾量的和),将相邻(有公共顶点)的圈点用线连接起来,这就构成了圈点图。
遵循以垃圾中转站为圆心沿径向发散求最小生成树的原则将圈点图中相邻的圈点组块,使得每块的垃圾量近似于垃圾收运车载限,对应于圈点分块,网络图分开成了各个子网络图,对于每一个子网络图即可利用欧拉回路求得其最小路径线路。
现在给出最短欧拉回路求解举例:图代表的是其中一个收集子网络图,其中直线表示车辆需要经过的街道,线上的数字表示该街道的长度,该子网络图各条街道的垃圾量之和近似于收集车辆的载限。
现要求的是车辆经过每一条街道至少一次的最短回路,现在对这个问题分步求解:第一步:找出图中的奇点,如图中橙色小圆点所在处为奇点。
第二步:将各对奇点沿街道连接起来,使得连接奇点的所有街道总长度最小。
如下图绿色线条:第三步:得出经过每条街道至少一次的最短路径长度为所有街道的总长加上连接奇点的街道的长度。
目录目录 (1)第8章图论模型 (1)8.1图的基本知识 (2)8.1.1图的相关定义 (2)8.1.2图的顶点的度 (3)8.1.3子图及运算 (4)8.1.4 图的连通性 (5)8.1.5一些特殊图 (7)8.2图的矩阵表示 (7)8.2.1邻接矩阵 (7)8.2.2 关联矩阵 (8)8.3图的方法建模 (9)8.3.1 图的最小生成树问题及算法 (10)1.树及最小生成树 (10)2.克鲁斯卡尔算法 (11)3.普利姆算法 (13)8.3.2图的最短路问题及算法 (15)1.迪克斯特拉算法 (15)8.3.3图的匹配及应用 (20)1. 图的匹配 (20)2.指派问题: (23)3.最优指派 (27)8.3.4 图的覆盖及应用 (33)1. 逻辑算法 (34)2.启发式算法: (35)3.利用关联矩阵求极小覆盖: (37)8.3.5图的遍历问题 (38)1.边的遍历-中国邮差问题 (38)2.点的遍历-旅行商问题 (41)8.3.6 竞赛图问题 (48)1.竞赛图的定义 (48)2.循环比赛排名 (50)8.4 实战篇 (51)第8章图论模型图论(Graph Theory)18世纪起源于欧洲。
瑞士著名数学家欧拉(Euler)于1736 年发表的第一篇图论论文—“哥尼斯堡七桥问题”,不但解决了曾经困扰了人们多年的难题,同时它宣告了图论这门学科的诞生。
在普鲁士的小镇哥尼斯堡,一条河穿城而过,河中央有两个小岛,小岛之间及岛与河岸共有七座桥连接。
能否从四块陆地中的任何一处出发,恰好通过每座桥一次再回到起点,这就是著名的“哥尼斯堡七桥问题”。
人们曾经做过很多尝试,但是都没有获得成功。
为了解决这个问题,欧拉将问题进行几何抽象:将陆地分别用“点”代替,将桥用连接这些点的“线”来代替,得到一个包含四个“点”,七条“线”的“图”,将问题转化为“如何从一点出发一笔画出这个图,最后回到起点”的问题。
因为每次经过一个点必须消耗掉两条与该点相关联的边(从一边进入,另一条边离开),所以和每个点相关联的边的数量应该是一个偶数,此问题显然是无解的。
第九章 图论模型现实世界的许多实际问题都可以用图形来解释或说明.例如通讯网络就可以用图的形式直观的表现出来:点可以表示通讯中心,而边表示通讯线路.图论模型是应用十分广泛的数学模型,它已经在物理、化学、控制论、信息论、科学管理和计算机等领域.由于它具有图形直观,方法简单容易掌握的特点,因此在实际、生活和数学建模中,有许多问题可以运用图论的理论和方法解决.§9.1图论起源图论起源于18世纪欧拉对哥尼斯堡七桥问题的研究.哥尼斯堡是18世纪东普鲁士的一个城市,城中有一条普雷格尔河,河中有两个岛,河上有七座桥,如图1所示.图1 当时那里的居民热终于思考这样一个问题,一个人能否经过七座桥且每座桥只走过一次,最后回到出发点.能否用数学的方法解决这个问题一贯成为当时居民的一个悬而未决的问题.1736年欧拉创造性的将陆地用点表示,桥用边表示,从而将这个问题转化为如图2所示的一笔画问题,即能否从某个点开始一笔画出这个图形,最后回到原点而不重复.欧拉证明了这个问题是不可能的.图2欧拉解决七桥问题时,其方法超出了常用的数学方法,充分发挥自己的想象力,用了全新的思想方法,从而使得问题得到完美解决.由于这一项开创性的工作,产生了“图论”这门崭新学科,欧拉被认为是图论的创始人.ABCDABCD1e 2e 5e 6e 7e 4e 3e§9.2基本概念定义1 图G 由两个点集合V 以及边集合E 组成,记为(),G V E =,其中: (1)V 是顶点构成的集合;(2)E 是连接某些顶点对构成的边组成的集合.例1 {}1234,,,V v v v v =,{}12232434,,,E e e e e =,画出图(),G V E =.图3注:图分为无向图和有向图.定义2 若图(),G V E =的边均没有方向,这样的图成为无向图.例如图2,图3为无向图.无向图的边称为无向边,无向边是由两个顶点构成的无序对,无序对通常用圆括号表示. 例2 (),i j v v 表示一条无向边,(),i j v v 与(),j i v v 是同一条边.定义3 若图(),G V E =的边均有方向,这样的图称为有向图.有向图的边称为有向边,有向边是由两个顶点构成的有序对,有序对通常用尖括号表示.有向边又称为弧. 例3,i j v v 表示一条有向边,,i j v v与,j i v v 是两条不同的有向边.定义4 一条边的端点称为与这条边关联,反之,一条边称为与它的端点关联.与同一条边关联的两个端点是邻接的.如果两边有一个公共端点,则这两条边是邻接的。