为实习准备的数据结构（11）-- 图论算法集锦(1)

2401_83817343

于 2024-04-19 01:17:45 发布

阅读量314

点赞数 5

分类专栏：程序员文章标签：数据结构图论算法

本文链接：https://blog.csdn.net/2401_83817343/article/details/137943607

版权

这许许多多地铁站所组成的交通网络，也可以认为是数据结构当中的图。

图，是一种比树更为复杂的数据结构。树的节点之间是一对多的关系，并且存在父与子的层级划分；而图的顶点（注意，这里不叫节点）之间是多对多的关系，并且所有顶点都是平等的，无所谓谁是父谁是子。

图的相关定义

定义一：有向图、无向图、权重、活用图

图是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为: G（V，E），其中，G表示一个图，V是图G中顶点的集合，E是图G中边的集合。

在这里插入图片描述

这种叫做无向图，里面的边叫做无向边。

图有各种形状和大小。边可以有权重（weight），即每一条边会被分配一个正数或者负数值。考虑一个代表航线的图。各个城市就是顶点，航线就是边。那么边的权重可以是飞行时间，或者机票价格。

在这里插入图片描述

边可以是有方向的。在上面提到的例子中，边是没有方向的。有方向的边意味着是单方面的关系。

在这里插入图片描述

事实证明图是一种有用的数据结构。

如果你有一个编程问题可以通过顶点和边表示出来，那么你就可以将你的问题用图画出来，然后使用著名的图算法（比如广度优先搜索或者深度优先搜索）来找到解决方案。

离散数学中有不少这方面的栗子。

假设你有一系列任务需要完成，但是有的任务必须等待其他任务完成后才可以开始。你可以通过非循环有向图来建立模型：

在这里插入图片描述

每一个顶点代表一个任务。两个任务之间的边表示目的任务必须等到源任务完成后才可以开始。比如，在任务B和任务D都完成之前，任务C不可以开始。在任务A完成之前，任务A和D都不能开始。

现在这个问题就通过图描述清楚了，你可以使用深度优先搜索算法来执行执行拓扑排序。这样就可以将所有的任务排入最优的执行顺序，保证等待任务完成的时间最小化。（这里可能的顺序之一是：A, B, D, E, C, F, G, H, I, J, K）

定义二：完全图、连通图、连通分量、生成树

在图中，若不存在顶点到其自身的边，且同一条边不重复出现，则称这样的图为简单图。目前讨论的都是简单图。在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。含有n个顶点的无向完全图有n*(n-1)/2条边。在有向图中，如果任意两个顶点之间都存在方向互为相反的两条弧，则称该图为有向完全图。含有n个顶点的有向完全图有n* (n-1) 条边。

在无向图G中，如果从顶点v到顶点v’有路径，则称v和v’是连通的。如果对于图中任意两个顶点vi、vj ∈E， vi，和vj都是连通的，则称G是连通图。

无向图中的极大连通子图称为连通分量。注意连通分量的概念，它强调:

要是子图；

子图要是连通的；

连通子图含有极大顶点数；

具有极大顶点数的连通子图包含依附于这些顶点的所有边。

所谓的一个连通图的生成树是一个极小的连通子图，它含有图中全部的n 个顶点，但只有足以构成一棵树的n-1条边。比如下图的图1是一普通图，但显然它不是生成树，当去掉两条构成环的边后，比如图2 或图3，就满足n个顶点n-1条边且连通的定义了，它们都是一棵生成树。从这里也可知道，如果一个图有n 个顶点和小子n-1条边，则是非连通图，如果多于n-1 边条，必定构成一个环，因为这条边使得它依附的那两个顶点之间有了第二条路径。比如图2 和图3，随便加哪两顶点的边都将构成环。不过有n-1条边并不一定是生成树，比如图4。

在这里插入图片描述