计算机软件技术基础5修改.pptVIP

* 2．6 图 图是另一类非线性结构，它比树更复杂、更一般，因此可以把树看作是简单的图。 2．6．1 图的定义及基本术语 1 ．定义 图是由顶点集合V和顶点之间关系集合R组成 G＝(V，R) 其中V是图中顶点的非空有穷集合，V＝{v1,v2,…,vn}； R是两个顶点之间关系的集合，它是顶点的有序或无序对，记作vi,vj或(vi,vj)。 当图中顶点之间关系为无序对时称为无向图。无序对(vi,vj)＝ (vj,vi)称为边E(edge)。无向图记作 G＝(V，E) 图2．51(a)为无向图，可表示为 V＝{vl，v2，v3，v4，v5} E＝{(v1，v2)，(v1，v4)，(v1，v3)，(v3，v5)，(v2，v3)} 当图中顶点间的关系为有序对时称为有向图。vi,vj称为有向图中一条弧A(arc)，称vi为弧尾或初始点，称vj为弧头或终端点，vi，vj和vj，vi表示的是不同的弧。 有向图记作 G＝(V，A) 图2．51(b)为一有向图，可表示为 V＝{v1，v2，v3，v4} A = {v1,v3,v1,v2,v3,v4,v4,v1} 若图中每一条边附有一个对应的数，则称之为网，这些数称为权，它可以表示两顶点之间的距离或花费的代价。同样，弧上带权的有向图称为有向网。 2．有关图的基本术语 (1)子图 设有两个图G和G: G＝(V，E)，G＝(V ，E ) 如满足 和 ，则称G为G的子图。如图2．53(a)为图2．51(a)的子图，2．53(b)为图2．51(b)的子图。 (2)度、入度和出度 在无向图中，与某个顶点相连的边的数目称为该顶点的度。 在有向图中，以某个顶点为初始点的弧的数目称为该顶点的出度，以某个顶点为终端点的弧的数目称为该顶点的入度。 (3)路径和回路 在无向图中，从顶点vp到顶点vq的路径是顶点序列(vp,vi1,vi2,vik, …,vq)，且(vp,vi1),(vi1,vi2), …,(vik, vq)均是E中的边。 在有向图中，则由顶点的弧组成有向路径。路径上边或弧的数目称为路径长度。网络的路径长度定义为路径上权值的和。 除第一个和最后一个顶点外，序列中其余顶点各不相同的路径称为简单路径。第一个顶点和最后一个顶点相同的简单路径称为简单回路。 (4)连通图和连通分量 在无向图中，若从vi到vj存在路径，则称vi和vj是连通的。若在顶点集合V中每一对不同顶点vi和vj都连通，则称G为连通图。如图2．54(a)为连通图，而图2．54(b)为非连通图，但它有三个连通分量G1，G2和G3。 连通分量是指无向图中的极大连通子图。 3．6．2 图的存储结构 由于图的结构比较复杂，无法用顺序存储结构表示。 如果用多重链表来表示图，则每一个结点由一个数据域和多个指针域组成，每一个结点表示图中一个顶点，指针域指向其邻接点。 常用的为邻接矩阵和邻接表。 1．邻接矩阵 定义：对于n个顶点的图G＝(V，E)，可用n×n的矩阵来表示，矩阵中每个元素定义为 A[i,j]= 若G是网，则邻接矩阵中的每个元素定义为 A[i,j]= 其中wij为边(vi，vj)或弧vi，vj上的权值。 1 若(vi，vj)或vi、vj＞是E中的边或弧 0 反之 wij 若(vi，vj)或vi、vj＞是E中的边或弧 0 反之 对应图2．52(a)(b)的邻接矩阵为 从上述邻接短阵中可以看出，无向图与无向网的邻接矩阵为对称短阵。 *