数据结构周屹任义主编第7章课件教学.pptVIP

第7章 图 学习目标： 1）理解图的定义和基本术语，掌握图的存储结构； 2）理解图的遍历，并掌握图遍历算法实现； 3）掌握生成树和最小生成树及其构造算法； 4）理解AOV和AOE网的区别，掌握关键路径的应用； 5）掌握最短路径的算法实现； 图(Graph)是一种复杂的非线性结构。在线性表中，数据元素满足惟一的线性关系，每个元素(除第一个元素和最后一个元素之外)，只有一个直接前趋和直接后继：在树形结构中，数据元素有明显的层次关系，并且每个元素只有一个直接前趋和多个直接后继；而在图形结构中，数据元素之间的关系是任意的，任何两个元素都可以相关，因此它较线性结构和树结构更复杂。 7.1 图的定义和术语 1．图的定义 图(Graph)是由非空的顶点集V和顶点间的关系集合E—边（或者弧）的集合组成的一种数据结构，其形式化定义为： G=（V, E） V＝{vi| vi∈dataobject} E＝{( vi,vj)| vi, vj ∈V ∧P(vi, vj)} 其中，G表示一个图，V是图G中顶点的集合，E是图G中边的集合，集合E中P(vi,vj)表示顶点vi和顶点vj之间有一条直接连线，即偶对(vi,vj)表示一条边。 (a) 无向图G1 (b) 有向图G2 图7-1 图的示例 2．图的相关术语 （1）无向图。在一个图中，如果任意两个顶点构成的偶对（vi, vj）∈E是无序的，即顶点之间的连线是没有方向的，则称该图为无向图。如图7.1所示图（a）是一个无向图G1。在无向图中，用圆括号表示边，边用顶点的无序偶对（vi, vj）来表示，称顶点vi和顶点vj互为邻接点，边（vi, vj）依附于顶点vi与顶点vj； （2）有向图。在一个图中，如果任意两个顶点构成的偶对（vi, vj）∈E是有序的，即顶点之间的连线是有方向的。如图7.1所示图（b）是一个有向图 G2=(V2,E2)，其中V2={1,2,3,4}, E2={1,2,1,3,4,1,3,4,2,4}。 在有向图中，一条边 v1,v2 与 v2, v1表示的结果不相同，用尖括号表示。 v1,v2 表示从顶点v1发向顶点v2的边，v1为始点，v2为终点。有向边也称为弧，v1为弧尾，v2为弧头,则 v1,v2 表示为一条弧,而 v2, v1表示v2为弧尾，v1为弧头的另一条弧。 （3）完全图、稠密图、稀疏图 在一个无向图中，具有n个顶点，n(n-1)/2条边的图，称为完全无向图；在一个有向图中，具有n个顶点，n(n-1) 条弧的有向图,称为完全有向图。完全无向图和完全有向图都称为完全图。 对于一般无向图，顶点数为n，边数为e，则 0≤e ≤n(n-1)/2。 对于一般有向图，顶点数为n，弧数为e， 则 0≤e≤n(n-1) 。 当一个图接近完全图时，则称它为稠密图，相反地，当一个图中含有较少的边或弧时，则称它为稀疏图。 （4）顶点的度、入度、出度 在图中，一个顶点依附的边或弧的数目，称为该顶点的度（degree），通常记为TD (v)。在有向图中，一个顶点依附的弧头数目，称为该顶点的入度。记为ID (v)；一个顶点依附的弧尾数目，称为该顶点的出度，记为OD (v)。某个顶点的入度和出度之和称为该顶点的度。 另外，若图中有n个顶点，e条边或弧，第i个顶点的度为di，则有e= （5）图与子图 若有两个图G1和G2， G1=(V1,E1)， G2=(V2,E2)， 满足如下条件： V2?V1 ，E2? E1，即V2为V1的子集，E2为E1的子集，称图G2为图G1的子图。 （6）权与网 在图的边或弧中给出相关的数，称为权。在实际应用中，权值可以有某种含义。 （7）连通图和强连通图 在无向图中，若从顶点i到顶点j有路径，则称顶点i和顶点j是连通的。若任意两个顶点都是连通的，则称此无向图为连通图，否则称为非连通图。 （8）连通分量和强连通分量 无向图中，极大的连通子图为该图的连通分量。显然，任何连通图的连通分量只有一个，即它本身，而非连通图有多个连通分量。 有向图中，极大的强连通子图为该图的强连通分量。显然，任何强连通图的强连通分量只有一个，即它本身，而非强连通图有多个强连通分量。 （9）路径、回路 在无向图G中，若存在一个顶点序列Vp ,Vi1，Vi2，…，Vin，Vq, 使得（Vp,Vi1）,(Vi1,Vi2),….