第五章图论与网络模型.doc

第五章　图论与网络模型 图论起源于１７３６ 年Euler 对著名的K迸igsberg 七桥问题的讨论．由于社会历史条件的限制，在此后的１００ 多年里发展缓慢．到１９ 世纪中叶，由于对电网络、晶体模型和分子结构等的研究，图论又重新引起人们的重视．尤其是２０ 世纪中叶以来，随着数学对各个领域的广泛渗透和计算机的广泛应用，离散数学问题处于越来越重要的地位，图论作为一门提供离散数学模型和求解方法的应用数学学科，新的成果大量涌现．由于图论具有能解决许多用传统数学方法无法解决的问题的特殊功能，以及形象和直观的特点，人们应用图论来解决交通运输、生产规划、经济管理、运筹学、系统论、控制论、信息论、数值分类、计算机科学、通信网络、开关电路、博奕论、地理学、生物学、心理学等领域中的许多实际问题，图论成为一个引人注目的十分活跃的学科．随着实践的发展，其巨大的潜力将会被人们进一步认识、发掘和利用．本章介绍图论的一些基本概念与理论，典型问题和建立图论与网络模型的思路，以及常用的算法． 第一节　基本概念现实世界的许多现象可用一类图形来描述，这种图形由一个点集和连接该点集中某些点对的边所构成．例如，用点表示车站，边表示车站间道路的交通示意图；用点表示人，边表示一对朋友的人际关系图．对这种图形，人们主要感兴趣的是有哪些点其两点之间能被一条边连接，而点的相对位置及边的长短曲直则无关紧要．大量的这类事实的数学抽象，导致了图的概念．序偶（V ，E）称为图，记作G ＝ （V ，E） ，其中顶点构成的集合V称为顶点集或点集，V 中的点对之间的边构成的集合E 称为边 集．｜V ｜称为图G 的阶．G 的边可以无方向（称为无向边） ，也可以有方向（称为有向边或弧） ，记为e ＝ uv ，其中u ，v ∈ V ，e ∈ E ，称e 的两个端点u 与v 相邻，u ，v 与e 相互关联．在有向边e ＝ uv 中，u ，v 分别称为e 的始点和终点．有公共端点的两条边称为相邻边．端点重合的边称为环． 同一对顶点间边的条数称为边的重数．无环且无重数大于１ 的边的图称为简单图．只有无向边的图称为无向图，只有有向边的图称为有向图，既含无向边又含有向边的图称为混合图．图中与顶点v关联的边数称为v 的次数或度数，记为d（v） ；有向图中以v 为始点（终点）的边数称为v 的出度（入度） ，记为d ＋ （v）（d － （v）） ．显然d（v） ＝ d ＋ （v） ＋ d － （v） ．图的顶点的次数有如下性质：① Σ v ∈ Vd（v）＝ ２ ｜E｜ ；② 图中次数为奇数的顶点必为偶数个；③ Σ v ∈ Vd ＋ （v ）＝ Σ v ∈ Vd － （v） ．每个顶点的度为n － １ 的n 阶无向图称为n 阶无向完全图，记为K n ．每个顶点的出度和入度均为n － １ 的n 阶有向图称为n 阶有向完全图，也记为K n ．若G 的顶点集V 可分成两个不相交的非空子集V １ ，V ２ ，使G 的每条边的端点，一个属于V １ ，另一个属于V ２ ，则称G 为二分图或偶图，记为G ＝ （V １ ，V ２ ，E） ．若简单二分图G ＝ （V １ ，V ２ ，E）中V １ 的每个顶点与V ２ 的所有顶点相邻，则称G为完全二分图，记为K n ，m ，其中n ＝ ｜V １ ｜ ，m ＝ ｜V ２ ｜ ．图论中的图与位置、大小、形状、面积、体积等几何要素无关，是一种更抽象的图．图的最本质的内容实际上就是一个二元关系，即点与边的关联关系．因此具有二元关系的系统或结构便可用图作为数学模型，且图具有直观性和艺术性，应用相当广泛． 设G ＝ （V ，E） ，G′ ＝ （V′ ，E′） ，若V′ 彻V ，E 彻E′ ，则称G′为G的子图．特别地，若V′ ＝ V ，则称G′为G 的生成子图；若V′ 彻V ，E′含G 在V′之间的所有边，则称G′为由V′导出的子图，记为G［V′］ ，· １７０ · 数学建模（本科册）G［V － V′］记为G － V′ ；若E′ 彻E ，V′含E′中边的全体端点，则称G′为由E′导出的子图，记为G［E′］ ；从G 中删去E′的所有边得到的生成子图记为G － E′ ，在G 上增加E′的所有边得到的图记为G＋ E′ ． G ＝ （V ，E）中的一个点边交替序列μ ＝ v０ e１ v１ e２ v２ ? ek v k称为G 的一条通路（有向通路） ，简记为μ ＝ v０ v１ ? v k ，其中ei的端点为v i － １ 和v i （ei的始点为v i － １ ，终点为v i ） ，i ＝ １ ，２ ，? ，k ，k 称为μ 的长．点均不同的通路（有向通路）称为链或路径（有向链或有向路径） ．若v０ ＝ v k ，则通路（有向通路）称为回路（有向回路） ，链（有向链）称为圈（有向圈） ．若无向图G 的任意两