第7章 图(new).pptVIP

在线性结构中，结点之间的关系是线性关系，除开始结点和终端结点外，每个结点只有一个直接前趋和直接后继。 在树形结构中，结点之间的关系实质上是层次关系，同层上的每个结点可以和下一层的零个或多个结点（即孩子）相关，但只能和上一层的一个结点（即双亲）相关（根结点除外）。 在图结构中，对结点（图中常称为顶点）的前趋和后继个数不加限制的，即结点之间的关系是任意的。 本章内容 一、图的概念 二、图的存储结构 三、图的遍历 四、图的连通性问题 五、有向无环图及其应用 六、最短路经 一、图的概念 （1）图的定义 （2）图的基本术语 一、图的概念 （1）图的定义 图（Graph）是由一个顶点集 V 和一个边集 E 构成的数据结构：G = ( V, E ) V ：是顶点的有穷非空集合，也叫图的顶点集，表示为V(G)； E ：是顶点之间关系的有穷集合，即边（或弧）的有限集合，也叫做边(edge)集，表示为V(E)。可为空集。 一、图的概念 （2）图的基本术语 有向图与无向图 有向图：边用x, y表示，且x与y是有序的。 a. 有向图中的边称为“弧” b. x——弧尾或初始点 y——弧头或终端点 无向图：边用(x, y) 表示，且顶x与 y是无序的。 注意：本章的图不考虑图中每个顶点到自身的边或弧。 图(a)为无向图，其中G1的顶点集合和边集合分别为： V(G1)={1，2，3，4，5，6，7}， E(G1)={(1，2)，(l，3)，(2，3)，(3，4)，(3，5)，(5，6)，(5，7)}。 图(c)为有向图，其中G3的顶点集合和弧集合分别为 V(G3)={1，2，3，4，5，6}， E(G3)={1，2，1，3，1，4，3，1，4，5，5，6，6，4} （2）图的基本术语 完全图、稀疏图、稠密图 完全图：具有最多边数的图 在具有n 个顶点图中： 有向图：最大弧数为 n(n-1) 无向图：最大边数为 n(n-1)/2 稀疏图：边数很少的图(enlogn) 稠密图：边数很多的图（接近完全图） （2）图的基本术语 子图 设有两个图G=(V,E)和G’=(V’,E’)，若V’是V的子集，即V’?V，且E’是E的子集，即E’?E，则称G’是G的子图。 例如： 图(b)是图(a)的子图，而图(c)不是图(a)的子图。 （2）图的基本术语 端点和邻接点 无向图：若存在一条边(i,j)，则称i和j为此边的两个端点，并称它们互为邻接点。称：边(i,j)与顶点i、j相关联。 有向图：若存在一条边i, j，则称此边是顶点i的一条出边，同时也是顶点j的一条入边；称i和j分别为此边的起始端点(简称为起点)和终止端点(简称终点)。称：i邻接到j，j邻接自i；边(i,j)与顶点i、j相关联。 （2）图的基本术语 顶点的度：与顶点v相关的边或弧的数目称作顶点v的度。 无向图：与顶点v相关的边的数目 有向图：顶点v的入度与出度之和。 入度ID(v) ：以顶点v为弧头的弧的数目； 出度OD(v) ：以顶点v为弧尾的弧的数目。 若一个图中有n个顶点和e条边，每个顶点的度为D(i)(1≤i≤n)，则有： （2）图的基本术语 路径、回路 路径：在一个图G=(V,E)中,从顶点vi到顶点vj的一条路径是一个顶点序列(vi,v1,v2,…,vm,vj)，若此图G是无向图，则边(vi,v1)，(v1,v2)，…，(vm-1,vm)，(vm,vj)属于E(G)；若此图是有向图，则vi,v1，v1,v2，…，vm-1,vm，vm,vj属于E(G)。 路径长度：一条路径上经过的边（或弧）的数目。 若一条路径上的起点与终点相同，则此路径被称为回路（环）。 若一条路径上顶点不重复出现，则称此路径为简单路径。例：下图中，(v0,v2,v1)就是一条简单路径，其长度为2。 除起点与终点外，其他顶点不重复出现的回路被称为简单回路（简单环）。例：下图，(v0,v2,v1,v0)就是一条简单回路，其长度为3。 （2）图的基本术语 连通图、非连通图 在无向图G中，若从顶点vi到顶点vj有路径，则称vi和vj是连通的。 若图G中任意两个顶点都连通，则称G为连通图，否则称为非连通图。 （2）图的基本术语 连通分量 P157 无向图G中的极大连通子图（用最多的边数来连通最多个顶点的子图）称为G的连通分量。 显然：任何连通图的连通分量只有一个，即本身，而非连通图有多个连通分量。 （2）图的基本术语 强连通图、非强连通图