数据结构 第5章 图1.pptVIP

第五章 图 图（Graph）是一种较线性表和树更为复杂的非线性结构。在图结构中，对结点（图中常称为顶点）的前趋和后继个数不加限制，即结点之间的关系是任意的。图中任意两个结点之间都可能相关。图状结构可以描述各种复杂的数据对象。 图的应用极为广泛，特别是近年来的迅速发展，已经渗透到诸如语言学、逻辑学、物理、化学、电讯工程、计算机科学以及数学的其它分支中。 图状结构的实际背景 在城市之间建立通讯网络，使得其中的任意两个城市之间有直接或间接的通讯线路，假设已知每对城市之间通讯线路的造价，要求找出一个造价最低的通讯网络。 计算机网络 第五章 图 5.1 基本概念 5.2 图的存储结构 5.3 图的遍历 5.4 拓扑排序 5.5 关键路径 5.6 最短路径 5.7 最小支撑树 定义5.1：图G由两个集合V和E组成，记为G=(V, E)；其中 V 是顶点的有限集合，E 是连接 V 中两个不同顶点的边的有限集合。通常，也将图G的顶点集和边集分别记为V(G)和E(G)。 如果E中的顶点对是有序的，即E中的每条边都是有方向的，则称G为有向图。如果顶点对是无序对，则称G是无向图。 定义5.2 若G = (V, E)是有向图，则它的一条有向边是由V中两个顶点构成的有序对，亦称为弧，记为w,v，其中w是边的始点，又称弧尾；v是边的终点，又称弧头。 有向图 G=（V，E） V={ v1，v2，v3，v4} E={v1,v2,v1,v3,v3,v4,v4,v1} 无向图 G=(V,E) V={V1, V2, V3, V4 ,V5} E={(V1, V4 ), (V1, V2), (V2, V3 ), (V2, V5 ), (V3, V4 ), (V3, V5 ) } 定义5.3 在无向图中，若两个顶点w和v之间存在一条边(w, v)，则称w, v是相邻的，二者互为邻接顶点。 在有向图中，若存在一条边w, v，则称顶点w邻接到顶点v，顶点v邻接自顶点w. 定义5.4 由于E是边的集合，故一个图中不会多次出现一条边。若去掉此限制，则由此产生的结构称为多重图。图 (c)就是一个多重图。 定义5.5 设G是无向图，v?V(G)，E(G)中以v为端点的边的个数，称为顶点的度。若G是有向图，则v的出度是以v为始点的边的个数，v的入度是以v为终点的边的个数。 有向图中，以某顶点为弧头的弧的数目称为该顶点的入度。以某顶点为弧尾的弧的数目称为该顶点的出度。 顶点的度=入度+出度。 定义5.6 设G是图，若存在一个顶点序列 使得 或 属于E(G)，则称vp到vq存在一条路径，其中vp 称为起点，vq称为终点。 路径的长度是该路径上边的个数。如果一条路径上除了起点和终点可以相同外，再不能有相同的顶点，则称此路径为简单路径。如果一条简单路径的起点和终点相同，且路径长度大于等于2，则称之为简单回路。 图(a)中，v1到v3之间存在一条路径v1, v2, v5, v4, v3，同时这也是一条简单路径；v1, v2, v5, v4, v3, v1是一条简单回路。 定义5.7 设G，H是图，如果V(H) ? V(G)，E(H) ? E(G)，则称H是G的子图，G是H的母图。如果H是G的子图，并且V(H) = V(G)，则称H为G的支撑子图。 完全图 ：有向完全图(边数＝n*(n-1)) 无向完全图(边数＝1/2*n*(n-1)) 定义5.8 设G是图，若存在一条从顶点vi到顶点vj的路径，则称vi与vj可及(连通)。若G为无向图，且V(G)中任意两顶点都可及，则称G为连通图。若G为有向图，且对于V(G)中任意两个不同的顶点vi和vj ， vi与vj可及， vj与vi也可及，则称G为强连通图。 也可以定义“弱连通图”的概念，即在任何顶点u和v之间，至少存在一条从u到v的路径或者存在一条从v到u的路径。 定义5.10 对于G的一个连通子图GK，如果不存在G的另一个连通子图G′，使得V(GK)?V(G′)，则称GK为G的连通分量。 无向图G的极大连通子图称为G的连通分量。 (a) (b) (c) 连通分量 有时候，图不仅要表示出元素之间是否存在某种关系，同时还需要表示与这一关系相关的某些信息。 例如在计算机网络对应的图中，顶点表示计算机，顶点之间的边表示计算机之间的通讯链路。实际中，为了管理计算机网络，我们需要这个图包含更多的信息，例如每条通讯链路的物理长度、