第九章 图论方法建模.docVIP

第九章 图论的数学模型 在现实生活、生产中，经常遇到研究事物之间关系的问题.我们可以用图把各种关系形象而直观地描绘出来.图中的点表示要研究的离散对象，用边表示对象间的关系，并利用图的性质和算法求解模型.这是研究离散问题的重要手段.本章将介绍数学上图论的基本概念与最小树、最短路、中国邮递员问题、网络最大流问题及相关的模型应用. 9.1 图论的基本概念 在实际生活当中，我们常利用点与线的示意图反映对象间的关系. 例1 图9.1是我国北京、上海等十个城市间的铁路交通图，反映了这十个城市间的铁路分布情况.这里用点代表城市，用点和点之间的连线代表着两个城市之间的铁路线. 例2 有甲、乙、丙、丁、戊五个球队，它们之间比赛的情况，也可以用图表示出来.已知甲队和其它各队都比赛过一次，乙队和甲、丙队比赛过，丙队和乙、丁队比赛过，丁队和丙、戊队比赛过，戊队和甲、丁队比赛过.为了反映这个情况，可以用点v1,v2,v3,v4,v5分别代表五个队，两队之间比赛过，就在这两个队相应点之间连一条线，这条线不过其它点，如图9.2所示. 如果我们要进一步反映比赛中的胜负关系，可以用一条带箭头的连线表示，如甲队胜了乙队，可以从v1引一条带箭头的连线到v2.如图9.3反映了五个球队比赛的胜负情况，可见v1三胜一负，v4三场球全负等等. 综上所述，图论中的图是由一些点及一些点间的连线组成的.它不同于通常意义的几何图形，它用点表示事物，用点间有无连线表示事物之间的某种关系，以一种抽象的形式来表达确定的事物. 由上例知，点间的连线有的不带箭头，有的带箭头.为了区别起见，前者称为边，后者称为弧. 如一个图G是由点及边所构成的，则称之为无向图（也简称图），记为G=(V , E) .式中V，E分别是G的点集合和边集合.一条连接点vi,vj∈V的边记为 [vi,vj](或[vj,vi]). 如图9.4是一个无向图.V={ v1,v2,v3,v4}，E={e1,e2,e3,e4,e5,e6,e7},其中 e1=[v1,v2](或[v2,v1]). e2 =[v1,v2] e3=[v2,v3] e4=[v3,v4] e5=[v1,v4] e6=[v1,v3] e7=[v4,v4] . 如果一个图D式由点及弧所构成的，则称为有向图，记为D=(V,A).式中V,A分别表示D的点集合和弧集合.一条方向从vi指向vj的弧记为（vi,vj）. 如图9.5是一个有向图.V={ v1,v2,v3,v4,v5}. A={a1,a2,a3,a4,a5,a6}.其中，a1=( v1,v2),a2=( v2, v1),a3=( v1, v3), a4=( v4 ,v2),a5=( v3, v4),a6=( v4, v5). 下面再介绍一些常见名词和记号. 考虑无向图G=(V , E). 若边e=[u,v] ∈E,则称u,v是e的端点，也称u,v是相邻的.称e是点u（及点v）的关联边.若图G中，某个边的两个端点相同，则称e是环（如图9.7中的e7）.若两个点之间有多于一条的边，称这些边为多重边（如图9.4中的e1,e2）.一个无环、无多重边的图称为简单图.一个无环，但允许有多重边的图称为多重图. 以点v为端点的边的个数称为v的次，记为d(v).如图9.4中d(v1)=4,d(v2)=3,d(v4)=4(环e7在计算d(v4)作两次算).次为奇数的点，称为奇点，否则称为偶点. 给定一个图G=(V , E).一个点、边交错序列（,,,,…,,）,如果满足=[，]（t=1,2,3, …k-1）.则称之为一条联结链，的链，记为（,,,…,, ）. 链（,,,…,, ）中，若=，则称之为一个圈，记为（,,…, ）.若链中（,,,…）中，,,,…都是不同的，则称之为初等链；若圈中（,,…,, ）中,,…,都是不同的，则称之为初等圈；若链（圈）中含的边均不相同，则称之为简单链（圈）.以后说到链（圈），除非特别交代，均指初等链（圈）. 例如图9.6中，（v1,v2,v3,v4,v5,v3,v6）是简单链，但不是初等链.（v1,v2,v3,v4,v5）是一条初等链.（v1,v2,v3,v4,v1）是初等圈.（v4,v1,v2,v3,v5,v7,v6,v3,v4）是简单圈，但不是初等圈.图中不存在v1到v9的链. 图G中，若任何两点之间，至少有一条链，则称G是连通图.否则称不连通的图.给定一个图G=(V , E).若使V=及E，称是G的支撑子图. 如图9.7中，（b）是（a）的支撑子图，而（c）不是. 设给有向图D=(V,A) .从D中去掉弧上的箭头，所得到的无向图称D的基础图.D中一条弧a=(u,v), u称a的始点，v称a的终点.称弧是从u指向v的. 设（,