[理学]数据结构第7章.ppt

第7章 图 学习目标与要求： 了解图的定义和相关术语。 熟练掌握图的邻接矩阵和邻接链表表示。 熟练掌握图的两种遍历方式：深度优先搜索和广度优先搜索。 熟练掌握求最小生成树的两种方法：普里姆算法和克鲁斯卡尔算法。 熟练掌握求单源最短路径的迪杰斯特拉算法，了解求每对顶点间最短路径的弗洛伊德算法。 熟练掌握求拓扑序列的方法。 7.1 图的定义和术语 图是另一种非线性数据结构，是一种更为复杂的数据结构。在图中，数据元素之间是多对多的关系，即一个数据元素对应多个直接前驱元素和多个直接后继元素。图的应用领域十分广泛，如化学分析、工程设计、遗传学、人工智能等。 7.1 图的定义和术语 图是由非空的顶点集合和一个描述顶点之间关系—边的有限集合组成的一种数据结构。可以用二元组定义为： G＝（V，E） 其中，G表示一个图，V是图G中顶点的集合，E是图G中边的集合。 7.1 图的定义和术语 7.1 图的定义和术语 7.1 图的定义和术语 假设图的顶点数目是n，图的边数或者弧的数目是e。如果不考虑顶点到自身的边或者弧，即如果vi,vj,则vi≠vj 。对于无向图，边数e的取值范围为0~n(n-1)/2。将具有n(n-1)/2条边的无向图称为完全图或无向完全图。对于有向图，弧度e的取值范围是0~n(n-1)。将具有n(n-1)条弧的有向图称为有向完全图。具有enlogn条弧或者边的图称为稀疏图。具有enlogn条弧或者边的图称为稠密图。 7.1.2 图的基本术语 1．邻接点 在无向图G=(V,E)中，如果存在边（vi,vj）∈E，则称vi和vj互为邻接点，即vi和vj相互邻接。边（vi,vj）依附于顶点vi和vj，或者称边（vi,vj）与顶点相互关联 在有向图G=(V,E)中，如果存在弧vi,vj∈E，则称vi邻接到vj。 弧vi,vj与顶点 vi和vj相互关联。 7.1.2 图的基本术语 2．顶点的度 在无向图中：一个顶点拥有的边数，称为该顶点的度。记为TD (v)。 在有向图中： (a)一个顶点拥有的弧头的数目，称为该顶点的入度， 记为ID (v)； (b)一个顶点拥有的弧尾的数目，称为该顶点的出度， 记为OD (v)； (c)一个顶点度等于顶点的入度+出度， 即：TD (v)=ID (v)＋OD (v)。 7.1.2 图的基本术语 在图7-1的G1中有： TD(v1)=2 TD(v2)=3 TD(v3)=3 TD(v4)=2 TD(v5)=2 在图7-2的G2中有： ID(v1)=1 OD(v1)=2 TD(v1)=3 ID(v2)=1 OD(v2)=0 TD(v2)=1 ID(v3)=1 OD(v3)=1 TD(v3)=2 ID(v4)=1 OD(v4)=1 TD(v4)=2 7.1.2 图的基本术语 2．顶点的度 假设顶点的个数为n，边数或弧数为e，顶点vi的度记作TD(vi),则顶点的度与弧度或者边数满足关系： 7.1.2 图的基本术语 3．路径 在图中，从顶点vi出发经过一系列的顶点序列到达顶点vj称为从顶点vi到vj的路径。路径的长度是路径上弧或者边的数目。 在路径中，如果第一个顶点与最后一个顶点相同，则这样的路径称为回路或者环。 7.1.2 图的基本术语 3．路径 在路径所经过的顶点序列中，如果顶点不重复出现，则称这样的路径为简单路径。 在回路中，除了第一个顶点和最后一个顶点外，如果其他顶点不重复出现，则称这样的回路为简单回路或者简单环。 7.1.2 图的基本术语 4．子图 对于图G=（V，E），G’=（V’，E’），若存在V’是V的子集 ，E’是E的子集 ，则称图G’是G的一个子图。 7.1.2 图的基本术语 5．连通图和强连通图 在无向图中，如果从顶点vi到顶点vj有路径，则称vi和vj连通。如果图中任意两个顶点之间都连通，则称该图为连通图。否则，将其中的极大连通子图称为连通分量。 7.1.2 图的基本术语 5．连通图和强连通图 在有向图中，如果对于每一对顶点vi和vj，从vi到vj和从vj到vi都有路径，则称该图为强连通图。否则，将其中的极大连通子图称为强连通分量。 7.1.2 图的基本术语 6．生成树 在含有n个顶点的图G中，如果G是包含n个顶点的极小连通子图，该子图只有n-1条边，这样的图称为连通图的生成树。如果在该生成树中添加一条边，则一定会在图中出现一个环。一棵包含n个顶点的生成