《算法与数据结构》第5章 图与网151.ppt

算法与数据结构 第5章 图与网 第5章 图与网 图与网是更为复杂的数据结构，数据元素之间的关系既不是线性表中的一对一的邻接关系，也不是树型结构中的一对多的层次关系，而是一种多对多的网状关系，任意两个数据元素之间都可能相关。 由于许多问题都可以用图或网来表示，所以其应用已渗透到语言学、逻辑学、物理、化学、电子、通讯、数学等诸多学科领域。 第5章 图与网 5.1 图与网的基本概念 5.1.1 图与网的定义 5.1.2 图的相关术语 图的定义 图（graph）是由非空的顶点集合V和描述顶点间关系的弧（或边）的集合E组成的二元组，即 G=(V，E) 其中： V={vi | vi∈dataobject}，E={ vi , vj | vi , vj∈V}， dataobject是具有相同性质的数据元素（即顶点）的集合； vi , vj表示从vi到vj有一条边单向相连称作弧，且称vi为弧尾（起点），vj为弧头（终点），此时称图为有向图（digraph）。 若vi , vj∈E，必有vj , vi∈E，则可以用无序对（vi , vj）代替这两个有序对，即从vi 到 vj有一条双向边（即无向边，也可看作双向边）相连称作边，此时图称为无向图（undigraph）。 图的示例 图的定义（续） 如果用n表示图中顶点数目，用e表示边或弧的数目，且不考虑顶点到自身的边或弧，那么对于无向图e的取值范围是0到n(n-1)/2，而对于有向图e的取值范围为0到n(n-1)。 把具有n(n-1)/2条边的无向图称为无向完全图； 把具有n(n-1)条弧的有向图称为有向完全图； 有向完全图和无向完全图统称完全图（completed graph）。 若图中边或弧的数目很少则称为稀疏图（sparse graph），反之边或弧的数目接近完全图则称为稠密图（dense graph）。 子图的定义 假设有两个图G=（V，E）和G’=（V’，E’），如果V’ V且E’ E，则称G’是G的子图（subgraph）。 子图示例如下： 网的定义 把图中与边或弧相关的数称之为权(weight)；权可以表示从一个顶点到另一个顶点的距离、时间、电流、电压、耗费等， 通常把这种带权图称作网（network）； 当然也可以依据边或弧有无向网和有向网的概念。 网的示例如下图： 5.1 图与网的基本概念 5.1.1 图与网的定义 5.1.2 图的相关术语 图的相关术语 在无向图中，某个顶点的度（degree）是指所依附于该顶点的边的数目，顶点v的度通常记作TD（V）。例如在无向图G2中，TD（v1）=2，TD（v2）=3，TD（v3）=3，TD（v4）=2，TD（v5）=2。 图的相关术语（续） 例如在有向图G1中， ID（v1）=1，OD（v1）=2，TD（v1）=3； ID（v2）=1，OD（v2）=0，TD（v2）=1； ID（v3）=1，OD（v3）=1，TD（v3）=2； ID（v4）=1，OD（v4）=1，TD（v4）=2。 图的相关术语（续） 在无向图G=（V，E）中，若（vp，vi1），（vi1，vi2） … （vin，vq）都是E中的边，则称结点序列vp，vi1，vi2 … vin，vq为从vp到vq的一条路径； 在有向图中，则要求vp，vi1，vi1，vi2 … vin，vq都是E中的弧。 路径（path）长度定义为路径上边或弧的数目； 如有向图G1中有v3，v4，v4，v1，v1，v2，所以说从V3到V2存在一条长度为3的路径； 如无向图G2有(v1，v2)，(v2，v5)和(v1，v4)，(v4，v3)，(v3，v5)，所以说从V1到V5存在一条长度各为2和3的路径。 图的相关术语（续） 如果顶点序列中不出现重复顶点，则称顶点序列为简单路径，例如前面所举三条路径的顶点序列分别为v3、v4、v1、v2和v1、v2、v5与v1、v4、v3、v5，均无重复顶点出现都是简单路径。 第一个顶点和最后一个顶点相同（即vp =vq）的简单路径称为简单回路或环（cycle）， 例如在有向图G1中的v1，v3，v4，v1和无向图G2中的v1，v4，v3，v2，v1与v2，v3，v5，v2等都是简单回路或环。 图的相关术语（续） 在无向图中，如果从一个顶点vi到另一个顶点vj 有路径，则称vi和vj是连通的；如果图中任意两个顶点vi和vj都是连通的，则称该无向图是连通图（connected graph）。例如无向图G2是连通图， 图的相关术语（续） 图的相关术语（续） 图的相关术语（续） 图的相关术语（续） 第5章 图与网 图和网的存储结构 由于图的结构复杂，其数据元素间存在着多对多的网状关系，所以无法用