08第8章 图.pptVIP

第8章 图 图的基本概念 图的存储结构 图的遍历 生成树 最短路径 拓扑排序 关键路径 图的基本概念 图：是一种数据结构，它的形式化定义为Graph=（V，E）,其中V是图中结点（Vertices）的非空有限集，E是图中边（Edges）的有限集。 无向图： 图上的每条边都没有方向，即两个顶点对（V1，V2）和（V2，V1）代表同一边。 有向图：图上的每条边都是有方向的，即两个顶点对（V1，V2）和（V2，V1）代表两条边。 有向完全图：对于有向图，有n(n-1)条弧的有向图。 无向完全图：对于无向图，有n(n-1)/2条边的无向图。 权：与图的边或弧相关的数叫做权(weight)，权反应了这条边或弧的某种特征的数据。 网：带权的图。 实例： 子图：有两个图G=(V , E)和G′=(V′, E′)，如果V′?V且E′?E，则称G′为G的子图。 实例： 弧头和弧尾: 有向图中存在vi ,vj，称弧的始点vi为弧尾，弧的终点vj为弧头。 出边和入边：有向图中存在vi ,vj，称该弧为始点vi的出边，终点vj的入边。 度: 无向图G=(V , E)，边(v，v′)?E，称顶点v和v′互为邻接点(adjacent);边(v，v′)依附(incident)于顶点v和v′，或说边(v，v′)和顶点v与v′相关联;顶点v的度(degree)是和顶点v相关联的边的数目，记为TD(V)。 入度：以顶点v为头的弧的数目，称为v的入度，记为ID（v）。 出度：以顶点v为尾的弧的数目，称为v的出度，记为OD（v）。 顶点的度：顶点的度TD（v）=ID（v）+OD（v）。 路径：无向图G = (V , E)中从顶点v到顶点v?的路径(path)是一个顶点序列(v,vi,0,vi,1,vi,2??????vi,m,v?)，其中(vi,j-1,vi,j)?E，1?j?m；如果G是有向图，则路径也是有向的顶点序列，应满足?vi,j-1,vi,j??E，1?j?m。 路径的长度：路径上的边或弧的数目。 回路或环：第一个顶点和最后一个顶点相同的路径。 简单路径：序列中顶点不重复出现的路径。 简单回路：一条简单路径，其长度?2，且路径的起始点和终止点是同一顶点的路径。 连通图：在无向图中，从顶点v到顶点v?有路径，则称v和v?是连通的；如果图中任意两个顶点vi ，vj?V，vi和vj都是连通的，则称G是连通图。 连通分量：无向图中极大连通子图。 强连通图：有向图G中，如果对于每一对vi,vj?V，vi?vj ，从vi到vj和从vj到vi都存在路径，则称G是强连通图。 强连通分量：有向图中的极大连通子图称为有向图的强连通分量。 实例： 生成树：为一个极小连通子图，含有图中的全部顶点，只有足以构成一棵树的n-1条边。 实例： 有向树：一个有向图恰好有一个顶点入度为0，其余顶点入度为1，则为有向树。 生成森林：有向图的生成森林由若干棵有向树组成，含有图中全部顶点，只含有足以构成若干棵不相交的有向树的弧 。 图的存储结构 邻接矩阵 邻接表 十字链表 邻接多重表 邻接矩阵表示法 概念：用二维数组存储图中顶点的信息，用矩阵表示图中各个顶点（数据元素）之间的关系（边或弧）的信息；设G=（V，E）是具有n个顶点的图，则G的邻接矩阵是具有如下性质的n阶方阵 ： 网的邻接矩阵：网G=(V，E)含有n(?1)个顶点V=（v1,v2,??vn），则元素为： 图及其邻接矩阵实例： 网及其邻接矩阵实例： 邻接表 概念：图的一种顺序存储结构和链式存储结构相结合的存储方法；用一维数组表示顶点结点 Vertex域存放与顶点有 关的信息；FirstArc为指针域，存放与该结点相邻接的所有顶点组成的单链表的头指针 ； 邻接单链表中每个结点表示依附于该顶点的一条边，称作边结点，边结点的结构为： Adjvertex：存放依附于 该边的另一个顶点在一维数组中的序号； Weight域存放边和该边有关的信息 ；Nextarc域为指向依附于该顶点的下一个边结点的指针 。 实例： 十字链表 概念：对应于有向图中的每一条弧有一个结点，对应于每个顶点也有一个结点。 头域：该弧的弧头顶点在图中的位置。 尾域：该弧的弧尾顶点在图中的位置。 链域：指向与该弧具有相同弧头的下一条弧的边结点。 链域：指向与该弧具有相同弧尾的下一条弧的边结点。 info：域指向该弧的相关信息（如权值）。 实例： 邻接多重表 概念：在邻接多重表中，每一条边用一个结点表示，它由如下所示的六个域组成： mark为标志域，保存标志该条边是否被搜索过。 ivex和jvex保存该边依附的两个顶点在图中的位置。 ilink