第5章图论与网络规划模型综述.ppt

第5章 图论与网络规划模型 图论作为离散数学的一个重要分支，在工程技术、自然科学和经济管理中许多方面都能提供有力的数学模型来解决实际问题。 比如，哥尼斯堡七桥问题、中国邮递员问题、四色定理等等。图论方法已经成为数学模型中的重要方法。许多难题由于归结为图论问题被巧妙地解决。 第5章 图论与网络规划模型 5.1 图的基本概念 5.2 最短路问题与最大流问题 5.3 最优连线问题与旅行商问题 5.1.1 图的定义 5.1 图的基本概念 图G是一个偶对（V,E），其中V(G)={v1,v2, …,vn}为图的 顶点集（vertex set），E(G)={e1,e2,…,en} 为图的边集（edge set）或弧集（常用A表示）, 记ek=(vi,vj)(k=1,2 , …,m)。 若ek是无序对，则称G为无向图（undirected graph）；若ek=(vi,vj)是有序对，则称G为有向图（directed graph），vi为的起点，vj为的终点，称去掉有向图的方向得到的图为基础图（underlying graph）。 5.1.1 图的定义 一个图称为有限图，如果它的顶点集和边集都有限。图G的顶点数用符号|V|表示，边数用|E|表示。 端点重合为一点的边称为环(loop)。连接两个相同顶点的边的条数称为边的重数，重数大于1的边称为重边(multi-edges)。在有向图中，两个顶点相同但方向相反的边称为对称边(symmetric edge)。一个图称为简单图(simple graph)，如果它既没有环也没有重边。 5.1.2 完全图、二分图、子图 每一对不同的顶点都有一条边相连的简单图称为完全图(complete graph)。n个顶点的完全图记为Kn；完全图的定向图称为竞赛图。 若V(G)=X∪Y，X∩Y=空集，|X||Y|≠0,X中无相邻顶点对，Y中亦然，则称G为二分图(bipartite graph)；特别地，若对任意的x∈X, y∈Y ，都有xy ∈ E(G)，则称G为完全二分图，记成K|X|,|Y|。 G的支撑子图是指满足V(H)=V(G)的子图。 若H是G的子图，则G称为H的母图。 5.1.3 顶点的度 设v∈V(G)，G中与v关联的边数（每个环算作两条边）称为v的度(degree)，记作d(v)。若d(v)是奇数，称v是奇度顶点(odd point)；若d(v)是偶数，称v是偶度顶点(even point)。 对有向图，以v为起点的有向边数称为v的出度(out-degree)，记作d+ (v)；以为终点的有向边数称为的入度(in-degree)，记作d－(v)；顶点的度d(v)= d+ (v)+d－(v) 。 5.1.4 迹、路、圈与连通 无向图G的一条途径(walk)是指一个有限的非空序列W=v0e1v1e2…e kvk ，其中ei∈E(G)，1≤i≤k，v j ∈V(G)，0 ≤ j ≤ k，e i 与v i-1 v i 关联，称k为W的长(length)。若途经的边互不相同，则称W为迹(trail)；若途径的顶点互不相同，则称W为路(path)；如果v0=v k ，并且没有其他相同的 顶点，则称W为圈(cycle)。 若图G的两个顶点u,v间存在道路，则称u和v连通(connected)。u,v间的最短轨的长叫做u,v间的距离。记作d(u,v)。若图G的任二顶点均连通，则称G是连通图。 5.1.5 图与网络的数据结构 为了在计算机上实现网络优化的算法，首先我们必须有一种方法（即数据结构）在计算机上来描述图与网络。一般来说，算法的好坏与网络的具体表示方法，以及中间结果的操作方案是有关系的。这里我们介绍计算机上用来描述图与网络的5种常用表示方法：邻接矩阵表示法、关联矩阵表示法、弧表表示法、邻接表表示法和星形表示法。 首先假设G=(V,A)是一个简单有向图，|V|=n,|A|=m，并假设V中的顶点用自然数1,2,…,n表示或编号，A中的弧用自然数1,2,…,m表示或编号。 5.1.5 图与网络的数据结构-邻接矩阵表示法 邻接矩阵表示法是将图以邻接矩阵（adjacency matrix）的形式存储在计算机中。图G=(V,A)的邻接矩阵是如下定义的：C是一个n×n的矩阵，即 5.1.5 图与网络的数据结构-邻接矩阵表示法 对于下图所示的有向图，可以用邻接矩阵表示为 对于网络中的权，也可以用类似邻接矩阵的矩阵表示。只是此时一条弧所对应的元素不再是1，而是相