数据结构图分析.ppt

第七章 图 7.1 图的概念 7.2 图的存储结构 7.3 图的遍历 第七章 图 生活中的图 第七章 图 第七章 图 第七章 图 7.1 图的概念 7.1.1 图的定义 1、二元组定义： G=(V,E) V：图的顶点集 E：图的关系集（边集） 图的边： ①(x,y):无向边 ②x,y:有向边（弧） 针对图G，顶点集和边集可分别记为V(G)和E(G) 7.1 图的概念 2、相关概念 有向图：对于一个图G，若边集E(G)中为有向边，则称此图为有向图(directed graph)。 无向图：若边集E(G)中为无向边，则称此图为无向图(undirected graph)。 7.1 图的概念 图G1： V(G1)={0,1,2,3,4,5,} E(G1)={(0,1),(0,2),(0,3),(0,4),(1,4),(2,4),(2,5),(3,5),(4,5)} 图G2： V(G2)={0,1,2,3,4} E(G2)={0,1,0,2,1,2,1,4,2,1,2,3,4,3} V(G2)={A,B,C,D,E} E(G2)={A,B,A,C,B,C,B,E,C,B,C,D,E,D} 7.1 图的概念 7.1.2 图中的基本术语 1、端点和邻接点 在一个无向图中，若存在一条边(vi,vj)，则称vi,vj为此边的两个端点，并称它们互为邻接点。 在一个有向图中，若存在一条边vi,vj，则称此边是顶点vi的一条出边,顶点vj的一条入边；称vi为此边的起始端点，简称起点或始点 。称vj为此边的终止端点，简称终点 。 7.1 图的概念 2、顶点的度、入度、出度 在一个无向图中，顶点v的度(degree)定义为以该顶点为一个端点的边的数目，记为D(v)。 有向图中顶点v的度有入度和出度之分，入度(indegree)是该顶点的入边的数目，记为ID(v)；出度(outdegree)是该顶点的出边的数目，记为OD(v)；顶点v的度等于它的入度和出度之和 D（V）=ID（V）+OD（V） 若一个图中有n个顶点和e条边，则该图中所有顶点的度同边数e满足下面关系： 7.1 图的概念 3、完全图、稠密图、稀疏图 若无向图中的每两个顶点之间都存在着一条边，有向图中的每两个顶点之间都存在着方向相反的两条边，则称此图为完全图 。 无向完全图：1/2n(n-1) 有向完全图： n(n-1) 当一个图接近完全图时，则称它为稠密图，相反地，当一个图含有较少的边数，即边数与顶点数接近时，则称它为稀疏图。 7.1 图的概念 7.1 图的概念 4、子图 设有两个图G=(V,E)和G’=(V’,E’)，若V’是V的子集，即V’?V，且E’是E的子集，即E’?E，并且E’中涉及到的顶点全部包含在V’中，则称G’是G的子图。 7.1 图的概念 5、路径和回路 在一个图G中，从顶点v到顶点v’的一条路径(path)是一个顶点序列，该序列中从前到后的每两个相邻顶点对应图中的一条无向边或出边，并且序列中的第一个顶点为v，最后一个顶点为v’。从顶点v到顶点v’的路径长度是指该路径上经过的边的数目。 若在一条路径上的所有顶点均不同，则称为简单路径。若一条路径上的前后两端点相同，则称为回路或环(cycle)。回路中除前后两端点相同外，其余顶点均不同则称为简单回路或简单环。 7.1 图的概念 6、连通和连通分量 在无向图G中，若从顶点vi到顶点vj有路径，则称vi和vj是连通的。若图G中任意两个顶点都连通，则称G为连通图，否则称为非连通图。 无向图G的极大连通子图称为G的连通分量。 7.1 图的概念 7、强连通图和强连通分量 在有向图G中，若从顶点vi到顶点vj有路径，则称从vi到vj是连通的。若图G中的任意两个顶点vi和vj都连通，即从vi到vj和从vj到vi都存在路径，则称G是强连通图。有向图G的极大强连通子图称为G的强连通分量。 7.1 图的概念 8、权和网 在一个图中，每条边可以标上具有某种含义的数值，通常为正数，此数值称为该边的权(weight)。 边上带有权的图称作带权图，简称网(network)。 7.1 图的概念 对于一个带权图，若用图的顶点集和边集表示，则边集中每条边的后面应附加该边上的权值。图G5和G6的边集分别为： E(G5)={(0,1)5,(0,2)7,(1,2)12,(1,3)3,(1,4)8,(2,3)6,(2,4)20,(3,4)15} E(G6)={0,12,0,23,0,38,1,31