数据结构第七章图6.pptVIP

P211 1.(3) P212 2.(1) 2.(2) P212 3.(1) 第7章 图 本章中介绍下列主要内容： 图的定义 图的存储结构 图的遍历操作 图的几个典型问题 7.1 图的定义 7.2 图的存储结构 7.3 图的遍历 7.4 最小生成树问题 7.5 拓扑排序问题 图(Graph)是一种较线性表和树更复杂的数据结构。在线性表中，元素之间仅有线性关系；在树形结构中，数据元素之间有着明显的层次关系，并且每一层的数据元素可能和下一层的多个元素相关，但只能和上一层的一个元素相关；而在图结构中，结点之间的关系都是任意的，图中任意两个元素之间都可能相关。 7.1 图的定义 在实际应用中，有许多可以用图结构来描述的问题。例如：在若干个城市中建立通讯网络、公共交通图等，都可以用图来描述，在图中可以用一个点v1来代表一个城市，用两点间的连线来代表对应两城市之间的通讯线路。若要考虑通讯线路的造价，可以在连线旁边附加一个数值。如图8-1就是一种图结构示例，称v1 ~ v5为图的结点（顶点），两点间的连接线称作边，边旁的数值称为该边上的权值。如果所讨论问题不考虑权值，则称为一个图，若含权值，则称其为网。 图是由结点的有穷集合V和边的集合E组成。其中，为了与树形结构加以区别，在图结构中常常将结点称为顶点，边是顶点的有序偶对，若两个顶点之间存在一条边，就表示这两个顶点具有相邻关系。 图 7-1 图(graph)是一种复杂的非线性数据结构。图G的二元组定义为：G=(V,E) ? 其中V是顶点集合， 即V={vi|0≤i≤n-1,n≥0,vi∈VertexType}，VertexType为顶点值的类型，它同以前使用的ElemType一样可以代表任何类型，n为顶点数，当n=0时则V为空集； E是V上的一个二元关系，即V上顶点的序偶或无序对（每个无序对(x,y)是两个对称序偶x,y和y,x的简写形式）的集合。 对于V上的每个顶点，在E中都允许有任意多个前驱和任意多个后继，即对每个顶点的前驱和后继个数均不加限制。 对于一个图G，若E是序偶的集合，则每个序偶对应图形中的一条有向边，若E是无序对的集合，则每个无序对对应图形中的一条无向边，所以可把E看做是边的集合。这样图的二元组定义可叙述为： 图由顶点集(vertex set)和边集(edge set)所组成。针对图G，顶点集和边集可分别记为V(G)和E(G)。若顶点集为空，则边集必然为空，若顶点集非空，则边集可以为空，也可以不为空，当为空时，图G中的顶点均为孤立顶点。 对于一个图G，若边集E(G)中为有向边，则称此图为有向图(Directed Graph)，若边集E(G)中为无向边，则称此图为无向图(Undirected Graph)。 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)} V(G2)={0,1,2,3,4} E(G2)={0,1,0,2,1,2,1,4,2,1,2,3,4,3} 若用G2顶点的值表示其顶点集和边集，则如下所示。 V(G2)={A,B,C,D,E} E(G2)={A,B,A,C,B,C,B,E,C,B,C,D,E,D} 在日常生活中，图的应用到处可见。如各种交通图、线路图、结构图、流程图等，不胜枚举。 ? 在有向图中，通常将边称作弧，含箭头的一端称为弧头，另一端称为弧尾，记作vi,vj，它表示从顶点vi到顶点vj有一条边。 若有向图中有n个顶点，则最多有n(n-1)条弧， 我们又将具有n(n-1)条弧的有向图称作有向完全图。 以顶点v为弧尾的弧的数目称作顶点v的出度，以顶点v为弧头的弧的数目称作顶点v的入度。 5．路径 在无向图G=（V，E）中，从顶点v到顶点v′ 的路径是一个顶点序列（v=vi0，vi1 ，...， vin= v′ ），其中（vij-1，vij）∈E (1≤j≤n)。若G是有向图，则路径也是有向的，顶点序列也满足以上所述，即vij-1，vij∈E (1≤j≤n)。路径上的边或弧的数目称为路径的长度。第一个顶点和最后一个顶点相同的路径称为回路或环。序列中顶点不重复出现的路径称为简单路径。 与顶点v相关的边的条数称作顶点v的度。