数学建模中的图论方法.docxVIP

数学建模中的图论方法 一、引言 我们知道， 数学建模竞赛中有问题 A 和问题 B。一般而言，问题 A 是连续系统中的问题，问题 是离散系统中的问题。由于我们在大学数学教育内容中，连续系统方面的知识的比例较大，而离 散数学比例较小。因此很多人有这样的感觉， A 题入手快，而 B 题不好下手。 另外，在有限元素的离散系统中，相应的数学模型又可以划分为两类，一类是存在有效算法的 所谓 P 类问题，即多项式时间内可以解决的问题。但是这类问题在 MCM 中非常少见，事实上，由 于竞赛是开卷的，参考相关文献，使用现成的算法解决一个 P 类问题，不能显示参赛者的建模及解 决实际问题能力之大小；还有一类所谓的 NP 问题，这种问题每一个都尚未建立有效的算法，也许 真的就不可能有有效算法来解决。命题往往以这种 NPC 问题为数学背景，找一个具体的实际模型 来考验参赛者。这样增加了建立数学模型的难度。但是这也并不是说无法求解。一般来说，由于问题是具体的实例，我们可以找到特殊的解法，或者可以给出一个近似解。 图论作为离散数学的一个重要分支，在工程技术、自然科学和经济管理中的许多方面都能提供 有力的数学模型来解决实际问题，所以吸引了很多研究人员去研究图论中的方法和算法。应该说， 我们对图论中的经典例子或多或少还是有一些了解的， 比如，哥尼斯堡七桥问题、 中国邮递员问题、四色定理等等。图论方法已经成为数学模型中的重要方法。许多难题由于归结为图论问题被巧妙地解决。而且，从历年的数学建模竞赛看，出现图论模型的频率极大，比如： AMCM90B －扫雪问题； AMCM91B －寻找最优 Steiner 树； AMCM92B －紧急修复系统的研制 (最小生成树 ) AMCM94B －计算机传输数据的最小时间 (边染色问题 ) CMCM93B －足球队排名 (特征向量法 ) CMCM94B －锁具装箱问题 (最大独立顶点集、最小覆盖等用来证明最优性 ) CMCM98B －灾情巡视路线 (最优回路 ) 等等。这里面都直接或是间接用到图论方面的知识。 要说明的是，这里图论只是解决问题的一种方 法，而不是唯一的方法。 本文将从图论的角度来说明如何将一个工程问题转化为合理而且可求解的数学模型，着重介绍 图论中的典型算法。这里只是一些基础、简单的介绍，目的在于了解这方面的知识和应用，拓宽大 家的思路，希望起到抛砖引玉的作用，要掌握更多还需要我们进一步的学习和实践。 精选 W (e) 二、基本概念和性 首先 出 中的一些基本概念。 1．一个 G 由一个 点集 V 和一个 的集 E 成。 E 中每个元素 e 是 接 点集 V 中两个 点 u 和 v 的 ，称 e 与 u， v 关 。我 定 接两个 点 u、 v 至多有一条 ，且一条 的两个 点不重合， 种 称 。 2． 点集 V ， 集 E 的 G 通常 G= （ V ，E）。 G1=（V 1，E1）称 G 的子 ，如 果 V 1 V ， E1 E。 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．一个无圈的 通 称 。 是最 而最重要的一 。 有下列重要性 ： 性 ： 1)在 中去掉任意一条 ，所得的 是不 通的。 2)在 中任意两个不相 的 点 u、 v 之 添加一条新的 ，所得的 恰有一个圈。 下述定理是 的判断定理： 定理： 若 G 具有下列性 中的两条， 它是 ，且也具有第三条性 。 (1)． G 是 通 ； (2)． G 没有圈； (3)． G 的 点数 =G 的 数 +1。 7．如果 G=（ V， E）的子 Gt=（ V t， Et）是一个 ，且 V t=V ，称 G t 是 G 的生成 。 G 通的充要条件是 G 有生成 。生成 一般而言数量很大。 8． G= （ V ， E）的每一条 )。假 G 是 通的 ，要找 G  e 予一个 数 W （ e），称 e 的 ， G 称 (加 的 通子 G *= （ V， E* ），使得 W （G* ）= 最 e E 小。