图定义和术语.pptVIP

7.1 图的定义和术语 7.2 图的存储结构 7.3 图的遍历 7.4 图的连通性问题 7.5 有向无环图及其应用 7.6 最短路径 ;图(Graph)——由一个顶点集V和一个边集E构成的数据结构。 Graph = (V, E ) 其中，V = { x | x ? 某个数据对象} 是非空有限的顶点集合； E = {(x, y) | x, y ? V } 或 E = {x, y | x, y ? V Path (x, y)} 是有限的顶点之间关系的集合，(x,y)也叫做边(edge)集合,它是无方向的; Path (x, y)表示从 x 到 y 的一条单向通路, 它是有方向的,所以x,y也叫做弧(arc)的集合,x称为弧尾或始点,y称为弧头或终点. ;有向图——有向图G是由两个集合V(G)和E(G)组成的 其中：V(G)是顶点的非空有限集 E(G)是有向边（也称弧）的有限集合，弧是顶点的有序对，记为v,w，v,w是顶点，v为弧尾，w为弧头 无向图——无向图G是由两个集合V(G)和E(G)组成的 其中：V(G)是顶??的非空有限集 E(G)是边的有限集合，边是顶点的无序对，记为（v,w）或（w,v)，并且（v,w)=(w,v) ;例7.1;无向完全图(Completed graph) —n个顶点的无向图有n(n-1)/2条边（最大边数是n(n-1)/2） 有向完全图——n个顶点的有向图，有n(n-1)条边（最大边数是n(n-1) ） 稀疏图(sparse graph)：边或弧很少的图,通常边数 nlog2n 稠密图(Dense graph) 无向图中，边数接近n(n-1)/2 ； 有向图中，边数接近n(n-1) ;有向完全图;权——与图的边或弧相关的数 网——带权的有向图叫有向网，带权的无向图叫无向网;子图——如果图G(V,E)和图G’(V’,E’),满足： V’?V，E’?E 则称G‘为G的子图;邻接点(或相邻点),关联 如果 e=(u, v) 是 E(G) 中的一条边，则称 u 与 v 互为邻接顶点或相邻顶点;称边e与顶点u ,v 关联; 如果 e=u, v 是 E(G) 中的一条弧，则称 u 邻接到v,v邻接于u,也称e与u,v关联;称弧e与顶点u ,v 关联; ;顶点的度（于树的度不同） 无向图中，顶点的度为与每个顶点相连的边数,记作TD(v) 有向图中，顶点的度分成入度与出度 入度：以该顶点为头的弧的数目,记为ID(v) 出度：以该顶点为尾的弧的数目,记为OD(v) 一个顶点的度数等于该顶点的入度与出度之和,即TD(v)=OD(v)+ID(v) ;路径——路径是顶点的序列V={Vi0,Vi1,……Vin}，满足(Vij-1,Vij)?E 或 Vij-1,Vij?E,(1j?n) 路径长度——沿路径边的数目或沿路径各边权值之和 简单路径——序列中顶点不重复出现的路径 回路(环)——第一个顶点和最后一个顶点相同的路径 简单回路(简单环)——除了第一个顶点和最后一个顶点外，其余顶点不重复出现的回路;7.1 图的定义和术语;连通图与连通分量 在无向图中, 若从顶点v1到顶点v2有路径, 则称顶点v1与v2是连通的。如果图中任意一对顶点都是连通的, 则称此图是连通图。非连通图的极大连通子图叫做连通分量。;强连通图与强连通分量 在有向图中, 若对于每一对顶点vi和vj, 都存在一条从vi到vj和从vj到vi的路径, 则称此图是强连通图。非强连通图的极大强连通子图叫做强连通分量。;生成树：是一个极小连通子图，它含有图中全部n个顶点，但只有n-1条边。 如果在生成树上添加1条边，必定构成一个环 若图中有n个顶点，却少于n-1条边，必为非连通图。;生成森林： 由若干棵生成树组成，含全部顶点，但构成这些树的边是最少的。;本章只讨论简单图,有两类图形不在本章讨论之列：;图的抽象数据类型定义;CreatGraph(G, V, VR) // 按定义(V, VR) 构造图;FirstAdjVex(G, v); // 返回 v 的“第一个邻接点” 。若该顶点 //在 G 中没有邻接点，则返回“空”。;InsertArc(G, v, w); // 在G中增添弧v,w，若G是无向的， //则还增添对称弧w,v。;DFSTraverse(G, v, Visit()) //从顶点v起深度优先遍历图G，并对每个顶点调用函数Visit一次且仅一次。;图的四种常用的存储形式： 邻接矩阵和加权邻接矩阵（labeled adjacency matrix） 邻接表 十字链表 邻接多重表 ;一、(加权)邻接矩阵（labeled a