数据结构 刘大有 第五章 图.ppt

第五章 图 图（Graph）是一种较线性表和树更为复杂的非线性结构。在图结构中，对结点（图中常称为顶点）的前趋和后继个数不加限制，即结点之间的关系是任意的。图中任意两个结点之间都可能相关。图状结构可以描述各种复杂的数据对象。 图的应用极为广泛，特别是近年来的迅速发展，已经渗透到诸如语言学、逻辑学、物理、化学、电讯工程、计算机科学以及数学的其它分支中。 图的出现最早可以追溯到1736年，著名的数学家欧拉使用它解决了经典的柯尼斯堡七桥难题。从此，有关图的理论形成了一个专门的数学分支——图论。 柯尼斯堡是18世纪初普鲁士的一个小镇，普雷格尔河流经此镇，共有7座桥横跨河上，把全镇连接起来。当时当地居民热衷于一项非常有趣的消遣活动：在星期六作一次走过所有七座桥的散步，每座桥只能经过一次而且起点与终点必须是同一地点，这就是柯尼斯堡七桥问题。 为了解决七桥问题，欧拉第一次提出了“图”的概念。欧拉用点表示岛和陆地，两点之间的连线（边）表示连接它们的桥，将河流、小岛和桥简化为一幅图。定义与顶点相连的边的数目为顶点的度，欧拉证明了如果这个问题有答案的话只有在每个顶点的度都是偶数的情况下才成立，而在七桥所形成的图中没有一个点具有偶数条边，因此七桥问题不存在解。 图状结构的实际背景 在城市之间建立通讯网络，使得其中的任意两个城市之间有直接或间接的通讯线路，假设已知每对城市之间通讯线路的造价，要求找出一个造价最低的通讯网络。 计算机网络 图 VS. 树 不一定具有一个根结点 没有明显的父子关系 从一个顶点到另一个顶点可能有多个（或0个）路径 定义5.1：图G由两个集合V和E组成，记为G = (V , E)；其中 V 是顶点的有穷非空集合，E 是连接 V 中两个不同顶点的边的有穷集合。通常，也将图G的顶点集和边集分别记为V(G)和E(G)。 若图中的边限定为从一个顶点指向另一个顶点，则称此图为有向图。 若图中的边无方向性，则称之为无向图。 定义5.2 若G = (V, E)是有向图，则它的一条有向边是由V中两个顶点构成的有序对，亦称为弧，记为w,v，其中w是边的始点，又称弧尾；v是边的终点，又称弧头。 无向图 G=(V,E) V={V1, V2, V3, V4 ,V5} E={(V1, V4 ), (V1, V2), (V2, V3 ), (V2, V5 ), (V3, V4 ), (V3, V5 ) } 有向图 G=（V，E） V={ v1，v2，v3，v4} E={v1,v2,v1,v3,v3,v4，v4,v1} 定义5.3 在一个无向图中，若存在一条边(w, v)，则称w, v为此边的两个端点，它们是相邻的，并称它们互为邻接顶点。 在一个有向图中，若存在一条边w, v，则称顶点w邻接到顶点v，顶点v邻接自顶点w. 定义5.4 由于E是边的集合，故一个图中不会多次出现一条边。若去掉此限制，则由此产生的结构称为多重图。图 (c)就是一个多重图。 很多问题都可以抽象成一个图结构，考虑如下三个例子： 将电影界的所有演员构成顶点集V，其中两位演员u和v如果共同出演过至少一部影片，那么在u和v之间连接一条边。演员之间的这种合作关系看作对等关系。按照这种方式建立的图是无向图。 将C++程序中所有的类构成顶点集V，且如果类a是类b的子类，则定义一条从b指向a的有向边。按照这种方式建立的图是有向图。 将多个城市构成顶点集V，如果城市a和城市b之间有一条高速公路，则在a和b之间连接一条边。允许在两个城市之间修建多条高速公路。按照这种方式建立的图是多重图。 定义5.5 设G是无向图，v?V(G)，E(G)中以v为端点的边的个数，称为顶点的度。若G是有向图，则v的出度是以v为始点的边的个数，v的入度是以v为终点的边的个数。 有向图中，以某顶点为弧头的弧的数目称为该顶点的入度。以某顶点为弧尾的弧的数目称为该顶点的出度。 顶点的度=入度+出度。 度: TD(v) 入度: ID(v) 出度: OD(v) TD(v)=ID(v)+OD(v) 定义5.6 设G是图，若存在一个顶点序列 使得 或 属于E(G)，则称vp到vq存在一条路径，其中vp 称为起点，vq称为终点。路径的长度是该路径上边的个数。如果一条路径上除了起点和终点可以相同外，再不能有相同的顶点，则称此路径为简单路径。如果一条简单路径的起点和终点相同，且路径长度大于等于2，则称之为简单回路。 图(a)中，v1到v3之间存在一条路径v1, v2, v