图论(一)----基本定义

基本概念

图、路、环

一个有向图由$\mathbb G=(\mathcal N, \mathcal A)$表示，其中$\mathcal N$表示节点集，$\mathcal A$表示边集。边$(i,j)$为一有序对，$i$为出发节点，$j$为终止节点。在无向图中$(i,j)与(j,i)$一致。
路$P$是由节点及其对应的边依次相连构成。
环是出发节点和终止节点相同的路。

如果一条路不含重复边和重复节点，就被称做简单路，出发节点和终止节点相同的简单路就被称为简单环。

---

流和散度

流是用来衡量流过边的某种量，用$x_{i,j}表示$。并将流的集合$\{ x_{i,j} | (i,j)\in \mathcal A\}$称为流向量(注意流可正可负)。
散度则表示离开节点$i$的总流量和进入节点$i$的总流量之差，其定义如下：

$$y_i=\sum_{\{j|(i,j)\in \mathcal A\}}x_{ij}-\sum_{\{j|(j,i)\in \mathcal A\}}x_{ji}$$
若 $y_i \gt 0$可以称为源点， $y_i \lt 0$可以称为汇点，而且可以得到以下等式：
$$\sum_{i\in\mathcal N }y_i=0$$

共轭分解

共轭定义

将一个流向量分解为若干个简单路流之和往往便于处理。由此得到了共轭实现的概念。
路$P$和流向量$x$共轭，即满足以下条件：对于所有$P$的前向边$(i,j)$有$x_{ij}\gt 0$,对于所有$P$的后向边$(i,j)$有$x_{ij}\lt 0$，并且，或者$P$是环，或者$P$的出发节点和终止节点分别是$x$的源点和汇点。

共轭实现定理

非零流向量$x$可以分解为和$x$共轭的$t$个简单路流向量$x^1,x^2,...,x^t$，其中$t$不大于边和节点数目之和$A+N$。如果$x$是整数向量，那么$x^1,x^2,...,x^t$也可以选为整数向量。如果$x$是一个循环向量，那么$x^1,x^2,...,x^t$也可以选为简单环流，且$t\le A$。

---

本作品采用知识共享署名-相同方式共享 4.0 国际许可协议进行许可