离散数学——图论

最新推荐文章于 2022-09-08 09:09:17 发布

楠兮兮

最新推荐文章于 2022-09-08 09:09:17 发布

阅读量1.2k

点赞数 1

分类专栏：计算机科学文章标签：图论

本文链接：https://blog.csdn.net/x1009190387/article/details/113824150

版权

计算机科学专栏收录该内容

19 篇文章 1 订阅

订阅专栏

一、图
图作为数学模型，是一种用于描述有穷系统的二元关系 $(V, R)$ ，图的二元关系使得图的集合产生了结构。

1.1 图
设有穷集合 $V$ ，取集合 $\mathcal{P}_2(V) = \{(u, v)|u, v \in V\}$ ， $\subseteq \mathcal{P}_2(V)$ ，则称二元组 $(V, E)$ 为无向图。
对于图 $G = (V, E)$ ， $V$ 称为顶点集， $E$ 称为边集。 $\forall (u, v) \in E$ ，称 $u$ 与 $v$ 邻接，且 $(u, v)$ 与 $u$ 、 $v$ 关联。
对于图 $G = (V, E)$ ， $∣ V ∣ = p$ 是顶点数， $∣ E ∣ = q$ 是边数，则称 $G$ 是一个 $(p, q)$ 图。 $(1, 0)$ 图也称为平凡图， $(p, 0)$ 图也称为零图。
设有穷集合 $V$ ，取集合 $\mathcal{P}_2(V) = V \times V - \{(v, v)|v \in V\}$ ， $\subseteq \mathcal{P}_2(V)$ ，则称二元组 $(V, A)$ 为有向图。

设图 $G = (V, E)$ ，令 $V_s \subseteq V$ ， $E_s \subseteq E \cap \mathcal{P}_2(V_s)$ ，称图 $G_s = (V_s, E_s)$ 为图 $G$ 的子图。若 $G$ 的子图 $G_s$ 包含了 $G$ 的全部顶点，称该子图为生成子图，记为 $G^{'} = (V, E^{'})$ 。

设图 $G = (V, E)$ ， $\forall v \in V$ ，与 $v$ 关联的边数称为 $v$ 的度，记为 $deg\ v$ ，并记 $\delta(G) = min_{\forall v \in V }\{deg\ v\} \\ \Delta(G) = max_{\forall v \in V }\{deg\ v\}$ 且对于 $(p, q)$ 图 $G$ ，有 $\sum_{v \in V} deg\ v = 2q$ ，称为握手定理。其可以推论出生活中的一个现象：握过奇数次手的人有偶数个。
设图 $G = (V, E)$ ，若 $\forall v \in V$ ，都有 $deg\ v = r$ ，则称 $G$ 为r-正则图。对于 $(p, q)$ 图，其(p-1)-正则图称为完全图，记作 $K_p$ 。

设图 $G = (V, E), H = (U, F)$ ，有 $∣ V ∣ = ∣ U ∣$ ，若 $\exists \phi: V \rightarrow U$ 是双射的，且 $(v_1, v_2) \in E$ ，有 $(\phi(v_1), \phi(v_2)) \in F$ ，则称图 $G$ 和 $H$ 是同构的，记为 $\cong H$ 。直观的，对图的顶点进行置换，即可得到其同构图。

设图 $G = (V, E)$ ，那么 $G$ 的补图为 $G^c = (V, E^c)$ ，其中 $E^c = \mathcal{P}_2(V) - E$ 。对于同构的图 $G$ 与 $H$ ，其补图 $G^c$ 与 $H^c$ 也同构。若图 $G$ 与其补图 $G^c$ 同构，则称 $G$ 是自同构图。

1.2 连通图
非形式化的说，设图 $G = (V, E)$ ，顶点与边的交错序列称为通道。沿着通道可以访问顶点，即边的端点。若通道的起始顶点也是结束顶点，则称为闭通道。
若 $G$ 的通道没有重复的边，称为一条迹；若没有重复的顶点，称为一条路。闭通道的迹称为闭迹，而闭通道的路称为闭路，也称为圈。
设图 $G = (V, E)$ ， $\forall u, v \in V$ ，都存在 $u$ 与 $v$ 之间的路，称 $G$ 是连通图。

