《数据结构》讲义.pptVIP

第七章 图 本章内容 定义和术语 存储结构：邻接矩阵、邻接表，十字链表，邻接多重表 两种遍历策略：深度优先搜索和广度优先搜索 连通性和最小生成树 拓扑排序和关键路径 两类求最短路径问题的解法 本章要点 熟悉图的各种存储结构及其构造算法，了解实际问题的求解效率与采用何种存储结构和算法有密切联系； 熟练掌握图的两种搜索路径的遍历：遍历的逻辑定义、深度优先搜索的两种形式(递归和非递归)和广度优先搜索的算法。在学习中应注意图的遍历算法与树的遍历算法之间的类似和差异； 应用图的遍历算法求解各种简单路径问题。 7.1 图的定义和术语 图G 由两个集合V(G)和E(G)组成，记作G=(V,E) 其中V(G)是顶点的非空有穷集合，E(G)是边的有穷集合，而边是顶点的无序对或有序对。 图的基本术语 顶点(vertex) 数据元素所构成的结点通常称为顶点。 弧(arc) 若两个顶点间有关系x,y∈E ，则称x,y为一条弧。 弧头(又称终端点) 若x,y为一条弧，则顶点 y 称为弧头。 弧尾(又称初始点) 若x,y为一条弧，则顶点 x 称为弧尾。 边(Edge) 无向图中两条弧x,y和y,x可用一条边(x,y)来表示 。 图的基本术语(续) 顶点的度（degree） 与顶点相关联的边数称为该顶点的度，又分为入度和出度 。 顶点的入度（indegree） 以顶点为头的弧数称为该顶点的入度 。 顶点的出度（outdegree） 以顶点为尾的弧数称为该顶点的出度 。 路径（path） 由顶点vi经过一系列边和顶点到达顶点vj所得到的顶点序列。 回路（loop--又称环 cycle） 起点和终点为同一顶点的路径称为回路。 图的基本术语(续) 简单路径 (路径的顶点)序列中顶点不重复出现的路径。 简单回路(简单环) 除路径起点和终点相同外，其余顶点均不相同的回路。 稀疏图 边数很少的图 (如enlogn)。 稠密图 边数很多的图。 权(weight) 有些图的边或弧具有一定的大小，称之为权。 网 带权值的图又称为网或网络。 图的基本术语(续) 子图 由图的部分顶点和边组成的新图称为原图的子图。 生成子图 由图的全部顶点和部分边组成的子图称为原图的生成子图。 邻接点 若边(vi,vj)∈E，则 vi与vj互为邻接点。 依附 若边(vi,vj)∈E ，则称边(vi,vj)依附于顶点vi和vj。 相关联 若边(vi,vj)∈E ，又称边(vi,vj)与顶点vi和vj相关联。 图的基本术语(续) 有向图 若x,y∈E ，并不总有y,x∈E，则称此图为有向图。 无向图 若x,y∈E ，总有y,x∈E，则称此图为无向图。 完全图 具有 n*(n-1)/2条边的无向图称为完全图。 有向完全图 具有 n*(n-1)条弧的有向图称为有向完全图。 图的基本术语(续) 连通 无向图中顶点vi到vj间有路径存在，则称vi和vj是连通的。 连通图 无向图中任意两顶点间均存在路径，则称该图为连通图。 连通分量 无向图中的极大连通子图称为原图的连通分量。 强连通图 有向图中任意两顶点间均存在路径，则称该图为强连通图。 强连通分量 有向图中的极大强连通子图称为原图的强连通分量。 图的基本术语(续) 生成树 连通图的极小连通生成子图称为原图的生成树。 有向树 恰有一个顶点入度为0 ，其余顶点入度均为1的有向图。 生成森林 由多棵有向树构成的有向图的生成子图称为生成森林。 最小代价生成树 连通网中由最小权值的边构成的生成树。 图的基本操作 图的生成操作 CreatGraph(G,V,VR) 顶点定位函数 LocateVex(G,v) 取顶点数据函数 GetVex(G,v) 求第一个邻接顶点函数 FirstAdjVex(G,v) 求下一个邻接顶点函数 NextAdjVex(G,v,w) 插入顶点操作 InsertVex(G,v) 删除顶点操作 DeleteVex(G,v) 插入边/弧的操作 InsertArc(G,u,v) 删除边/弧的操作 DeleteArc(G,u,v) 图的遍历 Traverse(G) 图的存储结构:邻接矩阵 数组表示法 邻接矩阵(优缺点) 图的存储结构：邻接矩阵 邻接矩阵(边表)arcs ? 3 2 ? 　 ? ? ? 4 ? 5 ? ? ? ? 2 ? 图的存储结构:关联矩阵