数据结构课件 第六章 图.pptVIP

第六章 图 [内容提要] 图的概念 图的存储结构 图的遍历方法 求生成树 找最短路径 关键路径 拓扑排序 图的定义 图（graph） 图是一种数据结构，它的形式化定义为G=(V，E)，其中： V是一个非空有限集合，它的元素称为顶点(vertex)。 顶点的偶对(x，y) (x∈V，y∈V)叫做边(edge)，E是边的集合。 图基本术语 有向图（ digraph ）： 若图中代表一条边的顶点偶对是有序的，记作x，y，称x为弧尾(tail)或初始点(initial node)，称y为弧头(head)或终端点(terminal node)，x，y表示从x到y的一条弧(arc)，此时的图称为有向图。 无向图(undigraph) ： 图中代表一条边的顶点偶对(x，y)是无序的，则称其为无向图。这时(x，y)，(y，x)是同一条边。 图基本术语(续) 图基本术语(续) 完全图(completed graph) ： 对于无向图，e的取值范围是0到n(n-1)/2，有n(n-1)/2条边的无向图称为完全图。 对于有向图，e的取值范围是0到n(n-1)。具有n(n-1)条弧的有向图称为有向完全图。 邻接点(adjacent)：对于无向图G=(V，E)，如果边(v，v’)∈E，则称顶点v和v’互为邻接点，即v和v相邻接。边(v，v)依附(incident)于顶点v和v，或者说边(v，v)和顶点v，v相关联。 图基本术语(续) 度：顶点v的度是和v相关联的边的数目。记作TD(V)。例如G2中顶点v3的度是3。 入度：有向图中，以顶点v为头的弧的数目称为v的入度，记为ID(V)； 出度：有向图中，以顶点v为尾的弧的数目称为v的出度，记为OD(v)； 顶点v的度为： TD(v)=ID(v)+OD(v) 图基本术语(续) 子图(subgraph)： 假设有两个图G=(V，E)，G=(V，E)。如果V包含于V，E包含于E，则称G是G的子图。 图基本术语(续) 路径：无向图G=(V，E)中从顶点v到顶点v‘的路径是一个顶点序列(v=vi0，vi1，vi2，...，vin=v’)，其中(vi，j-1，vij)∈E，1≤j≤n。如果G是有向图，则路径也是有向的，顶点序列应满足vi，j-1，vij∈E，1≤j≤n。 路径的长度：是指路径上的边的或弧的数目。 图基本术语(续) 回路：第一个顶点和最后一个顶点相同的路径称为回路或环。 简单路径：序列中顶点不重复出现的路径称为简单路径。 简单回路：除了第一顶点和最后一个顶点之外，其余顶点不重复出现的回路，称为简单回路或简单环。 图基本术语(续) 连通：在无向图G中， 如果从顶点v到顶点v有路径，则称v和v是连通的。 连通图：如果对于图中任意两个顶点vi，vj∈V，vi，vj都是连通的，则称G是连通图。（图6.1中的G2句是一个连通图） 图基本术语(续) 连通分量：指的是无向图中的极大连通子图。 强连通图： 在有向图G中，如果对于每一对vi，vj∈V，vi!=vj，从vi到vj和从vj到vi都存在路径，则称G是强连通图。 强连通分量：有向图中的极大强连通子图称作有向图的强连通分量。 图基本术语(续) 图基本术语(续) 生成树：一个连通图的生成树是一个极小连通子图。 它含有图中全部顶点，但只有足以构成一棵树的n-1条边。 生成树说明 一个图可以有许多棵不同的生成树 所有生成树具有以下共同特点： 生成树的顶点个数与图的顶点个数相同 生成树是图的极小连通子图 一个有n个顶点的连通图的生成树有n-1条边 生成树中任意两个顶点间的路径是唯一的 在生成树中再加一条边必然形成回路 含n个顶点n-1条边的图不一定是生成树 图基本术语(续) 生成森林(spanning forest)： 如果一个有向图恰有一个顶点的入度为0，其余顶点的入度均为1，则它是一棵有向树。一个有向图的生成森林由若干棵有向树组成， 它含有图中全部顶点，但只有足以构成若干棵不相交的有向树的弧。如图6.6 所示。 图基本术语(续) 权(weight)：在图的每条边上加上一个数字作权。如果用顶点代表城市， 权可以表示两城市之间的距离或耗费。 网(network):称带权的图为网. 图的存储结构——邻接矩阵 邻接矩阵是表示顶点间相邻关系的矩阵。若G是一个具有n顶点的图，则Ｇ的邻接矩阵是如下定义的n×n矩阵： 图的存储结构——邻接矩阵 邻接矩阵特点 无向图的邻接矩阵对称，可压缩存储；有n个顶点的无向图需存储空间为n(n+1)/2 有向图邻接矩阵不一定对称；有n个顶点的有向图需存储空间为n2 无向图中顶点Vi的度TD(Vi)是邻接矩阵A中第i行元素之和 有向图中： 顶点Vi的出度是A中第i行