数据结构二版杨枨数据结构：第七章：图课件.pptVIP

2003年12月1日 软件需求工程 第七章 图 7.1 图的数学基础与基本概念 7.2 图的存贮表示 7.3 图的遍历 7.4 图的连通性 7.5 图的最短路径 7.6 拓扑排序 7.7 小结 7.1 图的数学基础与基本概念 图是由一个数据元素即顶点的集合V和顶点之间的连接即边的集合E所组成。 如果边表示的是顶点之间的无序连接，则为无向图。 如果边表示的是顶点之间的有序连接，则为有向图 对无向图而言，如果顶点vi、vj之间存在路径，则称vi和vj是连通的。 如果图中任意两个顶点都是连通的，则称此图为连通图。 在无向图中，极大连通子图称为连通分量。 对有向图而言，如果其中任意两个顶点之间都存在路径，则称该图为强连通图。有向图中的极大强连通子图是它的强连通分量。 如果图中的边带有权值，则称这样的图为加权图，或网 7.2 图的存贮表示 邻接矩阵 邻接表 十字链表 邻接多重表 7.2.1 邻接矩阵 由于图G=(V，E)实际上是顶点集V上的二元关系，因此可以用矩阵来表示顶点之间的关系。 设图G=(V，E)，V={v1，v2，...，vn}，用矩阵A=(ai j) n×n表示，其中： 1 （vi，v j）∈E ai j = 0 （vi，v j）?E 称A为G的邻接矩阵。 若G是无向图，则A必是对称矩阵。 7.2.1 邻接矩阵（续1） 在无向图中，顶点vi的度是邻接矩阵中第i行或第i列的元素之和。 有向图中，顶点vi的出度是第i行元素之和，顶点vi的入度是第i列元素之和。 网的邻接矩阵可定义为： wij （vi，v j）∈E ai j = ∞ （vi，v j）?E 7.2.2 邻接表 邻接表就是图的一种最简单的链式存储结构表示。在邻接表中，图中的每一个顶点都用一个顶点结点来表示，其结构如下所示： 其中，data域存放与顶点有关的信息，firstedge域是一个指针域，指向依附于该顶点的第一条边。对于图中的所有顶点结点而言，通常采用顺序的存储结构进行组织，也就是说，使用一个一维数组来存储顶点，数组中的每一个元素就是一个顶点结点。 对图中每个顶点建立一个单链表，单链表中的每个结点表示依附于该顶点的一条边，称为边结点。边结点的结构为： 其中，adjvex域存放依附于该边的另一个顶点的序号，data域存放与边有关的信息，而nextedge为指向依附于该顶点的下一条边的指针。对于从属于每一个顶点的单链表而言，顶点结点中的firstedge指针实际上就是该单链表的头指针。 7.2.3 十字链表 在十字链表中，图中的每个顶点用一个结点表示，每条边也用一个结点表示。边结点的结构如下： 边结点中包括五个域，其中起点域startvex和终点域endvex分别表示该边的起始顶点和终止顶点在图中位置，slink和elink是两个指针域，slink指向起点相同的下一条边，elink指向终点相同的下一条边，data域存放与边相关的信息。 顶点结点的结构如下所示： 顶点结点中包括三个域，其中firstoutedge和firstinedge是两个指针域，firstoutedge指向以该顶点为起点的第一条边，firstinedge指向以该顶点为终点的第一条边，data域存放与该顶点相关的信息。图中顶点结点之间采用顺序存储的方式存放在一个数组中，便于随机存取。顶点结点中的firstoutedge和firstinedge实际上就是边结点链表的头指针。但在边结点所组成的链表中，边结点之间的位置在十字链表生成时决定，与顶点的序号无关。 7.2.4 邻接多重表 邻接多重表是对无向图的邻接表表示方法的一种改进。在邻接表中，每一条边分别出现在以该边的两个顶点为头结点的边结点单链表中。而在邻接多重表中，每一条边用一个结点表示，它由如下所示的六个域组成： 虽然每条边只用一个边结点表示，但是由于每条边仍与两个顶点相连，且这两个顶点的地位相同，通过这两个顶点都可同样访问到这条边，因此在图的某些操作中需对边进行标识，以防止重复操作。边结点中的mark域即为标志域，用于标记该条边是否被访问过，vertex1和vertex2为组成该边的两个顶点在图中的位置，link1指向下一条与顶点vertex1相连的边，link2指向下一条与顶点vertex2相连的边，data域用于存储与该边相关的信息。 邻接多重表中每一个顶点也用一个结点来表示，它的结构如下所示： 其中，data域用于存储与该顶点相关的信息，firstedge域指向第一条与该顶点相连的边结点。由于在无向图中，边的两个顶点的地位都是等价的，无起点和终点之说，因此有向图的十字链表表示中，顶点结点中的两个指针域在无向图的邻接多重表中就合并成了一个指