数学建模中的图论方法

《数学建模中的图论方法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、数学建模中的图论方法一、引言我们知道，数学建模竞赛中有问题A和问题B。一般而言，问题A是连续系统中的问题，问题B是离散系统中的问题。由于我们在大学数学教育内容中，连续系统方面的知识的比例较大，而离散数学比例较小。因此很多人有这样的感觉，A题入手快，而B题不好下手。另外，在有限元素的离散系统中，相应的数学模型又可以划分为两类，一类是存在有效算法的所谓P类问题，即多项式时间内可以解决的问题。但是这类问题在MCM中非常少见，事实上，由于竞赛是开卷的，参考相关文献，使用现成的算法解决一个P类问题，不能显示参赛者的建模及解决实际问题能力之大小；还有一类所谓的NP

2、问题，这种问题每一个都尚未建立有效的算法，也许真的就不可能有有效算法来解决。命题往往以这种NPC问题为数学背景，找一个具体的实际模型来考验参赛者。这样增加了建立数学模型的难度。但是这也并不是说无法求解。一般来说，由于问题是具体的实例，我们可以找到特殊的解法，或者可以给出一个近似解。图论作为离散数学的一个重要分支，在工程技术、自然科学和经济管理中的许多方面都能提供有力的数学模型来解决实际问题，所以吸引了很多研究人员去研究图论中的方法和算法。应该说，我们对图论中的经典例子或多或少还是有一些了解的，比如，哥尼斯堡七桥问题、中国邮递员问题、四色定理等等。图论方

3、法已经成为数学模型中的重要方法。许多难题由于归结为图论问题被巧妙地解决。而且，从历年的数学建模竞赛看，出现图论模型的频率极大，比如：AMCM90B－扫雪问题；AMCM91B－寻找最优Steiner树；AMCM92B－紧急修复系统的研制(最小生成树)AMCM94B－计算机传输数据的最小时间(边染色问题)CMCM93B－足球队排名(特征向量法)CMCM94B－锁具装箱问题(最大独立顶点集、最小覆盖等用来证明最优性)CMCM98B－灾情巡视路线(最优回路)等等。这里面都直接或是间接用到图论方面的知识。要说明的是，这里图论只是解决问题的一种方法，而不是唯一的方

4、法。本文将从图论的角度来说明如何将一个工程问题转化为合理而且可求解的数学模型，着重介绍图论中的典型算法。这里只是一些基础、简单的介绍，目的在于了解这方面的知识和应用，拓宽大家的思路，希望起到抛砖引玉的作用，要掌握更多还需要我们进一步的学习和实践。22二、基本概念和性质首先给出图论中的一些基本概念。1．一个图G由一个顶点集V和一个边的集E组成。E中每个元素e是连接顶点集V中两个顶点u和v的边，称e与u，v关联。我们规定连接两个顶点u、v至多有一条边，且一条边的两个顶点不重合，这种图称为简单图。2．顶点集为V，边集为E的图G通常记为G=（V，E）。图G1=

5、（V1，E1）称为G的子图，如果V1V，E1E。3．顶点v的度(或“次”)是指与v相关联的边的个数。图G的度数之和为边数的两倍。4．若图G中任意两个顶点u、v之间都存在连接它们的路，称G为连通图。5．W=v0e1v1e2……ekvk，其中eiÎE，vjÎV，ei与vi-1，vi关联，称W是图G的一条道路。v0是起点，vk是终点；各边相异的道路叫做行迹，各顶点相异的道路叫做轨道；起点和终点重合的道路为回路；起点和终点重合的轨道为圈；包含图中每条边的回路称为Euler回路；含Euler回路的图称为Euler图。6．一个无圈的连通图称为树。树是最简单而最重要

6、的一类图。树有下列重要性质：性质：1)在树中去掉任意一条边，所得的图是不连通的。2)在树中任意两个不相邻的顶点u、v之间添加一条新的边，所得的图恰有一个圈。下述定理是树的判断定理：定理：若图G具有下列性质中的两条，则它是树，且也具有第三条性质。(1)．G是连通图；(2)．G没有圈；(3)．G的顶点数=G的边数+1。7．如果图G=（V，E）的子图Gt=（Vt，Et）是一个树，且Vt=V，称Gt是G的生成树。G连通的充要条件是G有生成树。生成树一般而言数量很大。8．设对图G=（V，E）的每一条边e赋予一个实数W（e），称为e的权，G称为赋权图(加权图)。假

7、设G是连通的赋权图，要找G的连通子图G*=（V，E*），使得W（G*）=为最小。显然G*应为G的一个生成树。G的权最小的生成树称为G的最小生成树。三、算法介绍3．1最短轨道问题22背景：给定连接若干城市的铁路网，寻求从指定城市v0到各城v去的最短道路。数学模型：图G为一赋权图，对任给的vÎV(G)，寻求轨道P(v0,v)，使得W(P(v0,v))=min{W(P),P取自所有v0到v的轨道集合}其中W(P)是轨道P上各边权之和。这一问题可用迪克斯特拉(Dijkstra)算法解决。基本思想：从起点v0开始，逐步寻找到达各点的最短路，在每一步都对顶点记录一

8、个数，称之为该点的标号，它表示v0到该点的最短距离的上界，或就是v0到该点的最短距离。实际上每