[工学]清华大学出版社 数据结构C语言版第七章 图.pptVIP

第七章 图 图(Graph)是一种较线性表和树更为复杂的数据结构。在图形结构中，结点之间的关系可以是任意的，图中任意两个数据元素之间都可能相关。 (线性表中，数据元素之间仅有线性关系，每个数据元素只有一个直接前驱和一个直接后继;树形结构中，数据元素之间有着明显的层次关系，并且每一层上的数据元素可能和下一层中多个元素相关，但只能和上一层中一个元素相关。) 7.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的意义或信息} 基本操作P： CreateGraph(G,V,VR); DestroyGraph(G); LocateVex(G,u); GetVex(G,v); PutVex(G,v); …… }ADT Grahp 1）无向图 在一个图中，如果任意两个顶点构成的偶对（vi, vj）∈E是无序的，即顶点之间的连线是没有方向的，则称该图为无向图。如图8.1所示的是一个无向图G1。 在该图中： 集合V＝{v1,v2,v3,v4,v5}； 集合E＝{(v1,v2),(v1,v4),(v2,v3),(v3,v4),(v3,v5),(v2,v5)}。 2)有向图 在一个图中，如果任意两个顶点构成的偶对（vi, vj）∈E是有序的，即顶点之间的连线是有方向的，则称该图为有向图。 G2=(V2,E2) V2={v1,v2,v3,v4} E2={v1,v2, v1,v3, v3,v4, v4,v1} 3）顶点、边、弧、弧头、弧尾。 在图中，数据元素vi称为顶点(vertex )；(vi, vj)表示在顶点vi和顶点vj之间有一条直接连线。在无向图中，则称这条连线为边；边用顶点的无序偶对（vi, vj）来表示，称顶点vi和顶点vj互为邻接点，边（vi, vj）依附于顶点vi与顶点vj；在有向图中，一般称这条连线为弧。弧用顶点的有序偶对vi, vj来表示，有序偶对的第一个结点vi被称为始点（或弧尾），在图中就是不带箭头的一端；有序偶对的第二个结点vj被称为终点（或弧头），在图中就是带箭头的一端。 4）无向完全图。在一个无向图中，如果任意两顶点都有一条直接边相连接，则称该图为无向完全图。在一个含有n个顶点的无向完全图中，有n(n-1)/2条边。 5）有向完全图。在一个有向图中，如果任意两顶点之间都有方向互为相反的两条弧相连接，则称该图为有向完全图。在一个含有n个顶点的有向完全图中，有n(n-1)条边。 6）稠密图、稀疏图。若一个图接近完全图，称为稠密图；称边数很少的图为稀疏图。 7）顶点的度、入度、出度。 顶点的度（degree）是指依附于某顶点v的边数，通常记为D(v)。 在有向图中，要区别顶点的入度与出度的概念。顶点v的入度是指以顶点为终点的弧的数目,记为ID(v)；顶点v出度是指以顶点v为始点的弧的数目，记为OD(v)。 D(v)=ID(v)＋OD(v)。 8）边的权、网图。 与边有关的数据信息称为权（weight）。边上带权的图称为网图或网络（network）。如果边是有方向的带权图，则就是一个有向网图。 9）路径、路径长度。顶点vp到顶点vq之间的路径（path）是指顶点序列vp,vi1,vi2, …, vim,vq.。其中，（vp,vi1），(vi1,vi2)，…,(vim,.vq)分别为图中的边。路径上边的数目称为路径长度。 10）回路、简单路径、简单回路。 序列中除起点和终点外其余顶点不重复出现的路径称为简单路径。 起点和终点相同的简单路径称为简单回路，或简单环。 11）子图。对于图G=（V，E），G’=（V’，E’），若存在V’是V的子集 ，E’是E的子集 ，且E’中的边所关联的顶点均在V’中，则称图G’是G的一个子图。 12）连通的、连通图、连通分量。在无向图中，如果从一个顶点vi到另一个顶点vj(i≠j)有路径，则称顶点vi和vj是连通的。如果图中任意两顶点都是连通的，则称该图是连通图。无向图的极大连通子图称为连通分量。 13）强连通图、强连通分量。对于有向图来说，若图中任意一对顶点vi 和vj(i≠j)均有从一个顶点vi到另一个顶点vj有路径，也有从vj到vi的路径，则称该有向图是强连通图。有向图的极大强连通子图称为强连通分量。 7.2 图的存储结构 7.