[新大纲]6图-Copy精讲.pptx

第二部分数据结构主讲教师：王永波ybwang@cumt.edu.cn中国矿业大学环境与测绘学院2016年12月9日提纲概述线性表栈与队树与二叉树图查找排序五、图图是对结点的前趋和后继个数不加限制的非线性数据结构图中各数据元素之间的关系可以是任意的描述的是“多对多”的关系1、图的定义由非空的有限顶点集合V和表示顶点间关系的弧或边的有限集合E组成的二元组，记为：G=(V,E)其中， V(G)是顶点的非空有限集 E(G)={vi,vj或（x，y）|vi,vj∈V}例如：G=（V，E）V={1,2,3,4}E={(1,2),(1,3),(1,4),(2,4),(3,4)}1234有向图G是由两个集合V(G)和E(G)组成的其中 V(G)是顶点的非空有限集 E(G)是有向边（也称弧）的有限集合，弧是顶点的有序对，记为v,w，v、w是顶点，v为弧尾，w为弧头在图中，用箭头标明了边是有方向性的例：图G1中V(G1)={1,2,3,4,5,6}E(G1)={ 1,2,2,1,2,3, 2,4,3,5,5,6,6,3}2、图的基本术语—有向图2、图的基本术语—无向图无向图G是由两个集合V(G)和E(G)组成的其中 V(G)是顶点的非空有限集 E(G)是边的有限集合，边是顶点的无序对，记为（v,w）或（w,v)，并且（v,w）=（w,v）在无向图中，一条边（x，y）与（y，x）表示的结果相同例：图G2中V(G2)={1,2,3,4,5,6,7}E(G1)={(1,2),(1,3),(2,3), (2,4),(2,5),(5,6),(5,7)}有向图与无向图的表示区别无向图中边（x,y）与（y,x）表示的结果相同，用圆括号表示有向图中有向边x,y与y,x表示的结果不相同x,y表示从顶点x发向顶点y的边，x为始点，y为终点有向边也称为弧，则x,y表示为x为弧尾，y为弧头的一条弧,而y,x表示y为弧尾，x为弧头的另一条弧2、图的基本术语—完全图有向完全图(G3)n个顶点的有向图最大边数是n(n-1) 对于一般有向图，顶点数为n，弧数为e，则0≤e≤n(n-1)无向完全图(G4)n个顶点的无向图最大边数是n(n-1)/2 对于一般无向图，顶点数为n，边数为e，则0≤e≤n(n-1)/2无向完全图和有向完全图都称为完全图当图接近完全图时，则称它为稠密图当图中含有较少的边或弧时(enlogn)，则称它为稀疏图2、图的基本术语—顶点与邻接点顶点（Vertex）图中的数据元素（结点）称为顶点邻接点假若顶点v和顶点w之间存在一条边/弧，则称顶点v和w互为邻接点边(v,w)与顶点v和w相关联和顶点v关联的边的数目定义为边的度2、图的基本术语—顶点的度图中一个顶点依附的边或弧的数目，称为该顶点的度无向图中顶点的度为与每个顶点相连的边数例G5中，ID(B)=3，ID(A)=2有向图中顶点的度(TD)=出度(OD)+入度(ID)入度：以顶点为弧头的弧的数目出度：以顶点为弧尾的弧的数目例G6中OD(B)=1，ID(B)=2，TD(B)=3G6G52、图的基本术语—权、网、子图权在图的边或弧中给出相关的数值，称为权 权可以代表一个顶点到另一个顶点的距离，耗费等网带权的图子图设图G=(V,E)和图G=(V,E),且VV,EE,则称G为G的子图。2、图的基本术语—路径路径路径是顶点的序列V={Vi0,Vi1,……Vin}，满足(Vij-1,Vij)E或Vij-1,VijA,(1jn)称为从Vi0到Vin的路径 路径可能是不唯一的例G2：路径{1324}，例G6：路径{AECDBC}路径长度沿路径边的数目或沿路径各边权值之和例G2：路径{1324}的路径长度为3G62、图的基本术语—路径简单路径序列中顶点不重复出现的路径例G2：路径{1,2,5,7}例G6：路径{AECD}回路序列中第一个顶点和最后一个顶点相同的路径简单回路除了第一个顶点和最后一个顶点外， 其余顶点不重复出现的回路例G2：路径{1,2,3,1}例G6：路径{ABCDA}G62、图的基本术语—连通图连通（无向图）在无向图中，从顶点V到顶点W有一条路径，则说顶点V和顶点W是连通的连通图（无向图）若图中任意两个顶点之间都有路径相通，则称此无向图为连通图，否则称为非连通图2、图的基本术语—连通分量连通分量（无向图）若无向图为非连通图，则图中各个极大连通子图称作此图的连通分量提示：任何连通图的连通分量只有一个，即它本身非连通图有多个连通分量连通分量2、图的基本术语—强连通图有向图中，若任意两个顶点之间都存在一条有向路径，即每一对Vi,VjV,ViVj,从Vi到Vj和从Vj到Vi都存在路径，则称此有向图为强连通图，否则称为非强连通图。强连通图非强连通图2、图的基本术语—强连通图强连通分量（有