数学建模中的图论方法.docx
《数学建模中的图论方法.docx》由会员分享,可在线阅读,更多相关《数学建模中的图论方法.docx(40页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -数学建模中的图论方法一、引言我们知道, 数学建模竞赛中有问题A 和问题 B。一般而言,问题A 是连续系统中的问题,问题B 是离散系统中的问题。由于我们在高校数学训练内容中,连续系统方面的学问的比例较大,而离散数学比例较小。因此很多人有这样的感觉,A 题入手快,而B 题不好下手。另外,在有限元素的离散系统中,相应的数学模型又可以划分为两类,一类是存在有效算法的所谓 P 类问题,即多项式时间内可以解决的问题。但是这类问题在MCM 中特别少见,事实上,由于竞赛是开卷的,参考相关文献,使用现成的算法解决一个P 类
2、问题,不能显示参赛者的建模及解决实际问题才能之大小。仍有一类所谓的NP 问题,这种问题每一个都尚未建立有效的算法,或许 真的就不行能有有效算法来解决。命题往往以这种NPC问题为数学背景,找一个详细的实际模型来考查参赛者。这样增加了建立数学模型的难度。但是这也并不是说无法求解。一般来说,由于问题是详细的实例,我们可以找到特别的解法,或者可以给出一个近似解。图论作为离散数学的一个重要分支,在工程技术、自然科学和经济治理中的很多方面都能供应有力的数学模型来解决实际问题,所以吸引了很多争论人员去争论图论中的方法和算法。应当说,我们对图论中的经典例子或多或少仍是有一些明白的,比如, 哥尼斯堡七桥问题、中
3、国邮递员问题、四色定理等等。图论方法已经成为数学模型中的重要方法。很多难题由于归结为图论问题被奇妙的解决。而且,从历年的数学建模竞赛看,显现图论模型的频率极大,比如:AMCM90B扫雪问题。AMCM91B查找最优Steiner 树。AMCM92B紧急修复系统的研制最小生成树 AMCM94B运算机传输数据的最小时间边染色问题 CMCM93B 足球队排名 特点向量法 CMCM94B 锁具装箱问题最大独立顶点集、最小掩盖等用来证明最优性 CMCM98B 灾情巡察路线最优回路 等等。这里面都直接或是间接用到图论方面的学问。要说明的是,这里图论只是解决问题的一种方法,而不是唯独的方法。本文将从图论的角度
4、来说明如何将一个工程问题转化为合理而且可求解的数学模型,着重介绍图论中的典型算法。这里只是一些基础、简洁的介绍,目的在于明白这方面的学问和应用,拓宽大家的思路,期望起到抛砖引玉的作用,要把握更多仍需要我们进一步的学习和实践。可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 1 页,共 22 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -二、基本概念和性质第一给出图论中的一些基本概念。1一个图 G 由一个 顶点集 V 和
5、一个 边的集 E 组成。E 中每个元素e 是连接顶点集V 中两个顶点 u 和 v 的边,称e 与 u, v 关联。我们规定连接两个顶点u、v 至多有一条边,且一条边的两个顶 点不重合,这种图称为简洁图 。2顶点集为V ,边集为 E 的图 G 通常记为G= ( V ,E)。图 G1=(V 1,E1)称为 G 的子图 ,假如 V 1V , E1E。3顶点 v 的度或“次” 是指与 v 相关联的边的个数。图G 的度数之和为边数的两倍。4如图 G 中任意两个顶点u、v 之间都存在连接它们的路,称G 为连通图 。5 W=v0e1v1e2ekvk ,其中 eiE,vjV , ei 与 vi-1 , vi
6、关联,称W 是图 G 的一条 道路 。v0 是起点, vk 是终点。各边相异的道路叫做行迹,各顶点相异的道路叫做轨道。起点和终点重合的道路为 回路 。起点和终点重合的轨道为圈。包含图中每条边的回路称为Euler 回路 。含 Euler 回路的图称为Euler 图。6一个无圈的连通图称为树。树是最简洁而最重要的一类图。树有以下重要性质:性质:1在树中去掉任意一条边,所得的图是不连通的。2在树中任意两个不相邻的顶点u、v 之间添加一条新的边,所得的图恰有一个圈。下述定理是树的判肯定理:定理: 如图 G 具有以下性质中的两条,就它是树,且也具有第三条性质。1 G 是连通图。2 G 没有圈。3 G 的
7、顶点数 =G 的边数 +1。7假如图G=( V, E)的子图Gt=( V t, Et)是一个树,且V t=V ,称 G t 是 G 的 生成树 。G 连通的充要条件是G 有生成树。生成树一般而言数量很大。8设对图G= ( V , E)的每一条边e 给予一个实数W ( e),称为 e 的权, G 称为 赋权图 加权可编辑资料 - - - 欢迎下载精品名师归纳总结图。假设 G 是连通的赋权图,要找G 的连通子图G *= ( V, E* ),使得 W (G* )=eW e 为最E可编辑资料 - - - 欢迎下载精品名师归纳总结小。明显G* 应为 G 的一个生成树。G 的权 最小的生成树称为G 的 最
8、小生成树 。三、算法介绍31 最短轨道问题可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 2 页,共 22 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -背景: 给定连接如干城市的铁路网,寻求从指定城市v0 到各城 v 去的最短道路。数学模型: 图 G 为一赋权图,对任给的vVG ,寻求轨道Pv0,v ,使得WPv0,v=minWP,P取自全部v0 到 v 的轨道集合 其中 WP 是轨道 P 上各边权之和。这一问题可
9、用迪克斯特拉Dijkstra 算法解决。基本思想: 从起点v0 开头,逐步查找到达各点的最短路,在每一步都对顶点记录一个数,称之为该点的标号,它表示v0 到该点的最短距离的上界,或就是v0 到该点的最短距离。实际上每一步都通过把至少一个具有T 标号的点变成P 标号 即把一个不是最短距离标号的顶点变成是最短距离标号的顶点 ,这样最多经过|VG|-1 步就可完成。步骤: 记 lv 为 v0 到 v 的距离。1 lv0=0 , lv =, vv0。 S0=v0 , i=0 。2 对 vSi,minlv , lvi+wviv代替 lv 。这样找到点vi 1 使得 lv 取最小值, vi 1Si 的余集
10、 。令 Si 1 Si vi+1。3 i=|VG|-1时停止,否就,i+1 ,转到 2。实例: CMCM94A 大路选址问题。32 求最小生成树1克罗斯克尔 Kruskal 算法 1956 年,俗称“避圈法”背景: 筑路选线问题欲修筑连接n 个城市的铁路,已知i 城与 j 城之间的铁路造价为Cij 。设计一个线路图,使总造价最低。分析: 选线问题的数学模型是在连通加权图上求权最小的连通生成子图。明显,权最小的连通生成子图是一个生成树,即求取连通加权图上的权最小的生成树,这就归结为最小生成树问题。这个问题可由克罗斯克尔Kruskal 算法解决。思路: 从“边”着手选最小生成树。步骤: 设 G 为
11、由 m 个节点组成的连通赋权图。(1) 先把G 中全部的边按权值大小由小到大重新排列,并取权最小的一条边为树T中的边。即选e1E,使得 we1 min 。(2) 从剩下的边中按1 中的排列取下一条边。如该边与前面已取进T 中的边构成一个回路,就舍弃该边,否就也把它取进T 中。如 e1, e2, ei 已经选好,就从E e1 ,e2, ei 中选取 ei 1,使得 Ge1 , e2, ei, ei+1 中无圈,且wei+1=min 。(3) 重复步骤 2,直到 T 中有 m 1 条边为止。就T 为 G 的最小生成树。可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - -
12、- - - - - - -第 3 页,共 22 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -该算法的复杂度为O eloge,其中 e 是图 G 中的边数。2普莱姆 Prim 算法 思路: 从点入手来选边步骤: 1 在图 G 中任取一个节点vi1 ,并放入T 中。2令 S VG/VT , VG 、VT 分别是 G、T 的节点集。3在全部连接VT 节点与 S 节点的边中,选出权值最小的边u0,v0,即4wu0,v0=minwu,v|uVT, v将边 u0,v0 放入 T 中。S
13、。5重复步骤 2 4 ,直到 G 中节点全部取完。该算法的复杂度为On2 ,其中 n 为图 G 的节点数。31975 年管梅谷提出的“破圈法”33 Steiner生成树实际背景: 在已有网络上挑选连通几个城市的最廉价交通或通讯网。数学模型: 从已知的加权连通图上求取最小的树状子图,使此树包含指定的顶点子集。第一个的边长为3 ,其次个的边长为1,总费用其次个更少。分析: 与传统的最小生成树相比,这里可以引入如干“虚拟站”并构造一个新的Steiner 树,这样可以降低由一组站生成的传统的最小生成树所需的费用降低的费用大致为13.4%。而且为构造一个 有 n 个顶点的网络的费用,最低的Steiner
14、 树决不需要多于n 2个虚设站。当然,有时最小Steiner 生成树与最小生成树相同。寻求最小Steiner 生成树的算法有Melzak 算法 1961 年,但是这是一个指数时间的算法,现在没有多项式时间的算法,换句话说它是一个NP 问题。而且,这里的要求是 用直折线代替欧氏直线距离,因而不能利用直接的算法。所以在解决这样的问题的时候,为削减运算的时间, 理论上的分析是必要的:比如树的长度的下界,Steiner 树的存在性, 虚设站的位置等等。常用的算法仍包括穷举法、模拟退火法等。Melzak 算法: 其基础是 3 点 steiner 树,即 3 点 Fermat 问题的几何作图法。参考2 ,
15、 Page375。模拟退火法原理:模拟退火法 Simulated annealing, SA 是模拟热力学中经典粒子系统的降温过程,来求解极值问题。当孤立粒子系统的温度以足够慢的速度下降时,系统近似处于热力学平稳状态,最终系统将达到本身的最低能量状态,即基态, 这相当于能量函数的全局微小点。其步骤如下 也称可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 4 页,共 22 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -
16、为 Metropolis 过程 :( 1) 给定初始温度T0,及初始点,运算该点的函数值fx 。( 2) 随机产生扰动x,得到新点x=x+,x运算新点函数值fx 及,函数值差f=fx -fx 。( 3) 如 f ,0就接受新点,作为下一次模拟的初始点。( 4) 如 f0,就运算新点接受概率:,产生 0,1区间上匀称分布的伪随机数 r,r 0,1,假如 p f ,r就接受新点作为下一次模拟的初始点。 否就舍弃新点,仍取原先的点作为下一次模拟的初始点。模拟退火法实例:1 MCM91B 通讯网络中的微小生成树是一个求 STEINER 生成树问题, 参见工科数学专辑 Page:7078。2、CMCM
17、97A题97 年全国高校生数模竞赛 A 题“零件的参数设计 ”,可以归结为非线性规划模型, 由于目标函数很复杂,且又是一个多维函数,因此求解比较困难,为应用模拟退火法进行求解,将 7 个自变量的取值范畴进行离散化,取步长为 0.0001,这样,全部 7 个变量取值就组成了一个极为巨大的离散空间, 而这个问题变成组合优化模型。这个问题算法的状态调整规章是:每次从7 个自变量中随机选取1-4 个,让选取的自变量随机移动,考虑选取的自变量在两个方向移动组合,从中选取正确的作为候选者,自变量移动的距离随着温度的降低而削减,为防止陷入局部微小,可以从多个随机选取的初始值开头运算,算法的其它步骤同上。3、
18、CMCM 98B题98 年全国高校生数学建模竞赛 B 题“水灾巡察问题 ”,是一个推销员问题,此题有 53 个点,全部可能性大约为 exp53, 目前没有好方法求出精确解,既然求不出精确解,我们使用模拟退火法求出一个较优解,将全部结点编号为1 到 53,1 到 53 的排列就是系统的结构,结构的变化规章是:从 1 到 53 的排列中随机选取一个子排列,将其反转或将其移至另一处,能量E 自然是路径总长度。详细算法描述如下:步 1: 设定初始温度T ,给定一个初始的巡察路线。步 2:步 3 -8 循环 K 次步 3:步4-7 循环 M 次步 4:随机挑选路线的一段可编辑资料 - - - 欢迎下载精
19、品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 5 页,共 22 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -步 5:随机确定将选定的路线反转或移动,即两种调整方式:反转、移动。步 6:运算代价D,即调整前后的总路程的长度之差步 7:根据如下规章确定是否做调整:假如 D0 ,就根据EXP-D/T 的概率进行调整步 8: T*0.9-T ,降温34 Euler回路设 G 是一个图,如存在这样一条回路,使它经过图中的每条边且只经过一次又回到起始节点,就
20、称这样的回路为Euler 回路。背景: 哥尼斯堡七桥问题定理: 对连通图 G,以下条件是相互等价的:(1) G 是 Euler 图 。(2) G 的每个节点的度数都是偶数。(3) G 的边集可以分解为如干个回路的并。对有向图,出度入度。算法: 弗罗莱 Fleury 算法 19211 任给 v0VG , Rv0(2) 设路 Rv0e1v1e2v2eivi 已选定,就从EGe1,e2,ei 中选边 ei+1,且满意:ei+1 与 vi 相连。除非已无挑选,ei+1 不要选 EGi EG e1,e2,ei 中的桥 注:桥,去掉之后图不连通(3) 重复 2,直到不能再选为止实例: MCM90B铲雪问题
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数学建模中的图论方法 数学 建模 中的 方法
限制150内