数据结构第七章图概要.pptVIP

第七章 图 7.1 图的定义和术语 7.2 图的存储结构 7.3 图的遍历 7.4 最小生成树 7.5 有向无环图及其应用 7.6 最短路径 7.1 图的定义和术语 7.1 图的定义和术语 图中的数据元素通常称为顶点。 图G由两个集合V和E组成，通常记为 G＝(V，E) 其中，V是图中顶点的有穷非空集合， E是V中顶点间的边的有穷集。 除此之外，也通常将图G的顶点集和边集分别记为V(G)和E(G)。E(G)可以是空集，若E(G)为空，则图G只有顶点而没有边。 子图：给定图G1=（V1，E1）、图G2=（V2，E2），若V1是V2的子集，E1是E2的子集，则称G1是G2的子图。例： 7.1 图的定义和术语 无向图： 图中的每条边都是无方向的。 在无向图中，一条无向边是由两个顶点组成的无序对，通常用圆括号表示。例如（vi，vj）表示一条无向边， 在无向图中，（vi，vj）和（vj，vi）是两条相同的无向边。 （无向）完全图：任意两个顶点之间都有一条无向边的无向图。 （无向）完全图是含有n个顶点和n(n-1)/2条边的无向图。 无向图中顶点v的度：指的是和v相关联的边的数目，通常记为D(v)。 无向图中：顶点的度之和=边数的两倍。 7.1 图的定义和术语 如下图G是一个无向图 7.1 图的定义和术语 有向图： 图中的每条边都是有方向的。 在有向图中，一条有向边是由两个顶点组成的有序对，通常用尖括号表示。例如vi，vj表示一条有向边，vi是边的起始点，vj是边的终点。因此，vi，vj和vj，vi是两条不同的有向边。 有向边也称为弧，边的起始点称为弧尾，终点称为弧头。 有向完全图：任意两个顶点之间都有一对相向的有向边的有向图。即含有n个顶点和n(n-1)条弧（有向边）的有向图。 7.1 图的定义和术语 如下图G 是一个有向图 7.1 图的定义和术语 有向图中顶点v的度分为入度和出度。 顶点v的入度：以顶点v为终点的有向边的数目，记为ID(v)； 顶点v的出度：以顶点v为起始点的有向边的数目，记为OD(v)； 有向图中顶点v的度则定义为该顶点的入度和出度之和，即 D(v)＝ID(v)十OD(v)。 7.1 图的定义和术语 ID(A) = 1 ； OD(A) = 2 ; D(A)=3 ID(C) = 2 ； OD(C) =1 ; D(C)=3 7.1 图的定义和术语 在无向图G中，若存在一个顶点序列（vi ，vi1，…，vin，vj），使得(vi，vil)，(vi1,vi2)，…，(vin，vj)均属于边集E(G)，则称顶点vi到vj存在一条路径。 7.1 图的定义和术语 例如：下图所示为两个无向图G1和G2，其中: G1是一个连通图 G2是由4个连通分量组成的非连通图。 7.1 图的定义和术语 生成树：一个连通图的生成树是一个极小连通子图，它含有图中全部顶点，但只含有足以构成一棵树的n-1条边。 如图所示：连通图G的一棵生成树 7.1 图的定义和术语 在有向图G中，若存在一个顶点序列（vi ，vi1，…，vin，vj），使得＜vi，vil＞,＜vil，vi2＞,…，＜vin，vj＞均属于边集E(G)，则称顶点vi到vj存在一条路径，该路径也是有向的。 在有向图G中，若对于其中的任意两个不同的顶点vi和vj，从vi到 vj和从vj到vi都存在路径，则称G是强连通图。 有向图G的极大强连通子图称为G的强连通分量。显然，强连通图只有一个强连通分量，即是其自身。非强连通图有多个强连通分量。 7.1 图的定义和术语 例如：下图所示为两个有向图G1和G2，其中: G1是一个强连通图， G2是由3个强连通分量组成的非连通图。 7.1 图的定义和术语 例如：在左边的有向图G中： （A,B,C,F）是图G的一条路径，它是由有向边序列A,B,B,C,C,F组成，它是一条简单路径，路径的长度是3。 7.1 图的定义和术语 7.1 图的定义和术语 结论: 有n个顶点的有向图最多有 条边，最少有 条边。 有n个顶点的无向图最多有 条边，最少有 条边。 有n个顶点的连通图最少有 条边，若少于 条边，图一定是非连通图，多于