图ppt[修复的].pptx

9.1 图的基本概念 第9章 图 9.2 图的存储结构 9.3 图的遍历 9.4 生成树和最小生成树 9.5 最短路径 9.6 拓扑排序 本章小结 9.7 AOE网与关键路径 9.1 图的基本概念 9.1.1 图的定义 图(Graph)G由两个集合V(Vertex)和E(Edge)组成,记为G=(V,E),其中V是顶点的有限集合,记为V(G),E是连接V中两个不同顶点(顶点对)的边的有限集合,记为E(G)。 在图G中,如果代表边的顶点对是无序的,则称G为无向图,无向图中代表边的无序顶点对通常用圆括号括起来,用以表示一条无向边。 如果表示边的顶点对是有序的,则称G为有向图,在有向图中代表边的顶点对通常用尖括号括起来 。 9.1.2 图的基本术语 1. 端点和邻接点 在一个无向图中,若存在一条边(vi,vj),则称vi和vj为此边的两个端点,并称它们互为邻接点。 在一个有向图中,若存在一条边vi,vj,则称此边是顶点vi的一条出边,同时也是顶点vj的一条入边；称vi和vj分别为此边的起始端点(简称为起点)和终止端点(简称终点)；称vi和vj互为邻接点。 2. 顶点的度、入度和出度 在无向图中,顶点所具有的边的数目称为该顶点的度。 在有向图中,以顶点vi为终点的入边的数目,称为该顶点的入度。以顶点vi为始点的出边的数目,称为该顶点的出度。一个顶点的入度与出度的和为该顶点的度。 若一个图中有n个顶点和e条边,每个顶点的度为di(1≤i≤n),则有： 例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所示。 3. 完全图 若无向图中的每两个顶点之间都存在着一条边,有向图中的每两个顶点之间都存在着方向相反的两条边,则称此图为完全图。 完全有向图：对于有向图，若图中顶点数为n ，用e表示弧的数目，则e?[0，n(n-1)] 。 具有n(n-1)条边的有向图称为完全有向图。 完全无向图：对于无向图，若图中顶点数为n ，用e表示边的数目，则e ?[0，n(n-1)/2] 。 具有n(n-1)/2条边的无向图称为完全无向图。 4. 稠密图、稀疏图 当一个图接近完全图时,则称为稠密图。相反,当一个图含有较少的边数(即当en(n-1))时,则称为稀疏图。 5. 子图 设有两个图G=(V,E)和G’=(V’,E’),若V’是V的子集,即V’?V,且E’是E的子集,即E’?E,则称G’是G的子图。例如图(b)是图(a)的子图,而图(c)不是图(a)的子图。 6. 路径和路径长度 在一个图G=(V,E)中,从顶点vi到顶点vj的一条路径是一个顶点序列(vi,vi1,vi2,…,vim,vj),若此图G是无向图,则边(vi,vi1),(vi1,vi2),…,(vim-1,vim),(vim,vj)属于E(G)；若此图是有向图,则vi,vi1,vi1,vi2,…,vim-1,vim,vim,vj属于E(G)。 路径长度是指一条路径上经过的边的数目。若一条路径上除开始点和结束点可以相同外,其余顶点均不相同,则称此路径为简单路径。例如,有图中,(v0,v2,v1)就是一条简单路径,其长度为2。 7. 回路或环 若一条路径上的开始点与结束点为同一个顶点,则此路径被称为回路或环。开始点与结束点相同的简单路径被称为简单回路或简单环。 例如,右图中,(v0,v2,v1,v0)就是一条简单回路,其长度为3。 8. 连通、连通图和连通分量 在无向图G中,若从顶点vi到顶点vj有路径,则称vi和vj是连通的。 若图G中任意两个顶点都连通,则称G为连通图,否则称为非连通图。 无向图G中的极大连通子图称为G的连通分量。显然,任何连通图的连通分量只有一个,即本身,而非连通图有多个连通分量。 9. 强连通图和强连通分量 在有向图G中,若从顶点vi到顶点vj有路径,则称从vi到vj是连通的。 若图G中的任意两个顶点vi和vj都连通,即从vi到vj和从vj到vi都存在路径,则称图G是强连通图。例如,右边两个