第7章 图1.ppt

第7章 图 7.1 图的定义和基本术语 7.2 图的存储结构 7.2.1 数组表示法(邻接矩阵表示法) 7.2.2 邻接表表示法 7.3 图的遍历 7.3.1 深度优先搜索 7.3.2 广度优先搜索 7.4 图的连通性问题 7.4.1 无向图的连通分量和生成树 7.4.2 最小生成树 7.5 有向无环图及其应用 7.5.1 拓扑排序 7.5.2 关键路径 7.6 最短路径 7.6.1 从某个源点到其余各顶点的最短路径 7.6.2 每一对顶点间的最短路径 7.1 图的定义和基本术语 图(Graph)是较线性表和树更为复杂的结构。 图中任意数据两个元素之间都可能相关。 7.1 图的定义和基本术语 连通：两个顶点之间有路径。 连通图： 任意两个顶点之间有路径。 连通分量：无向图中的极大连通子图。 强连通图：任意两个顶点之间有双向路径。 强连通分量：有向图中的极大强连通子图。 （强连通图的强连通分量是自身） 连通图的生成树：极小连通子图。 不唯一，但n个顶点的生成树有且仅有n-1条边。 但是，有n个顶点，n-1条边的图必定是生成树吗？ 生成森林：对非连通图，则称由各个连通分量的生成树的集合为此非连通图的生成森林。 ADT Graph { 数据对象V：V是具有相同特性的数据元素的集合，称为顶点集。 数据关系R： R＝{VR} VR＝{v,w| v,w∈V且P(v,w)， v,w表示从v到w的弧， 谓词P(v,w)定义了弧v,w的意义或信息 } 图的抽象数据类型定义 ADT Graph { 数据对象V：V是具有相同特性的数据元素的集合，称为顶点集。 数据关系R： R＝{VR} VR＝{v,w| v,w∈V且P(v,w)， v,w表示从v到w的弧， 谓词P(v,w)定义了弧v,w的意义或信息 基本操作P：。。。 } 基本操作P： (1) 结构的建立和销毁: CreateGraph(G,V,VR); // 按V和VR的定义构造图G。 DestroyGraph(G); // 销毁图G。 (2) 对顶点的访问操作: LocateVex(G, u); // 若G中存在顶点u，则返回该顶点在图中位置；否则返回其它信息。 GetVex(G, v); // 返回v的值。 PutVex(G, v, value); // 对v赋值value。 (3) 对邻接点的操作: FirstAdjVex(G, v); // 返回v的第一个邻接点。若该顶点在G中没有邻接点，则返回“空”。 NextAdjVex(G, v, w); //返回v的（相对于w的）下一个邻接点。若w是v的最后一个邻接点，则返回“空”。 (4) 插入或删除顶点： InsertVex(G, v); // 在图G中增添新顶点v。 DeleteVex(G, v); // 删除G中顶点v及其相关的弧。 (5) 插入和删除弧： InsertArc(G, v, w); // 在G中增添弧v,w，若G是无向的，则还增添对称弧w,v。 DeleteArc(G, v, w); //在G中删除弧v,w，若G是无向的，则还删除对称弧w,v。 (6) 遍历： DFSTraverse(G, v, Visit()); // 从顶点v起深度优先遍历图G，并对每个顶点调用函数Visit一次且仅一次。 BFSTraverse(G, v, Visit()); // 从顶点v起广度优先遍历图G，并对每个顶点调用函数Visit一次且仅一次。 7.2 图的存储结构 7.2.1 数组表示法(邻接矩阵表示法) 邻接矩阵——表示顶点间相联关系的矩阵 定义：设G=(V,E)是有n≥1个顶点的图，G的邻接矩阵A是具有以下性质的n阶方阵: 特点： 无向图、有向图、网均适用。 无向图的邻接矩阵对称，可压缩存储；有n个顶点的无向图需存储空间为n(n+1)/2。 有向图邻接矩阵不一定对称；有n个顶点的有向图需存储空间为n2。 无向图中顶点Vi的度TD(Vi)是邻接矩阵A中第i行元素之和。 有向图中： 顶点Vi的出度是A中第i行元素之和; 顶点Vi的入度是A中第i列元素之和。 网络的邻接矩阵可定义为： 网及其邻接矩阵 7.2.2 邻接表表示法 邻接表特点：