运筹学图论与网络优化.pptVIP

第十章 图论与网络优化 一 些 问 题 图论(Graph Theory)是运筹学中的一个重要分支，主要研究具有某种二元关系的离散系统的组合结构和性质。 随着电子计算机的蓬勃发展，图论不仅得到了迅速发展，而且应用非常广泛。它直观清晰，使用方便，易于掌握。 应用领域：物理学、化学、控制论、信息论、管理科学、通信系统、交通运输系统、建筑、计算机科学、生产工艺流程以及军事后勤保障系统等的问题常用图论模型来描述。 网络规划是图论与线性规划的交叉学科,具有广泛的应用背景，比如，最短路问题、最小树问题、最大流问题、最优匹配问题等. 10.1 图的基本概念 一个图(Graph) 定义为三元有序组 G=(V(G), E(G), ?G )， V(G)是图的顶点集合，E(G)是图的边集合， ?G称为顶点与边之间的关联函数。 V(G)中的元素 vi 称为顶点,E(G)中的元素 ek 称为边. 一个图习惯记作 G=(V, E). 设G是一个图， 说明 一个图的几何实现并不是唯一的；表示顶点的点和表示边的线的相对位置并不重要，重要的是图形描绘出 边与顶点之间保持的相互关系。 我们常常把一个图的图形当作这个抽象图自身. 并称图形的点为顶点,图形的线为边. 图论中大多数概念是根据图的表示形式提出的，例如：顶点、边、多重边、环、路、圈、树等。 平面图 环、多重边 端点重合为一点的边称为环。 连接同一对顶点的多条边称为多重边。 简单图 一个图称为简单图,如果它既没有环也没有多重边. 含有多重边的图称为多重图. 我们只讨论有限简单图， 即顶点集与边集都是有限的图。 特殊图例 2.顶点的度（次） 4.图的并与交 设G1与G2都是图G的子图； 若　 　　 　　 　，则称G1与G2不相交； 若　　　 　　　　，则称G1与G2边不重的。 定义图G1与G2的和，记为　　　，是G的一个子图，其顶点集为 　 　 　,边集为　 　　　　　　 若G1与G2是不相交的，则记　　　　　　。 类似的可以定义G1与G2的交　 　　，此时要求 同构图例 径 顶点vk叫W的终点，顶点v0 称为W的起点， 顶点vi 叫W的内部顶点(内点)， 整数k称为W的长度。 在简单图中，径可由顶点序列表示。 圈(回路) 如果径 W 的起点和终点相同且有正长度，则称它是一个闭径； 如果一条闭链的顶点互不相同，则称它是一个圈（或回路）。 称一个圈是偶圈（奇圈），如果它的圈长是偶数（奇数）。 连通性 图G称为连通的，如果G的任意两个顶点u 和 v 中存在一条(u,v)路。 Euler圈 Euler圈是指过所有边一次且恰好一次的闭链。 Euler链是指过所有边一次且恰好一次的链。 Euler 型（Euler 图） 定理　设G是连通图，则G是Euler 型的充要条件是G没有奇次数的顶点。 推论　设G是一个连通图，则G有Euler 链当且仅当G最多有两个奇数次数的顶点。 2. 关联矩阵 例 关联矩阵性质 10.2 树 一、树的概念和性质 二、图的支撑树 三、最小支撑树 树的性质 设G是一个简单图，　 ,则下列六个命题是等价的. G是一棵树。 G无圈且 m = n-1。 G连通且 m = n-1。 G连通并且每条边都是割边。 G中任意两点都有唯一的路相连。 G无圈，但在任意一对不相邻的顶点之间加连一条边，则构成唯一的一个圈。 二、图的支撑树（生成树） 若图G的支撑子图是一棵树，则称该树为图G的支撑树（生成树）。或简称为图G的树. 支撑树也称为连通图的极小连通支撑子图。 图G有支撑树的充要条件为G是连通图. 很显然，一个连通图只要本身不是一棵树，它的支撑树就不止一个。 三、最小支撑树问题 下面介绍求最小树的两种算法. Step0 把边按权的大小从小到大排列得： 置 Step1 若 　　　　　，则停，此时G[S]即为所 求的最小树；否则，转向Step2。 Step2 如果 G[S+{e j}]不构成回路，则令 ? 转向Step1；否则，令j=j+1转向Step2。 算例1： 利用Kruskal算法求最小树。 评注 Kruskal算法的总计算量为 ，有效性不太好。 求最小树的一个好的算法是Dijkstra于1959年提出的，算法的实质是在图的 个独立割集中，取每个割集的一条极小边来构成最小树。 算法2：Dijkstra算法（类似于深探法） Step0 置 Step1 取 置 Step2 若 ，则停止； 否则，置