数据结构图结构.pptx
《数据结构图结构.pptx》由会员分享,可在线阅读,更多相关《数据结构图结构.pptx(74页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、特点:非线性结构,是研究数据元素之间的多对多的关系。在这种结构中,任意两个元素之间可能存在关系。即结点之间的关系可以是任意的,图中任意元素之间都可能相关。图的应用极为广泛,已渗入到诸如语言学、逻辑学、物理、化学、电讯、计算机科学以及数学的其它分支。第第7 7章章 图图第1页/共74页7.1 基本术语7.2 存储结构7.3 图的遍历7.4 图的其他运算7.5 图的应用第第7 7章章 图图第2页/共74页7.1 7.1 图的基本术语图:记为 G(V,E)其中:V 是G的顶点集合,是有穷非空集;E 是G的边集合,是有穷集。问:当E(G)为空时,图G存在否?答:还存在!但此时图G只有顶点而没有边。有向
2、图:无向图:完全图:图G中的每条边都是有方向的;图G中的每条边都是无方向的;图G任意两个顶点都有一条边相连接;vv若若 n n 个顶点的无向图有个顶点的无向图有 n n(n n-1)/2-1)/2 条边条边,称为称为无向完全图无向完全图vv若若 n n 个顶点的有向图有个顶点的有向图有n(n-1)n(n-1)条边条边,称为称为有向完全图有向完全图V=vertex E=edge第3页/共74页证明:完全有向图有完全有向图有n(n-1)n(n-1)条边条边。证明:证明:若是完全有向图,则顶点若是完全有向图,则顶点1 1必与所有其他顶点各有必与所有其他顶点各有2 2条连线,即有条连线,即有2(n-1
3、)2(n-1)条边,条边,顶点顶点2 2有有2(n-2)2(n-2)条边,条边,顶点,顶点n-1n-1有有2 2条边条边,顶点顶点n n有有0 0条边条边.总边数总边数2(n-12(n-1 n-2n-21 10)=2(n-1+0)n/2=0)=2(n-1+0)n/2=n(n-1)n(n-1)完全无向图有完全无向图有n n(n n-1)/2-1)/2 条边条边。证明:证明:若是完全无向图,则顶点若是完全无向图,则顶点1 1必与所有其他顶点各有必与所有其他顶点各有1 1条连线,即有条连线,即有n-1n-1条边,顶条边,顶点点2 2有有n-2n-2条边,条边,顶点,顶点n-1n-1有有1 1条边条边
4、,顶点顶点n n有有0 0条边条边.总边数总边数 n-1n-1 n-2n-21 10=0=(n-1+0)n/2=n-1+0)n/2=n(n-1)/2n(n-1)/2 第4页/共74页例:判断下列4种图形各属什么类型?无向无向图(树)有向图有向n n(n n-1)/2-1)/2 条边条边n n(n n-1)-1)条边条边G1的顶点集合为V(G1)=0,1,2,3边集合为E(G1)=(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)完全图完全图第5页/共74页稀疏图:稀疏图:稠密图:稠密图:设有两个图 G(V,E)和 G(V,E)。若 V V 且 E E,则称 图G 是 图G
5、的子图。子 图:边较少的图。通常边数=E=1/2 E=1/2TD(vTD(vi i)答:是树!而且是一棵有向树!第8页/共74页生成树:生成树:是一个是一个是一个是一个极小连通子图极小连通子图极小连通子图极小连通子图,它含有图中全部顶点,但,它含有图中全部顶点,但,它含有图中全部顶点,但,它含有图中全部顶点,但只只只只 有有有有n n-1-1条边条边条边条边。如果在生成树上添加如果在生成树上添加如果在生成树上添加如果在生成树上添加1 1条边,必定构成一个环。条边,必定构成一个环。条边,必定构成一个环。条边,必定构成一个环。若图中有若图中有若图中有若图中有n n个顶点,却少于个顶点,却少于个顶点
6、,却少于个顶点,却少于n n-1-1条边,必为非连通条边,必为非连通条边,必为非连通条边,必为非连通图。图。图。图。生成森林:生成森林:由若干棵生成树组成,含全部顶点,但构成这由若干棵生成树组成,含全部顶点,但构成这由若干棵生成树组成,含全部顶点,但构成这由若干棵生成树组成,含全部顶点,但构成这些些些些 树的边是最少的。树的边是最少的。树的边是最少的。树的边是最少的。第9页/共74页简单路径:简单路径:路径上各顶点 v1,v2,.,vm 均不互相重复。回 路:例:若路径上第一个顶点 v1 与最后一个顶点vm 重合,则称这样的路径为回路或环。路径:在图在图 GG(V,E)(V,E)中中,若从顶点
7、若从顶点 vi vi 出发出发,沿一些边经过一些顶点沿一些边经过一些顶点 vp1,vp2,vp1,vp2,vpmvpm,到达顶点,到达顶点vj vj。则称顶点序列。则称顶点序列 (vi vp1 vp2.vpm vj)(vi vp1 vp2.vpm vj)为从顶点为从顶点vi vi 到顶到顶点点 vj vj 的路径。它经过的边的路径。它经过的边(vi,vp1)(vi,vp1)、(vp1,vp2)(vp1,vp2)、.、(vpm,vj)(vpm,vj)应当是属于应当是属于E E的边。的边。路径长度:非带权图的路径长度是指此路径上非带权图的路径长度是指此路径上 边的条数边的条数;带权图的路径长度是指
8、路径上带权图的路径长度是指路径上各边的权之和各边的权之和。第10页/共74页ADT Graph 数据对象V:v是具有相同特性的数据元素的集合,称为顶点集。数据关系R:R=VR;VR=|v,wV 且 P(v,w),表示从v到w的弧,谓词P(v,w)定义了弧的意义或信息基本操作P:CreatGraph(&G,V,VR);初始条件:V是图的顶点集,VR是图中弧的集合。操作结果:按V和VR的定义构造图G。InsertVex(&G,v);初始条件:图G存在,v和图中顶点有相同特征。操作结果:在图G中添加新顶点。(参见P156-257)图的抽象数据类型图的抽象数据类型注意:V 的大小写含义不同!第11页/
9、共74页7.2 7.2 图的存储结构图的特点:非线性结构(图的特点:非线性结构(m:n m:n)邻接表邻接多重表十字链表设计为邻接矩阵链式存储结构:顺序存储结构:无!(多个顶点,无序可言)但可用数组描述元素间关系。可用多重链表重点介绍:邻接矩阵(数组)表示法邻接表(链式)表示法第12页/共74页一、邻接矩阵(数组)表示法一、邻接矩阵(数组)表示法一、邻接矩阵(数组)表示法一、邻接矩阵(数组)表示法vv建立一个建立一个顶点表(记录各个顶点信息)顶点表(记录各个顶点信息)和一个和一个邻接矩阵(表示各个顶点之间关系)邻接矩阵(表示各个顶点之间关系)。vv设图设图 A=(A=(V V,E E)有有 n
10、 n 个顶点,则图的邻接矩阵是一个二维数组个顶点,则图的邻接矩阵是一个二维数组 A.EdgennA.Edgenn,定,定义为:义为:v1v2v3v5v4v4A例例1 1:邻接矩阵:邻接矩阵:A.Edge=(v1 v2 v3 v4 v5 )v1v2v3v4v50 0 0 0 00 0 0 0 00 0 0 0 00 0 0 0 00 0 0 0 0分析分析1 1:无向图的邻接矩阵是无向图的邻接矩阵是对称对称的;的;分析分析2 2:顶点顶点i i 的的度度第第 i i 行行(列列)中中1 1 的个数的个数;特别:特别:完全图的邻接矩阵中,对角元素为完全图的邻接矩阵中,对角元素为0 0,其余全,其余
11、全1 1。0 1 0 1 01 0 1 0 10 1 0 1 11 0 1 0 10 1 1 1 00 1 0 1 01 0 1 0 10 1 0 1 11 0 1 0 10 1 1 1 0顶点表:顶点表:第13页/共74页例2:有向图的邻接矩阵分析分析1 1:有向图的邻接矩阵可能是不对称的。分析分析2 2:顶点的出度=第i行元素之和,OD(Vi)=A.Edge i j 顶点的入度=第i列元素之和。ID(Vi)=A.Edge j i 顶点的度=第i行元素之和+第i列元素之和,即:TD(Vi)=OD(Vi)+ID(Vi)v1v2v3v4A A邻接矩阵:A.Edge=(v1 v2 v3 v4)v1
12、v2v3v40 0 0 00 0 0 0 0 0 0 0 0 0 0 0 注:在有向图的邻接矩阵中,第i行含义:以结点vi为尾的弧(即出度边);第i列含义:以结点vi为头的弧(即入度边)。顶点表:0 1 1 00 0 0 0 0 0 0 1 1 0 0 0 0 1 1 00 0 0 0 0 0 0 1 1 0 0 0 第14页/共74页 容易实现图的操作,如:求某顶点的度、判断顶点之间是否有边(弧)、找顶点的邻接点等等。n个顶点需要n*n个单元存储边(弧);空间效率为O(n2)。对稀疏图而言尤其浪费空间。特别讨论:网(即有权图)的邻接矩阵定义为:A.Edge i j=Wij 或(vi,vj)V
13、R 无边(弧)v1v2v3v4Nv5v65489755613以有向网为例:邻接矩阵:N.Edge=(v1 v2 v3 v4 v5 v6 )邻接矩阵法优点:邻接矩阵法缺点:顶点表:5 7 4 8 9 5 6 5 3 1 5 7 4 8 9 5 6 5 3 1 第15页/共74页注:用两个数组分别存储顶点表和邻接矩阵#define INFINITY INT_MAX /最大值#define MAX_VERTEX_NUM 20 /假设的最大顶点数Typedef enum DG,DN,AG,AN GraphKind;/有向/无向图,有向/无向网Typedef struct ArcCell /弧(边)结点
14、的定义 VRType adj;/顶点间关系,无权图取1或0;有权图取权值类型 InfoType *info;/该弧相关信息的指针ArcCell,AdjMatrix MAX_VERTEX_NUM MAX_VERTEX_NUM;Typedef struct /图的定义VertexType vexs MAX_VERTEX_NUM ;/顶点表,用一维向量即可AdjMatrix arcs;/邻接矩阵Int Vernum,arcnum;/顶点总数,弧(边)总数GraphKind kind;/图的种类标志Mgraph;图的邻接矩阵存储表示(参见教材P161)对于n个顶点的图或网,空间效率=O(n2)第16页
15、/共74页Status CreateUDN(Mgraph&G)/无向网的构造,用邻接矩阵表示scanf(&G.vexnum,&G.arcnum,&IncInfo);/输入总顶点数,总弧数和信息for(i=0;iG.vexnum,;+i)scanf(&G.vexsi);/输入顶点值,存入一维向量中for(i=0;iG.vexnum;+i)/对邻接矩阵n*n个单元初始化,adj=,info=NULL for(j=0;jG.vexnum;+j)G.arcsij=INFINITY,NULL;for(k=0;kG.arcnum;+k)/给邻接矩阵有关单元赋初值(循环次数弧数 scanf(&v1,&v2,
16、&w);/输入弧的两顶点以及对应权值 i=LocateVex(G,v1);j=LocateVex(G,v2);/找到两顶点在矩阵中的位置(n次?G.arcsij.adj=w;/输入对应权值 If(IncInfo)Input(*G.arcsij.info);/如果弧有信息则填入 G.arcsji=G.arcs i j;/无向网是对称矩阵 return OK;/CreateUDN 例:用邻接矩阵生成无向网的算法(参见教材P162)对于n个顶点e条弧的网,建网时间效率=O(n2+n+e*n)第17页/共74页二、邻接表(链式)表示二、邻接表(链式)表示二、邻接表(链式)表示二、邻接表(链式)表示法法
17、法法vv对每个顶点对每个顶点v vi i 建立一个建立一个单链表单链表,把与,把与v vi i有关联的有关联的边的信息边的信息(即度或出度边)(即度或出度边)链接链接起起来,表中每个结点都设为来,表中每个结点都设为3 3个域;个域;vv每个单链表还应当附设一个每个单链表还应当附设一个头结点头结点(设为(设为2 2个域),存个域),存v vi i信息;信息;adjvex nextarcinfodatafirstarc表结点表结点头结点头结点邻接点域,表示vi一个邻接点的位置链域,指向vi下一个边或弧的结点数据域,与边有关信息(如权值)数据域,存储顶点vi 信息链域,指向单链表的第一个结点vv 每
18、个单链表的每个单链表的头结点另外用顺序存储头结点另外用顺序存储结构存储。结构存储。第18页/共74页例例例例1 1:无向图的邻接表无向图的邻接表无向图的邻接表无向图的邻接表v1v2v3v5v4v4邻接表0123413341420例例2 2:有向图的邻接表有向图的邻接表v1v2v3v4V4V3V2V12301邻接表(出边)V4V3V2V13020逆邻接表(入边)注:邻接表不唯一,因各个边结点的链入顺序是任意的。邻接表不唯一,因各个边结点的链入顺序是任意的。v1v2v3v4v5231420第19页/共74页例例例例3 3:已知某网的邻接(出边)表,请画出该网络。已知某网的邻接(出边)表,请画出该网
19、络。已知某网的邻接(出边)表,请画出该网络。已知某网的邻接(出边)表,请画出该网络。8064125当邻接表的存储结构形成后,图便唯一确定!第20页/共74页分析1:对于n个顶点e条边的无向图,邻接表中除了n个头结点外,只有2e个表结点,空间效率为O(n+2e)。若是稀疏图(en2),则比邻接矩阵表示法O(n2)省空间。邻接表存储法的特点:邻接表存储法的特点:分析2:在有向图中,邻接表中除了n个头结点外,只有e个表结点,空间效率为O(n+e)。若是稀疏图,则比邻接矩阵表示法合适。它其实是对邻接矩阵法的一种改进怎样计算无向图顶点的度?邻接表的缺点:怎样计算有向图顶点的出度?怎样计算有向图顶点的入度
20、?怎样计算有向图顶点Vi的度:需遍历全表邻接表的优点:TD(Vi)=单链表中链接的结点个数OD(Vi)单链出边表中链接的结点数I D(Vi)邻接点为Vi的弧个数TD(Vi)=OD(Vi)+I D(Vi)空间效率高;容易寻找顶点的邻接点;判断两顶点间是否有边或弧,需搜索两结点对应的单链表,没有邻接矩阵方便。第21页/共74页讨论:讨论:邻接表与邻接矩阵有什么异同之处?邻接表与邻接矩阵有什么异同之处?1.联系:邻接表中每个链表对应于邻接矩阵中的一行,链表中结点个数等于一行中非零元素的个数。2.区别:对于任一确定的无向图,邻接矩阵是唯一的(行列号与顶点编号一致),但邻接表不唯一(链接次序与顶点编号无
21、关)。邻接矩阵的空间复杂度为O(n2),而邻接表的空间复杂度为O(n+e)。3.用途:邻接矩阵多用于稠密图的存储(e接近n(n-1)/2);而邻接表多用于稀疏图的存储(en2)第22页/共74页图的邻接表存储表示图的邻接表存储表示(参见教材(参见教材P163P163)#define MAX_VERTEX_NUM 20 /假设的最大顶点数Typedef struct ArcNode int adjvex;/该弧所指向的顶点位置 struct ArcNode*nextarcs;/指向下一条弧的指针 InfoArc *info;/该弧相关信息的指针 ArcNode;Typedef struct VN
22、ode /顶点结构 VertexType data;/顶点信息 ArcNode *firstarc;/指向依附该顶点的第一条弧的指针VNode,AdjList MAX_VERTEX_NUM;Typedef struct /图结构 AdjList vertics;/应包含邻接表 int vexnum,arcnum;/应包含顶点总数和弧总数 int kind;/还应说明图的种类(用标志)ALGraph;/图结构空间效率为O(n+2e)或O(n+e)时间效率为O(n+e*n)第23页/共74页 它是有向图的另一种链式结构。思路:将邻接矩阵用链表存储,是邻接表、逆邻接表的结合。1、每条弧对应一个结点(
23、称为弧结点,设5个域)2、每个顶点也对应一个结点(称为顶点结点,设3个域)tailvexheadvexHlinktlinkinfo顶点结点弧结点三、十字链表三、十字链表tailvex:弧尾顶点位置 headvex:弧头顶点位置hlink:弧头相同的下一弧位置tlink:弧尾相同的下一弧位置info:弧信息 n个顶点用顺序存储结构 data :存储顶点信息。Firstin :以顶点为弧头的第一条弧结点。Firstout:以顶点为弧尾的第一条弧结点。dataFirstinFirstout适用于有向图第24页/共74页#define MAX_VERTEX_NUM 20Typedef struct A
24、rcBox /弧结点结构 int tailvex,headvex;struct ArcBox*hlink,tlink;InfoType *info;ArcBox;Typedef struct VexNode /顶点结构 VertexType data;ArcBox *firstin,*firstout;VexNode;Typedef struct VexNode xlist MAX_VERTEX_NUM;/表头向量 int vexnum,arcnum;OLGraph;/图结构十字链表存储结构描述:十字链表存储结构描述:第25页/共74页0v11v22v33v4v1v2v3v40 1022 02
25、3例:例:画出有向图的十字链表。画出有向图的十字链表。十字链表优点:容易操作,如求顶点的入度、出度等。空间复杂度与邻接表相同;建立的时间复杂度与邻接表相同。303132数组下标不属结点分量第26页/共74页这是无向图的另一种存储结构,当对边操作时,无向图应采用此种结构存储。1、每条边只对应一个结点(称为边结点),设立6个域;2、每个顶点也对应一个结点(顶点结点),设立2个域;mark ivexilinkjvexjlinkinfo边结点四、邻接多重表四、邻接多重表mark:标志域,如处理过或搜索过。Ivex,jvex:顶点域,边依附的两个顶点位置。ilink:指向下一条依附顶点 i 的边结点位置
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数据 结构图 结构
限制150内