图 Graph: Basic Concept

最新推荐文章于 2022-09-22 22:45:47 发布

Ice星空

最新推荐文章于 2022-09-22 22:45:47 发布

阅读量188

点赞数

分类专栏：数据结构与算法

本文链接：https://blog.csdn.net/Lyn_B/article/details/102548028

版权

数据结构与算法专栏收录该内容

30 篇文章 0 订阅

订阅专栏

文章目录

Brief

$\begin{cases} Definition\ 定义\\\\ Storage\ 存储\begin{cases}邻接矩阵，邻接表\\邻接多重表，十字链表\end{cases}\\\\ Traverse\ 遍历\begin{cases}DFS——Depth-First-Search\ 深度优先搜索\\BFS——Breadth-First-Search\ 广度优先搜索\end{cases}\\\\ Application\ 应用\begin{cases}Minimal\ Spanning\ Tree\ 最小生成树:& Prim算法,Kruskal算法\\Shortest\ Path\ 最短路径:&Dijkstra算法,Floyd算法\\Topological\ Sort\ 拓扑排序:&AOVNet\\Key\ Path\ 关键路径:&AOE\ Net\end{cases} \end{cases}$

Definition

图 $G$ 由顶点集 $V$ 和边集 $E$ 组成，记为：
$G = (V, E)$
其中：

$V (G)$ ：途中顶点的有限非空集合 $KaTeX parse error: Expected 'EOF', got '}' at position 29: …2},\dots,v\_{n}}̲$ ， $∣ V ∣$ 表示顶点的个数，也称为图的阶数，
$E (G)$ ：图中顶点之间的关系集合 $\{(v,u)|v\in V,u\in V \}$

Some Important Concept

有向图

如果 $E$ 是有向边的有限集合，则图为有向图。弧是顶点的有序对，记为 $< u, v >$ ，其中 $u, v$ 是顶点， $v$ 为弧尾， $u$ 为弧头，即从顶点 $u$ 到顶点 $v$ 的弧，也称为 $u$ 邻接到 $v$ ，或者 $v$ 邻接自 $u$ 。

无向图

即边集为无向边的有限集合，图为无向图，两个顶点互为邻接点，边依附于两个顶点或与两个顶点互相关联

简单图

如果：

不存在重复边
不存在到自身的边

则这样的图称为简单图。

多重图

相对于简单图，即允许重复边和到自身的边

完全图（简单完全图）

任意两个顶点都存在边的无向图，则为无向完全图；如果任意了两个顶点都存在方向相反的两条边，则称为有向完全图

子图

一个图为另一个图的子集，则：

这个图的边集是另一个图的边集的子集
顶点集是另一个图的顶点集的子集

注意并非一个图的边集的子集和顶点集的子集一定能够成其子图，因为可能无法构成图

连通、连通图和连通分量

在无向图中，从一个顶点到另外一个顶点有路径存在，则这两个顶点连通；若一个图的任意两个点都是连通的，则这个图为连通图，否则为非连通图；无向图的极大连通子图称为连通分量（即此时该无向图不连通，而是由若干连通分量构成）

强连通图、强连通分量

在有向图中，如果从一个顶点到另外一个顶点以及从另外一个顶点到这个顶点都有路径，则这两个顶点是强连通的；若任意两个顶点都是强连通的，则为强连通图

所以，在有向图中讨论强连通性，在无向图中讨论连通性

生成树、生成森林

连通图的生成树是包含图中全部顶点的一个极小连通子图，而非连通图中的每个连通分量的生成树构成该非连通图的生成森林

顶点的度、入度和出度

无向图中度为包含该顶点的边的数目，记为 $TD(v_{i})$ ，在具有 $n$ 个顶点， $e$ 条边的无向图中有：
$\sum_{i=1}^{n}TD(v_{i})=2e$
即无向图的全部顶点的度的和为边数目的两倍（一条边对应 $2$ 度）
在有向图中，度分为出度和入度，直观的讲就是 “出去的边的数目” 和 ”进来的边的数目“，分别记为 $O D (v)$ 和 $I D (v)$ ，则顶点的度数和为出度加上入度，则在具有 $n$ 个顶点， $e$ 条边的有向图中有：
$\sum_{i=1}^{n}ID(v_{i})=\sum_{i=1}^{n}OD(v_{1})=e$
即入度之和与出度之和相等，并且等于边的数量（一条边对应 $1$ 个出度和 $1$ 个入度）