Chapter 4 Graph¶
约 1135 个字 178 行代码 预计阅读时间 6 分钟
1 基本概念¶
- 有限可空的边集 \(E\) 和有限非空的点集 \(V\) 组成图 \(G=\{V, E\}\);
- 无向图/Undirected Graph:边没有方向,也就是 \((u, v) = (v, u)\);
- 有向图/Directed Graph:边有方向,也就是 \((u, v) \neq (v, u)\);
- Tip:数据结构基础中不考虑自环/Self Loop和多重边/Multigraph;
- 完全图/Complete Graph:任意两个点之间都有边;
- 无向图中 \(v_i\) 和 \(v_j\) 被称为连通的,当且仅当 \(G\) 中存在一条从 \(v_i\) 到 \(v_j\) 的路径;
- 无向图 \(G\) 被称为连通图,当且仅当 \(G\) 中任意两个节点都是连通的;
- 无向图的联通成分是指无向图的极大连通子图;
- 有向图中 \(v_i\) 和 \(v_j\) 被称为强连通的,当且仅当 \(G\) 中存在一条从 \(v_i\) 到 \(v_j\) 的路径和一条从 \(v_j\) 到 \(v_i\) 的路径;
- 有向图 \(G\) 被称为强连通图,当且仅当 \(G\) 中任意两个节点都是强连通的。有向图的强连通成分是指有向图的极大强连通子图;
- 有向图 \(G\) 被称为弱连通图,当且仅当 \(G\) 的基础图(去掉所有边的方向)是连通图;
2 图的表示¶
-
邻接矩阵/Adjacency Matrix
-
邻接表/Adjacency List
3 图的建立¶
- 邻接矩阵
- 邻接表
4 拓扑排序¶
- AOV网/Activity On Vertex Network;有向图,其顶点代表活动,边代表活动之间的先后顺序关系;
- 如果存在一条从 \(v_i\) 到 \(v_j\) 的路径,则 \(v_i\) 称为 \(v_j\) 的前驱/predecessor,\(v_j\) 称为 \(v_i\) 的后继/successor;
- 如果存在一条边 \((v_i, v_j)\),则 \(v_i\) 是 \(v_j\) 的直接/Immediate 前驱,\(v_j\) 是 \(v_i\) 的直接后继;
- 拓扑排序/Topological Order 是一个图的点集的线性序列,满足:
- 对于任意的点 \(v_i\),\(v_j\),如果 \(v_i\) 是 \(v_j\)的前驱,在序列中 \(v_i\) 出现在 \(v_j\) 之前;
- Tip:拓扑排序不唯一;
5 BFS 和 DFS¶
广度优先搜索/Breadth First Search:从一个点出发,依次访问其邻接点,再访问邻接点的邻接点,以此类推,直到所有点都被访问过;
时间复杂度:\(O(V+E)\)(若不使用队列硬遍历则\(T=O(V^2)\))
深度优先搜索/Depth First Search:从一个点出发,访问其邻接点,再访问邻接点的邻接点,以此类推,直到所有点都被访问过,再回溯到上一个点,继续访问其他邻接点;
6 最短路径¶
单源最短路径/Single Source Shortest Path:从一个点到其他所有点的最短路径
- 无向无权图:广度优先搜索/BFS
- 无向/有向正权图:Dijkstra 算法
这种实现的时间复杂度为 \(O(V^2+E)\) 原因之一是内部寻找未访问的最小距离点的步骤是纯粹的线性搜索。
坑:If the length of each edge in an undirected graph \(G(V, E)\) is increased by 1, the shortest path between any pair of nodes \(v_i\) and \(v_j\) will keep unchanged.
错!之需要考虑两条权重分别为 2->2->2 与 7 的路径,会发现原来的最短路径不再是最短路径。
7 网络流¶
最大流:给定一个正权有向图\(G\),每个边上都有一个流量 \(c\),从源点 \(s\) 到汇点 \(t\) 的最大流量。
求解方法:建立残差图,残差网络的边权如下,每在残差网络中寻找到一条增广路径,就更新一下残差图,知道找不到增广路径为止。
增广路径:从源点到汇点的一条简单路径路径,流量是路径上的最短路径。
8 最小生成树¶
最小生成树/Minimum Spanning Tree:给定一个无向连通图\(G\),每个边上都有一个权重 \(w\),找到一个树,包含这个图的所有节点并且使得所有边的权重之和最小。可以使用贪心算法!
Prim 算法:从一个节点开始,每次选择一个与当前生成树距离最小并且不会产生环的节点加入生成树,很适合稠密图。
Kruskal 算法:从所有边中选择权重最小的边,如果这条边不会产生环就加入生成树,跟适合稀疏图。
和 Dijkstra 算法很像。