武汉软件工程职业学院《数据结构讲义》讲图.docVIP

1．掌握图的定义及基本术语。 2. 掌握图的存储结构（包括邻接矩阵和邻接表，以及这些存储表示上的典型操作包括图的定义，图的连通性，图的路径和路径长度，图中各顶点的度无向连通图的有向强连通图的等第章 图图(Graph)是一种较线性表和树更为复杂的数据结构。在线性表中，数据元素之间仅有线性关系，每个数据元素只有一个直接前驱和一个直接后继；在树形结构中，数据元素之间有着明显的层次关系，并且每一层上的数据元素可能和下一层中多个元素(即其孩子结点)相关，但只能和上一层中一个元素(即其双亲结点)相关；而在图形结构中，结点之间的关系可以是任意的，图中任意两个数据元素之间都可能相关。由此，图的应用极为广泛，特别是近年来的迅速发展，已渗入到诸如语言学、逻辑学、物理、化学、电讯工程、计算机科学以及数学的其它分支中。在图中的数据元素通常称做顶点(Vertex)，V是顶点的有穷非空集合；是顶点集合。若 v,vj ∈VR必有 v,vj ∈VR，即是对称的，则以无序对(v,vj)代替这两个有序对，表示v和之间的一条边（Edge)，此时的图称为无向图(Undigraph)。????若v,vj∈E，则 v,vj 表示从v 到的一条弧(Arc)，且称v为弧尾(Tail)或初始点(Initial node)，称为弧头(Head)或终端点(Terminal node)，此时的图称为有向图(Digraph)。 在上面两个图结构中，一个是有向图，即每条边都有方向，另一个是无向图，即每条边都没有方向。 [例如]图(a)中G是有向图，定义此图的谓词P(v， )则表示从v到的一条单向通路。????G1=(V1,{A1})其中：????V1={v1,v2,v3,v4}????A1={v1,v2,v1,v3,v3,v4,v4,v1}图 (b)中G为无向图????G2=(V2,{A2})其中：????V2={v1,v2,v3,v4,v5}????A2={(v1,v2),(v1,v4),(v2,v3) ,(v2,v5),(v3,v4),(v3,v5)} （a)有向图G ????(b)无向图G2图图的示例 对于无向图G=（V，E），若边（vi，vj）∈E，则称vi和vj互为邻接点（Adjacent），即vi和vj相邻接，而边（vi， vj ）则是与顶点vi和vj相关联的边。 对于有向图G=（V，A），若弧（vi，vj）∈E，则称为顶点vi邻接到顶点vj，顶点vj邻接自顶点vi，而弧（vi， vj ）和顶点vi、 vj相关联。 完全图：在一个有n个顶点的无向图中，若每个顶点到其它（n-1）个顶点都连有一 条边，则图中共有n(n-1)/2条边，这种图称为完全图（Complete graph，也称完备图）。 ??? ? 左图所示就是n=4的完全图，它一共有六条边。 子图：设有两个图G =(V,E)和G’=(V’,E’)，若V(G’)是V(G)的子集，且E(G’) 是E(G)的子集，则称G’是G的子图(Subgraph)。 [例如] 图5-1-3所示的图是图5-1-1中G1的一些子图。 图5-1-3 子图 [例如] 图是子图的一些例子。 图……。对于有向图，顶点的度分为入度和出度，入度是以该顶点为终点的入边数目；出度是以该顶点为起点的出边数目，该顶点的度等于其入度和出度之和。例如在图5-1-1的图G2中，顶点①的入度为1，出度为2，而顶点②的入度为1，出度为0，因为有一条边指向它，而没有边从它指出去。 可以证明，一个有n个顶点，e调边或弧的图，满足如下关系： 路径：在一个图中，若从某顶点Vp出发，沿一些边经过顶点V1,V2,…,Vm到达Vq， 则称顶点序列(Vp, V1,V2,…,Vm, Vq)为从Vp到Vq的路径(Path)。 路径长度：对于无权的图，路径长度指的是沿此路径上边的数目；对于有权图，一般是取沿路径各边的权之和作为此路径的长度。若一条路径上各顶点均不重复，即路径经过每一顶点不超过一次，则此路径叫做简单路径。如果从一个顶点出发又回到该顶点，即Vp与Vq相同，则此路径叫做回路或环（Cycle）。 连通、连通图：在无向图中，如果从顶点Vi到顶点Vj之间有路径，则称这两个顶 点是连通的。如果图中任意一对顶点都是连通的，则称此图是连通图(Connected graph)。 [例如]图5-1-1中的图G1是连通图。图5-1-5（a）中的图G3就是非连通图，非连通图的每一个极大连通子图叫连通分量(Connected Component)，此图包括二个连通分量，见图5-1-5（b）。