设 $(p, q)$ 图 $G = (V, E)$ ，若 $\notin E$ ，且 $deg\ u +deg\ v \ge p - 1$ ，那么 $G$ 连通。
考察该定理， $u$ 与 $v$ 之间有路是是自反的、对称的、传递的，即是一个等价关系，根据该等价关系可以得到一个划分，对于一个等价类的所有顶点，可以得到一个导出子图，令其顶点为 $V_i$ ，取 $E_i = \mathcal{P}_2(V_i) \cap E$ ，称 $G_i = (V_i, E_i)$ 为极大连通子图，也称为支。
若 $deg\ u +deg\ v \ge p - 1$ 的情况下， $G$ 不是一个连通子图，那么 $G$ 至少有2个支。记为 $G_1 = (V_1, E_1)$ 与 $G_2= (V_2, E_2)$ ，令 $V_1| = n, |V_2| = p - n$ $\forall u, v \in V$ ，若 $\in V_1$ ，那么 $deg\ u \le n - 1$ 若 $\in V_2$ ，那么 $deg\ v \le p - n - 1$ 那么有 $deg\ u +deg\ v \le p - 2$ 与条件矛盾。

设图 $G = (V, E)$ ，若 $\exists v \in V$ ， $deg\ v > 0$ 且 $\forall v \in V$ ， $deg\ v\ mod\ 2 = 0$ ，则 $G$ 中有圈。
考察该定理，考虑 $G$ 中最长的路 $v_1v_2..v_n$ ，由于 $deg\ v_1$ 是偶数，则除了 $(v_1, v_2) \in E$ ， $\exists v_i, 3 \le i \le n, (v_1, v_i) \in E$ 即有闭路 $v_1v_2...v_iv_1$ ，即存在圈。且由此易知对于 $\delta(G) \ge m \ge 2$ ，则存在长至少为 $m + 1$ 的圈。

1.3 双图
设图 $G = (V, E)$ ，若存在 $V$ 的二划分 ${V_1, V_2\}$ ，使得 $\forall (u, v) \in E$ ，都有 $\in V_1, v \in V_2$ 或 $\in V_2, v \in V_1$ ，则称图 $G$ 是一个双图。
若图 $G = (V, E)$ 是一个双图，且是一个完全图，则称 $G$ 是一个完全双图，对于 $V_1|=m, |V_2|=n$ ，记完全双图为 $K_{m, n}$ 。

设图 $G = (V, E)$ ，那么 $G$ 是双图的充要条件为 $G$ 中圈的长度为偶数。
考察该定理的必要性，若图 $G = (V, E)$ 是双图，则有划分 $V = \{V_1, V_2\}$ ，并考虑任意圈 $v_1v_2v_3...v_nv_1$ ，由于 $G$ 是双图，故必有 $v_1, v_3, v_5, ...$ 位于同一划分，而 $v_2, v_4, v_6, ...$ 位于另一划分，故 $n$ 必为偶数。
再考察该定理的充分性，考虑 $\in V$ ，构造集合 $V_1, V_2$ ，使得 $\in V_1$ 。设 $u$ 与 $v$ 的距离为 $d (u, v)$ ，那么令 $V_1 = \{u|d(u, v)\ mod\ 2 = 0\}$ ， $V_2 = V - V_1$ 。考察 $V_1$ ，若 $\exists u, w \in V_1, (u, w) \in E$ ，那么有 $v)\ mod\ 2 = 0 \\ d(w, v)\ mod\ 2 = 0 \\ d(u, w) = 1$ 此时 $u, v, w$ 构成圈，且长度为奇数，与条件矛盾。故 $V_1, V_2$ 构成了二划分，使得 $G$ 是双图。

