第07章图与网络分析资料.pptx

毕德春 辽东学院信息技术学院 运筹学 第一节 图的基本概念与模型 十八世纪的哥尼斯堡城中流过一条河（普雷.格尔河），河上有 7 座桥连接着河的两岸和河中的两个小岛。当时那里的人们热衷于这样一个游戏：一个游者怎样才能一次连续走过这 7 座桥，回到原出发点，而每座桥只允许走一次。没有人想出走法，又无法说明走法不存在，这就是著名的“哥尼斯堡 7 桥”难题。 “哥尼斯堡 7 桥”难题最终在 1736 年由数学家 Euler 的一篇论文给予了完满的解决，这是图论的第一篇论文。欧拉是怎样研究这个问题的呢? A C D B 第一节 图的基本概念与模型 欧拉将“哥尼斯堡 7 桥”抽象成：在如下的图形中，从A, B, C, D任一点出发，能否通过每条边（连线）一次且仅一次，再回到该点，欧拉证明了该图不存在（所谓的）“欧拉回路”，所以无解！ 第一节 图的基本概念与模型 图论与网络分析理论所研究的问题十分广泛，内容极其丰富。正如一位数学家所说：“可以说，图论为任何一个包含了某种二元关系的系统提供了一种分析和描述的模型。” 第一节 图的基本概念与模型 图的定义：若用点表示研究的对象，用边表示这些对象之间的联系，则图G可以定义为点和边的集合，记作： 其中：V点集，E边集 第一节 图的基本概念与模型 图论中图是由点和边构成，可以反映一些对象之间的关系。 一般情况下图中点的相对位置如何、点与点之间联线的长短曲直，对于反映对象之间的关系并不是重要的。 第一节 图的基本概念与模型 可见图论中的图与几何图、工程图是不一样的。 例：在一个人群中，对相互认识这个关系我们可以用图来表示。 第一节 图的基本概念与模型 定义: 图中的点用v表示，边用e表示。对每条边可用它所连接的点表示，记作：e1=[v1,v1]; e2=[v1,v2];若有边e可表示为e=[vi,vj]，称vi和vj是边e的端点，反之称边e为点vi或vj的关联边。若点vi、vj与同一条边关联，称点vi和vj相邻；若边ei和ej具有公共的端点，称边ei和ej相邻。 第一节 图的基本概念与模型 如果边e的两个端点相重，称该边为环。如右图中边e1为环。如果两个点之间多于一条，称为多重边，如右图中的e4和e5，对无环、无多重边的图称作简单图。 第一节 图的基本概念与模型 与某一个点vi相关联的边的数目称为点vi的次（也叫做度），记作d(vi)。右图中d(v1)＝４,d(v3)=5,d(v5)=1。次为奇数的点称作奇点，次为偶数的点称作偶点，次为1的点称为悬挂点，次为0的点称作孤立点。 图的次: 一个图的次等于各点的次之和。 第一节 图的基本概念与模型 图中某些点和边的交替序列，若其中各边互不相同，且对任意vi,t-1和vit均相邻称为链。用μ表示： 起点与终点重合的链称作圈。如果每一对顶点之间至少存在一条链，称这样的图为连通图，否则称图不连通。 第一节 图的基本概念与模型 图G=（V，E）的点集V可以分为两各非空子集X，Y，集X∪Y=V,X∩Y=Ø,使得同一集合中任意两个顶点均不相邻，称这样的图为二部图（偶图）。 (a) (b) (c) （a）明显为二部图，(b)也是二部图，但不明显，改画为(c)时可以清楚看出。 第一节 图的基本概念与模型 完全图K5 二部图（偶图，双图） v1 v2 第一节 图的基本概念与模型 图G1={V1、E1}和图G2={V2，E2}如果有 称G1是G2的一个子图。 若有 ，则称G1是G2的一个部分图(支撑子图)。 (a) (b) （G图） 第一节 图的基本概念与模型 设图G＝（V，E），对G的每一条边(vi,vj)相应赋予数量指标wij，wij称为边(vi,vj)的权，赋予权的图G称为网络(或赋权图）。 权可以代表距离、费用、通过能力(容量)等等。 端点无序的赋权图称为无向网络，端点有序的赋权图称为有向网络。 第一节 图的基本概念与模型 有向图中，以vi为始点的边数称为点vi的出次，用d+(vi)表示；以vi为终点的边数称为点vi 的入次，用表示d-(vi) ；vi 点的出次和入次之和就是该点的次。 ※ 有向图中，所有顶点的入次之和等于所有顶点的出次之和。 第一节 图的基本概念与模型 例：有甲、乙、丙、丁、戊、己6名运动员报名参加A、B、C、D、E、F 6个项目的比赛。下表中打√的是各运动员报告参加的比赛项目。问6个项目的比赛顺序应如何安排，做到每名运动员都不连续地参