Chapter6图与网络分析（GraphTheoryandNetworkAnalysis）.ppt

图的基本概念与模型 树与图的最小树 最短路问题 网络的最大流 本章主要内容： 图的基本概念与模型 长 江 汉 江 武昌 汉口 汉阳 您能从武汉理工大学出发走过每座桥且只走一次然后回到学校吗? 近代图论的历史可追溯到18世纪的七桥问题—穿过K?nigsberg城的七座桥，要求每座桥通过一次且仅通过一次。 这就是著名的“哥尼斯堡 7 桥”难题。Euler1736年证明了不可能存在这样的路线。 图的基本概念与模型 K?nigsberg桥对应的图 图的基本概念与模型 图论中图是由点和边构成，可以反映一些对象之间的关系。 一般情况下图中点的相对位置如何、点与点之间联线的长短曲直，对于反映对象之间的关系并不是重要的。 图的定义： 若用点表示研究的对象，用边表示这些对象之间的联系，则图G可以定义为点和边的集合，记作： 其中: V——点集 E——边集 ※ 图G区别于几何学中的图。这里只关心图中有多少个点以及哪些点之间有连线。 图的基本概念与模型 (v1) 赵 (v2)钱 孙(v3) 李(v4) 周(v5) 吴(v6) 陈(v7) e2 e1 e3 e4 e5 (v1) 赵 (v2)钱 (v3)孙 (v4)李 (v5) 周 (v6)吴 (v7)陈 e2 e1 e3 e4 e5 可见图论中的图与几何图、工程图是不一样的。 例如：在一个人群中，对相互认识这个关系我们可以用图来表示。 图的基本概念与模型 定义: 图中的点用v表示，边用e表示。对每条边可用它所连接的点表示，记作：e1=[v1,v1]; e2=[v1,v2]; v3 e7 e4 e8 e5 e6 e1 e2 e3 v1 v2 v4 v5 端点,关联边,相邻 若有边e可表示为e=[vi,vj]，称vi和vj是边e的端点，反之称边e为点vi或vj的关联边。若点vi、vj与同一条边关联，称点vi和vj相邻；若边ei和ej具有公共的端点，称边ei和ej相邻。 图的基本概念与模型 环, 多重边, 简单图 如果边e的两个端点相重，称该边为环。如右图中边e1为环。如果两个点之间多于一条，称为多重边，如右图中的e4和e5，对无环、无多重边的图称作简单图。 v3 e7 e4 e8 e5 e6 e1 e2 e3 v1 v2 v4 v5 图的基本概念与模型 次，奇点，偶点，孤立点 与某一个点vi相关联的边的数目称为点vi的次（也叫做度），记作d(vi)。右图中d(v1)＝４,d(v3)=5,d(v5)=1。次为奇数的点称作奇点，次为偶数的点称作偶点，次为1的点称为悬挂点，次为0的点称作孤立点。 v3 e7 e4 e8 e5 e6 e1 e2 e3 v1 v2 v4 v5 图的次: 一个图的次等于各点的次之和。 图的基本概念与模型 链，圈，连通图 图中某些点和边的交替序列，若其中各边互不相同，且对任意vi,t-1和vit均相邻称为链。用μ表示： v3 e7 e4 e8 e5 e6 e1 e2 e3 v1 v2 v4 v5 起点与终点重合的链称作圈。如果每一对顶点之间至少存在一条链，称这样的图为连通图，否则称图不连通。 图的基本概念与模型 二部图（偶图） 图G=(V,E)的点集V可以分为两各非空子集X，Y，集X∪Y=V,X∩Y=?,使得同一集合中任意两个顶点均不相邻，称这样的图为偶图。 v1 v3 v5 v2 v4 v6 v1 v2 v3 v4 v1 v4 v2 v3 (a) (b) (c) (a)明显为二部图，(b)也是二部图，但不明显，改画为(c)时可以清楚看出。 图的基本概念与模型 子图，部分图(支撑子图) 图G1={V1、E1}和图G2={V2，E2}如果有 称G1是G2的一个子图。若有 ，则称G1是G2的一个部分图(支撑子图)。 v3 e7 e4 e8 e5 e6 e1 e2 e3 v1 v2 v4 v5 v3 e4 e8 e5 e6 v2 v4 v5 v3 e7 e4 e8 e6 e2 e3 v1 v2 v4 v5 (a) (b) （G图） 图的基本概念与模型 网络（赋权图） 设图G＝（V，E），对G的每一条边(vi,vj)相应赋予数量指标wij，wij称为边(vi,vj)的权,赋予权的图G称为网络(或赋权图）。 权可以代表距离、费用、通过能力(容量)等等。 端点无序的赋权图称为无向网络，端点有序的赋权图称为有向网络。 ① ② ③ ④ ⑤ ⑥ 9 10 20 15 7 14 19 25 6 图的基本概念与模型 出次与入次 有向图中，以vi为始点的边数称为