设 $(p, q)$ 图 $G = (V, E)$ ，若 $G$ 中不存在长度为3的圈，则 $\le \lfloor p^2/4 \rfloor$ ，称为图兰【Turán】定理。
考察该定理，假设成立并归纳：
1.显然， $p = 1, 2$ ，定理成立；
2.设 $p = 2 N + 1$ ， $\forall (u, v) \in E$ ， $G - u - v = G^{'}$ ，那么 $G^{'}$ 是一个 $(2 N - 1, q^{'})$ 图，那么根据定理，有 $\le \lfloor p'^2/4 \rfloor = \lfloor (2N-1)^2/4 \rfloor = N^2 - N$ 考察 $G$ 与 $G^{'}$ 的边数的关系，由于不存在边数为3的圈的约束，有 $deg\ u + deg\ v \le p$ ，故 $\le q' + p - 1 = q' + 2N \le N^2 + N = \lfloor (2N+1)^2/4 \rfloor$ 得证；
3.设 $p = 2 N$ ， $\forall (u, v) \in E$ ， $G - u - v = G^{'}$ ，那么 $G^{'}$ 是一个 $(2 N - 2, q^{'})$ 图，那么根据定理，有 $\le \lfloor p'^2/4 \rfloor = \lfloor (2N-2)^2/4 \rfloor = N^2 - 2N + 1$ 考察 $G$ 与 $G^{'}$ 的边数的关系，由于不存在边数为3的圈的约束，有 $deg\ u + deg\ v \le p$ ，故 $\le q' + p - 1 = q' + 2N -1 \le N^2 = \lfloor (2N)^2/4 \rfloor$ 得证。

1.4 欧拉图
设图 $G = (V, E)$ ，包含 $G$ 的所有迹的所有顶点与所有边的迹称为欧拉迹，当欧拉迹为闭迹时，称为欧拉闭迹。包含欧拉闭迹的图称为欧拉图。

$G$ 是欧拉图的充要条件是： $G$ 是连通的且每个顶点的度为偶数，称为欧拉【Euler】定理。
考察必要性， $G$ 是欧拉图，则 $G$ 包含欧拉闭迹，即连通的，且显然，形成闭迹时，顶点的度均为偶数。
再考察充分性， $G$ 是连通的且每个顶点的度为偶数，那么 $G$ 具有圈 $C_1$ ，若 $C_1$ 是一条欧拉闭迹，则得证；否则去除圈 $C_1$ ，得到的图的顶点的度也是偶数，且也是连通的，具有圈 $C_2$ ，直到 $C_k$ ，且若干个圈没有公共边，从而形成了欧拉闭迹。

若图是自反的，则称为带环图，直观的，图的顶点与自己邻接；若图的关系有多个等价类，则称为多重图，直观的，图的顶点之间有多重邻接。带环图与多重图统称为伪图，欧拉定理对于伪图也成立。
设图 $G = (V, E)$ ，图 $G$ 中有一条欧拉开迹的充要条件为：如果 $G$ 中有2个奇度顶点。
若 $G$ 有2n个奇度顶点，那么 $G$ 至少有n条迹。

1.5 哈密顿图
设图 $G = (V, E)$ ，如果 $G$ 中有生成圈，则称 $G$ 为哈密顿图。

$G = (V, E)$ 是哈密顿图的必要条件是：对于 $\subseteq V$ ，取 $w (G - S)$ 表示去除 $S$ 后形成的图的支的个数，那么 $\le |S|$ 。

$(p, q)$ 图 $G = (V, E)$ 是哈密顿图的充分条件是： $p > 3$ 且 $\forall v \in V$ ， $deg\ v \ge p/2$ 。其称为狄拉克【Dirac】定理。
考察其逆否命题，若 $G$ 不是哈密顿图，那么其也一定不是 $K_p$ ，即存在 $\in V$ 不邻接，设在 $G$ 中加入 $(u, v)$ ，直到 $G^*$ 是哈密顿图，从中去除最后加入的边，得到的 $G^{'}$ 必存在哈密顿路。设 $G^{'}$ 的哈密顿路的首个顶点 $v$ 与顶点 $v_{i1}, ..., v_{ik}$ 邻接，那么末尾顶点 $v_p$ 不能与 $v_{ij-1}$ 邻接，否则形成 $v_1v_{ik}v_{ik+1}...v_pv_{ik-1}v_{ik-2}...v_1$ 的哈密顿圈。由于 $deg\ v_1 = k$ ，那么 $deg\ v_p \le p-1-k$ 。故有 $deg\ v_1 + deg\ v_p \le p - 1$ 即 $v_1$ 或 $v_p$ 的度小于 $p / 2$ 。即得到命题：若 $G$ 不是哈密顿图，那么 $\exists v \in V$ ， $d e g v < p / 2$ ，其逆否命题即为狄拉克定理。
上述证明也可以得出，对于 $(p, q)$ 图 $G = (V, E)$ ，若 $\forall u, v \in V$ ， $\notin E$ ，若 $deg\ u + deg\ v \ge p$ ，则 $G$ 是哈密顿图，称为奥尔【Ore】定理。
推广的，对于 $(p, q)$ 图 $G = (V, E)$ ，若 $\forall u, v \in V$ ， $\notin E$ ，若 $deg\ u + deg\ v \ge p-1$ ，则 $G$ 包含一个哈密顿路。

1.6 图的表示
图可以直观的采用图解表示。考虑图 $G = (V, E)$ ，其中 $V = \{v_1, v_2, v_3, v_4\}$ ， $E = \{(v_1, v_2), (v_2, v_3), (v_3, v_4)\}$ ，那么其图为

当图的顶点或边有代价时，就形成了带权图，即 $G = (V, E, f, g)$ ，其中 $\rightarrow R, g \rightarrow R$ 。带权图具有典型的最短路径等问题，详见数据结构——图。

图也可以使用邻接矩阵表示，其为 $\left( \begin{matrix} 0 & 1 & 0 & 0 \\ 1 & 0 & 1 & 0 \\ 0 & 1 & 0 & 1\\ 0 & 0 & 1 & 0 \\ \end{matrix} \right )$ 邻接矩阵有如下定理：对于图 $G = (V, E)$ 及其邻接矩阵 $\bm{B}$ ，那么从顶点 $v_i$ 到 $v_j$ 的长为 $l$ 的通道共有 $(\bm{B}^l)_{ij}$ 条。

在计算机中，稀疏的大型邻接矩阵将浪费大量存储空间，使用指针将分散的内存组织成结构，形成邻接表。上述图的邻接表为

此外，通过顶点与边的关系，可以构造关联矩阵，上述图的关联矩阵为 $\left( \begin{matrix} 1 & 0 & 0\\ 1 & 1 & 0\\ 0 & 1 & 1\\ 0 & 0 & 1\\ \end{matrix} \right )$
其中一维表示边，二维表示顶点。

二、树
树是一种数据结构，作为图的一种，其在计算机科学中，尤其是算法中有着重要的作用。

2.1 树
一个连通的、无圈的图称为树，树中度为1的顶点称为叶。相似的，一个不连通的、无圈的图称为森林。仅有一个顶点的树，称为平凡树，则非平凡树至少有2个叶。
设 $(p, q)$ 图 $G = (V, E)$ ，那么 $G$ 是树的等价命题包括：
- $G$ 的任意两个顶点之间存在唯一的路；
- $G$ 是连通的，且有 $p = q + 1$ ；
- $G$ 是无圈的，且在 $G$ 的任意两个不邻接的顶点之间增加一条边，可以得到有唯一圈的图。
设图 $G = (V, E)$ ，若 $\forall e \in E$ ，有 $G - e$ 不连通，那么称 $G$ 是一个极小连通图。 $G$ 是树的充要条件为 $G$ 是极小连通图。

设树 $G = (V, E)$ ， $\forall v \in V$ ，定义 $v$ 的偏心率用于描述了该顶点与其他所有顶点的距离的度量，记作 $max_{u \in V}\{d(u, v)\}$ ，并定义树 $G$ 的半径为 $min_{v \in V}\{e(v)\}$ 。那么树 $G$ 的中心是一个集合 $\subseteq V$ ，有 $\{v|v \in V, e(v) = r(G)\}$ 。

2.2 生成树
设图 $G = (V, E)$ ， $G$ 的一个生成子图如果也是树，则称该生成子图为 $G$ 的生成树。
设图 $G = (V, E)$ ，则 $G$ 有生成树的充要条件为 $G$ 是连通的。

设带权图 $G = (V, E, w)$ ，其中 $\rightarrow R_+$ ， $T$ 是 $G$ 的生成树，那么权和最小的生成树称为最小生成树。最小生成树的构造算法包括普里姆【Prim】算法与克鲁斯卡尔【Kruskal】算法，详见数据结构——图。

2.3 割集
设图 $G = (V, E)$ ， $\in V$ ，若 $G - v$ 的支数大于 $G$ 的支数，那么 $v$ 是 $G$ 的一个割点。
设图 $G = (V, E)$ ，那么 $v$ 是割点的等价命题包括：
- $\exists u, w \in V$ ， $\ne w$ ， $u$ 与 $w$ 之间的所有路均通过 $v$ ；
-存在 $V - \{v\}$ 的一个划分 ${u, w\}$ ，使得 $\forall u \in U, w \in W$ ， $u, w$ 之间的所有路均通过 $v$ 。

设图 $G = (V, E)$ ， $\in V$ ，若 $G - e$ 的支数大于 $G$ 的支数，那么 $e$ 是 $G$ 的一个桥，桥的性质与割点相似：
- $\exists u, w \in V$ ， $\ne w$ ， $u$ 与 $w$ 之间的所有路均通过 $e$ ；
-存在 $V - \{v\}$ 的一个划分 ${u, w\}$ ，使得 $\forall u \in U, w \in W$ ， $u, w$ 之间的所有路均通过 $e$ 。

三、图的连通与匹配
无论是计算机科学的网络，还是现实的工程问题，图模型的连通性在一定程度上反映了系统的容错性。

3.1 连通度
设图 $G = (V, E)$ ，若 $\exists v_1, v_2, ... v_n$ ，使得 $G - (v_1 + ... + v_n)$ 是不连通图或平凡图，称所需去掉的最少顶点数为 $G$ 的顶点连通度，简称为连通度，记作 $K (G)$ ；所需去掉的最少边数，称为 $G$ 的边连通度，记为 $\lambda(G)$ 。典型的，不连通图或平凡图 $G$ ，有 $\lambda(G) = 0$ ，而树 $T$ 有 $\lambda(T) = 1$ 。
最小度、顶点连通度、边连通度是一组构造工程系统的约束参数。

设图 $G = (V, E)$ ，那么有 $\le \lambda(G) \le \delta(G)$ 。
考察最小度与边连通度，若 $G$ 不连通，那么有 $\lambda(G) = 0 \le \delta(G)$ ；若 $G$ 连通，则 $\exists v \in V$ ， $deg\ v = \lambda(G)$ ，对于与 $v$ 关联的 $\lambda(G)$ 条边 $\sum e$ ，有 $\sum e$ 不连通，即 $\lambda(G) = \delta(G)$ 。综上， $\lambda(G) \le \delta(G)$ 。
考察最小度与顶点连通度，若 $G$ 不连通或是平凡的，有 $\lambda(G) = 0$ ；若 $G$ 连通且非平凡的，如果 $G$ 有桥，那么 $\le \lambda(G)$ ，而 $G$ 没有桥，则 $\exists v \in V$ ， $deg\ v = \lambda(G)$ ，对于与 $v$ 关联的 $\lambda(G)$ 条边与点 $\sum v+e$ ，有 $\sum (v+e)$ 不连通，即 $\lambda(G) = K(G)$ 。综上， $\le \lambda(G)$ 。

$\forall k \le \lambda \le \delta$ ，总存在 $G$ ，使得 $\lambda(G) = \lambda, \delta(G) = \delta$ 。

3.2 n-连通
设图 $G = (V, E)$ ，若 $\ge n$ ，则称 $G$ n-顶点连通，或简称为n-连通；若 $\lambda(G) \ge n$ ，则称 $G$ n-边连通。典型的，树是1-连通的。

设图 $G = (V, E)$ ， $\ge 3$ ， $G$ 是2-连通的充要条件为 $\forall u, v \in V$ ， $u, v$ 都在 $G$ 的同一个圈上。
考察该定理的充分性，若 $G$ 的任意两个顶点都在 $G$ 的同一个圈上，那么 $G$ 没有割点，即 $\ge 2$ ，即2-连通；在考察必要性， $\ge 2$ ，取 $d (u, v)$ ，那么当 $d (u, v) = 1$ ， $\ge 2$ ，显然， $u, v$ 形成圈；设 $d (u, v) = k$ ， $d (u, v^{'}) = k - 1$ 且 $u, v^{'}$ 位于一个圈上，且 $\ge 2$ ，那么 $G - v^{'}$ 中， $u$ 与 $v$ 之间有路，即在 $G$ 中， $u$ 与 $v$ 之间存在圈。

3.3 匹配问题
设图 $G = (V, E)$ ， $\subseteq V$ ， $\forall u, v \in I$ ， $\notin E$ ，称 $I$ 为独立集； $\in E$ ，若 $x$ 与 $y$ 没有共同端点，称 $x$ 与 $y$ 独立，若 $\subseteq E$ ， $\forall x, y \in E$ 独立，称 $S$ 是边独立集，也称为匹配。
设偶图 $(V_1 \cup V_2, E)$ ，若有 $G$ 的匹配 $S$ ，使得 $S| = min\{|V_1|, |V_2|\}$ ，则称该匹配为完全匹配；若有 $S| = |V_1| = |V_2|$ ，则称为完美匹配。
设图 $G = (V, E)$ ， $\subseteq V$ ， $\forall u, v \in D$ ， $\in D$ ，称 $D$ 为团。

设偶图 $(V_1 \cup V_2, E)$ ， $V_1|<|V_2|$ ，那么存在完全匹配 $S$ 的充要条件为： $\forall k, 1 \le k \le |V_1|, \sum_{i}^k deg\ v \ge k, v \in V_1$ ，称为霍尔【Hall】定理。

楠兮兮

关注

1
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
离散数学——图论

一、图图作为数学模型，是一种用于描述有穷系统的二元关系(V,R)(V, R)(V,R)，图的二元关系使得图的集合产生了结构。1.1 图设有穷集合VVV，取集合P2(V)={(u,v)∣u,v∈V}\mathcal{P}_2(V) = \{(u, v)|u, v \in V\}P2(V)={(u,v)∣u,v∈V}，E⊆P2(V)E \subseteq \mathcal{P}_2(V)E⊆P2(V)，则称二元组(V,E)(V, E)(V,E)为无向图。对于图G=(V,E)G = (V,
复制链接

扫一扫