[其它技巧]数据结构-清华大学严蔚敏PPT - 副本 7.ppt

第7章 图 图(Graph)是一种比线性表和树更为复杂的数据结构。 线性结构：是研究数据元素之间的一对一关系。在这种结构中，除第一个和最后一个元素外，任何一个元素都有唯一的一个直接前驱和直接后继。 树结构：是研究数据元素之间的一对多的关系。在这种结构中，每个元素对下(层)可以有0个或多个元素相联系，对上(层)只有唯一的一个元素相关，数据元素之间有明显的层次关系。 图结构：是研究数据元素之间的多对多的关系。在这种结构中，任意两个元素之间可能存在关系。即结点之间的关系可以是任意的，图中任意元素之间都可能相关。 图的应用极为广泛，已渗入到诸如语言学、逻辑学、物理、化学、电讯、计算机科学以及数学的其它分支。 7.1 图的基本概念 7.1.1 图的定义和术语 一个图(G)定义为一个偶对(V,E) ，记为G=(V,E) 。其中： V是顶点(Vertex)的非空有限集合，记为V(G)；E是无序集VV的一个子集，记为E(G) ，其元素是图的弧(Arc)。 将顶点集合为空的图称为空图。其形式化定义为： G=(V ，E) V={v|v?data object} E={v,w| v,w?V∧p(v,w)} P(v,w)表示从顶点v到顶点w有一条直接通路。 弧(Arc) ：表示两个顶点v和w之间存在一个关系，用顶点偶对v,w表示。通常根据图的顶点偶对将图分为有向图和无向图。 有向图(Digraph)： 若图G的关系集合E(G)中，顶点偶对v,w的v和w之间是有序的，称图G是有向图。 在有向图中，若 v,w?E(G) ，表示从顶点v到顶点w有一条弧。 其中：v称为弧尾(tail)或始点(initial node)，w称为弧头(head)或终点(terminal node) 。 无向图(Undigraph)： 若图G的关系集合E(G)中，顶点偶对v,w的v和w之间是无序的，称图G是无向图。 在无向图中，若?v,w?E(G) ，有w,v?E(G) ，即E(G)是对称，则用无序对(v,w) 表示v和w之间的一条边(Edge)，因此(v,w) 和(w,v)代表的是同一条边。 例1：设有有向图G1和无向图G2，形式化定义分别是： G1=(V1 ，E1) V1={a,b,c,d,e} E1={a,b,a,c, a,e,c,d,c,e ,d,a,d,b,e,d} G2=(V2 ，E2) V2={a,b,c,d} E2={(a,b), (a,c), (a,d), (b,d), (b,c), (c,d)} 它们所对应的图如图7-1所示。 完全有向图：对于有向图，若图中顶点数为n ，用e表示弧的数目，则e?[0，n(n-1)] 。具有n(n-1)条边的有向图称为完全有向图。 完全有向图另外的定义是： 对于有向图G=(V，E)，若?vi，vj?V ，当vi ≠vj时，有vi ,vj?E∧vj , vi ?E ，即图中任意两个不同的顶点间都有一条弧，这样的有向图称为完全有向图。 有很少边或弧的图（en㏒n）的图称为稀疏图，反之称为稠密图。 权(Weight)：与图的边和弧相关的数。权可以表示从一个顶点到另一个顶点的距离或耗费。 子图和生成子图：设有图G=(V，E)和G’=(V’，E’)，若V’?V且E’?E ，则称图G’是G的子图；若V’=V且E’?E，则称图G’是G的一个生成子图。 顶点的邻接(Adjacent)：对于无向图G=(V，E)，若边(v,w)?E，则称顶点v和w 互为邻接点，即v和w相邻接。边(v,w)依附(incident)与顶点v和w 。 对于有向图G=(V ，E)，若有向弧v,w?E，则称顶点v “邻接到”顶点w，顶点w “邻接自”顶点v ，弧v,w 与顶点v和w “相关联” 。 顶点的度、入度、出度：对于无向图G=(V，E)， ?vi?V，图G中依附于vi的边的数目称为顶点vi的度(degree)，记为TD(vi)。 显然，在无向图中，所有顶点度的和是图中边的2倍。 即 ∑TD(vi)=2e i=1, 2, …, n ，e为图的边数。 对有向图G=(V，E)，若?vi ?V ，图G中以vi作为起点的有向边(弧)的数目称为顶点vi的出度(Outdegree)，记为OD(vi) ；以vi作为终点的有向边(弧)的数目称为顶点vi的入度(Indegree)，记为ID(vi) 。顶点vi的出度与入度之和称为vi的度，记为TD(vi)