【数据结构】图-图的基础理论（图解）

扑腾的江鱼

已于 2022-07-06 00:25:27 修改

阅读量2.3k

点赞数 3

分类专栏： URLeisure的数据结构之旅文章标签：数据结构 java c++ 图论

于 2022-03-07 08:02:56 首次发布

本文链接：https://blog.csdn.net/weixin_50564032/article/details/123289611

版权

URLeisure的数据结构之旅专栏收录该内容

36 篇文章 23 订阅

订阅专栏

文章目录

概述
图的基本术语

GitHub同步更新（已分类）：Data_Structure_And_Algorithm-Review

公众号：URLeisure 的复习仓库
公众号二维码见文末

以下是本篇文章正文内容，下面案例可供参考。

概述

前面文章写了线性表和树形结构。
在线性表中，数据元素是一对一的关系，除了第一个和最后一个元素外，每个元素都有唯一的前驱和后继。
在树形结构中，数据元素是一对多的关系，除了根之外，每个节点都有唯一的双亲节点，可以有多个孩子。
之后文章中的图形结构是多对多的关系，任何两个数据元素都可能有关系，每个节点可以有多个前驱和后继。
图的应用非常广泛，例如交通图，神经网络等。

在这里插入图片描述
图片来源：百度，侵删

图的基本术语

图通常用一个二元组 $G = < V, E >$ 表示，V 表示顶点集，E 表示边集。
|V| 表示顶点集中元素的个数，即顶点数，n 个顶点的图称为 n 阶图。
|E| 表示边集中元素的个数，即边数。
注意：顶点集 V 和边集 E 均为有限集合，其中 E 可以为空集，V 不可以为空集，但在运算中，可能产生 V 为空集。V 为空集的图称为空图。

1). 无向图

若图 G 中每条边都是没有方向的，则称为无向图。
如图，每条边都是两个顶点组成的无序对，例如顶点 V₁ 和顶点 V₃ 之间的边，记为（V₁，V₃）或（V₃，V₁）。

在这里插入图片描述

2). 有向图

若图 G 中每条边都是有方向的则称为有向图。
如图，有向边也称为弧，每条弧都是由两个顶点组成的有序对，例如从顶点 V₁ 到顶点 V₃ 的弧，记为 <V₁，V₃>，V₁ 称为弧尾，V₃ 称为弧头。

在这里插入图片描述

3). 简单图

既不含平行边也不含环的图称为简单图，上图均为简单图。

无向图中，若关联一对顶点的无向边多于一条，则称这些边为平行边。
有向图中，若关联一对顶点的无向边多于一条且这些边的始点和终点相同（方向一致），则称这些边为平行边。
自环是指一条边关联的两个顶点为同一个顶点，也就是自己到自己有一条边。

含有平行边的图称为多重图，平行边的条数称为重数。

在这里插入图片描述

4). 完全图

在无向图中，任意两个点都有一条边，则该图称为无向完全图，含有 n 个顶点的无向完全图，每个顶点到其他的 n-1 个顶点都有边，一共有 $\cfrac{n（n-1）}2$ 条边。
在有向图中，任意两个点都有两条方向相反的两条弧，则该图为有向完全图，含有 n 个顶点的有向完全图，每个顶点发出 n-1 条边，并且进来 n-1 条边，一共有 $n （ n - 1 ）$ 条边。

在这里插入图片描述

5). 稀疏图和稠密图

有很少边或弧的图称为稀疏图，反之，则称为稠密图。
一般，若图 G 满足 $∣ E ∣ < ∣ V ∣ \times l o g ∣ V ∣$ ，则称 G 为稀疏图。

6). 网

图的边上带值时，该数值称为边的权值，即带权的图称为网。
如，在图的边上标注距离、时间、耗费等数值。

在这里插入图片描述

7). 邻接和关联

邻接是指顶点和顶点之间的关系，关联是指边和顶点的关系。
邻接：有边/弧相连的两个顶点之间的关系，如无向边（V_i，V_j），则称 V_i 和 V_j 互为临界点；有向边 <V_i，V_j>，则称 V_i 邻接到 V_j ，V_j 临界与 V_i 。
关联：若存在（V_i，V_j）或 <V_i，V_j>，则称该边或弧关联与 V_i 和 V_j 。

在这里插入图片描述

8). 顶点的度

顶点的度是指与该顶点相关联的边的数目，即为 TD（v）。
握手定理：度数之和等于边数的两倍，即 $\displaystyle\sum_{i=0}^nTD(V_i)=2e$ 。
其中，n 为顶点数，e 为边数。
在计算度数之和时，每条边算了两次。

在有向图中，顶点的度又分为入度和出度。

顶点 v 的入度是以 V 为终点的有向边的条数，记作 ID(v)，即进来的边数。
顶点 v 的出度是以 V 为始点的有向边的条数，记作 OD(v)，即发出的边数。
顶点 v 的度等于其入度和出度之和，即 $T D (v) = I D (v) + O D (v)$ 。

综上 $\displaystyle\sum_{i=0}^nID(V_i)=\displaystyle\sum_{i=0}^nOD(V_i)=e$

9). 路径、路径长度和距离

路径：接续的边的顶点构成的序列。
路径长度：路径上边或弧的数目。
距离：从顶点到另一顶点的最短路径长度。

如图，V₁ 到 V₄ 的路径有两条。

V₁ 、V₃ 、 V₄ ，路径长度为 2
V₁ 、V₄ ，路径长度为 1

V₁ 到 V₄ 的距离为 1。

在这里插入图片描述

注意：在有向图中，路径必须沿着箭头方向走，无向图有边就能走。

10). 回路（环）、简单路径和简单回路

在这里插入图片描述

回路(环)：第一个顶点和最后一个顶点相同的路径。如 V₁ 、V₃ 、V₄ 、V₁，就是回路。
简单路径：除路径始点和终点可以相同外，其余顶点均不相同的路径。V₁ 、V₃ 、V₄ 、V₁、V₂ 不是简单回路（V₁ 经历了两次），V₁ 、V₃ 、V₄ 、V₂ 是简单路径。
简单回路：除路径始点和终点相同外，其余顶点均不相同的路径。V₁ 、V₃ 、V₄ 、V₁，就是简单回路。