图论基本知识

本文主要参考于《离散数学及其应用》（傅彦 著）中的图论篇

---

图

图的基本概念

图的定义

一个 图（graph） 是一个序偶$<V, E>$，记为$G = <V, E>$，其中：
（1） $V = { v_1, v_2, ..., v_n}$ 是有限非空集合，$v_i$称为 节点（nodal point），简称 点（point），$V$ 称为 节点集（nodal set）.
（2） $E$ 是有限集合，称为 边集（frontier set），$E$ 中的每个元素都有$V$中的节点对与之对应，称之为 边（edge）.

图的表示

1. 图的集合表示

2. 图的图形表示

3. 图的矩阵表示
   优点：便于用代数知识来研究图的性质，特别是便于用计算机来处理。
   邻接矩阵（adjacency matrix） ：

   设图$G = <V, E>$， 其中$V = {v_1, v_2, ..., v_n}$，并假定节点已经有了从$v_1$到$v_n$的次序，则$n$ 阶方阵$A_G = (a_{ij})_{n \times n}$称为$G$的邻接矩阵，其中
   $a_{ij} = \begin{cases} 1, & \text{若$(v_i,v_j) \in E$ 或 $<v_i,v_j> \in E$} \\ 0, & \text{否则} \end{cases}$

   1. 两点之间有边连接时，在邻接矩阵中对应的值为1，否则为0.
   2. 无向图的邻接矩阵：$A_G = A_G^T$
   3. 图$G = <V, E>$的邻接矩阵依赖于$V$中元素的次序，对于$V$中各元素不同的次序，可得到同一图$G$的不同的邻接矩阵。但是$G$的任何一个邻接矩阵可以从$G$的另一个邻接矩阵中通过交换某些行和相应的列而得到，其交换过程与将一个排序中的节点交换位置变为另一个排序是一致的。如果我们略去由节点排序不同而引起的邻接矩阵的不同，则图与邻接矩阵之间是一一对应的。

图的操作

设图$G = <V, E>$
（1） 设$e \in E$，用$G - e$表示从$G$中去掉边$e$得到的图，称为删除边$e$。
（2） 设$v \in V$，用$V - v$表示从$G$中去掉节点$v$及$v$关联的所有边得到的图，称为删除节点$v$。
（3） 设$e=(u,v) \in E$，用$G \backslash e$表示从$G$中删除边$e$，将$e$的两个端点$u,v$用一个新的节点$w$代替，使$w$关联除$e$外的$u$和$v$关联的一切边，称为边$e$的收缩。一个图$G$可以收缩为图$H$，是指$H$可以从$G$经过若干次边的收缩而得到。
（4） 设$u,v \in V$（$u,v$可能相邻，也可能不相邻），用$G \bigcup (u,v)$表示在$u,v$之间加一条边$(u,v)$，称为加新边。

邻接点与邻接边

在图$G = <V, E>中，
若两个节点 $v_i$ 和 $v_j$ 是边 $e$ 的端点，则称 $v_i$ 与 $v_j$ 互为 邻接点（adjacent point），否则$v_i$ 与 $v_j$称为不邻接的；
具有公共节点的两条边称为 邻接边（adjacent edge）；
两个端点相同的边称为 环（ring） 或 自回路（self-loop）；
图中不与任何节点相邻的节点称为 孤立节点（isolated point）；
仅由孤立节点组成的图称为 零图（null graph）；
仅含一个节点的零图称为 平凡图（trivial graph）；
含有$n$个节点，$m$条边的图称为 $(n, m)$ 图。

1. 环的方向是无意义的，因此，把它看成有向边或无向边均可
2. 环的有无，不会使图论中的各个定理发生重大变化，所以许多场合都略去环
3. 零图中无任何边，其边集为空，其邻接矩阵的所有元素均为0.

图的分类

1. 按边的有无方向分类

每条边都是无向边的图称为无向图（undirected graph）；
每条边都是有向边的图称为有向图（directed graph）；
有些边是无向边，有些边是有向边的图称为混合图（mixed graph）

2. 按有无平行边分类

在有向图中，两节点间（包括节点自身间）若有同始点和同终点的几条边，则这几条边称为 平行边（parallel edge）；
在无向图中，两节点间（包括节点自身间）若有几条边，则这几条边称为 平行边（parallel edge）；
两节点$a,b$间相互平行的边的条数称为边$(a,b)$或$<a,b>$的 重数（repeated number）；
含有平行边的图称为 多重图（multigraph）；
非多重图称为 线图（line graph）；
无环的线图称为 简单图（simple graph）。

简单图是一种特殊的线图，仅仅无环而已

3. 按边或节点是否含权分类

赋权图（weight graph） $G$是一个三重组$<V,E,g>$或四重组$<V,E,f,g>$，其中$V$是节点集合，$E$是边的集合，$f$是从$V$到非负实数集合的函数，$g$是从$E$到非负实数集合的函数。

子图与补图

设有图$G = <V, E>$和图$G_1 = <V_1, E_1>$，
（1） 若$V_1 \subseteq V, E_1 \subseteq E$，则称$G_1$ 是$G$的 子图（subgraph），记为$G_1 \subseteq G$；
（2）

来源：CSDN

作者：深山里的小白羊

链接：https://blog.csdn.net/qq_33757398/article/details/104339589