图的基本知识

参考资料

1. 《社会媒体挖掘》
2. 《图深度学习》

相邻节点（adjacent node）和相邻边（incident edge）

在图$G\left(V,E\right)$中，节点$v_i$和节点$v_j$通过一条边连接，则称$v_i$和$v_j$是相邻节点：

$v_i与v_j相邻\equiv e\left(v_i,v_j\right)\in E$

如果两条边$e_i\left(a,b\right)$和$e_j\left(c,d\right)$有相同的一个端点（即通过一个节点相连），则称它们为相邻边：

$$\begin{gathered} e_i\left(a,b\right)和e_j\left(c,d\right)相邻 \\ \equiv \left(a=c\right)\cup \left(a=d\right)\cup \left(b=c\right)\cup \left(b=d\right) \end{gathered}$$

在有向图中，当且仅当一条边的终止节点是另一条边的开始节点时，两条边相邻，即边的方向必须要和与其相邻的边方向相匹配。

遍历（traverse）一条边

遍历图中的一条边是指从边的一个端点出发，沿着边移动到另一个端点。

通路（walk）

通路是依次遍历相邻边产生的边序列。如果通路遍历了边$e_1\left(v_1,v_2\right),e_2\left(v_2,v_3\right),\cdot \cdot \cdot ,e_n\left(v_n,v_{n+1}\right)$，那么$v_1$是通路的起始节点，$v_{n+1}$是通路的终止节点。

通路可以用节点序列表示，即$v_1,v_2,v_3,\cdot \cdot \cdot ,v_n,v_{n+1}$

通路的长度是在通路中遍历的边数量。

开通路（open walk）

如果通路的起始节点和终止节点不是同一节点，这种通路称为开通路。

闭通路（closed walk）

如果通路的起始节点和终止节点是同一节点，这种通路称为闭通路。

简单通路（trail）

每条边只被遍历一次的通路称为简单通路。即简单通路中的每条边都是不同的。

环路（tour or circuit）

一个闭合简单通路称为环路。

路径（path）

如果通路经过的节点和边均没有出现重复，则称之为路径。

回路（cycle）

闭合的路径称为回路。
路径和回路的长度用其遍历的边的数量表示。

哈密顿回路（Hamiltonian cycle）

哈密顿回路是指遍历了图中所有节点的回路。

欧拉环路（Eulerian tour）

欧拉环路是指图中所有边均只被遍历一次的环路，每个节点可以被访问多次。

斯坦纳树（Steiner tree）

给定一个带权图$G\left(V,E,W\right)$和节点集合的子集（$V^{\prime }\subseteq V$），斯坦纳树问题的目的是找到包含这个子集$V^{\prime }$中所有节点且权重之和最小的子树。需要注意，这个问题与最小生成树问题不同，因为这个问题中我们不需要包含图中的所有节点$V$，只需要关注一个子集$V^{\prime }$即可。

子图（subgraph）

图$G=\left(V,E\right)$的子图$G^{\prime }=\left(V^{\prime },E^{\prime }\right)$是由节点集的子集$V^{\prime }\subset V$和边集的子集$E^{\prime }\subset E$组成。此外，集合$V^{\prime }$必须包含集合$E^{\prime }$的边所涉及的所有节点。

连通分量（Connected Component）

给定一个图$G=\left(V,E\right)$，如果一个子图$G^{\prime }=\left(V^{\prime },E^{\prime }\right)$中任意一对节点之间都至少存在一条路，$V^{\prime }$中的节点不与任何$V/V^{\prime }$中的节点相连，那么$G^{\prime }$就是一个连通分量。下图可以表示一个图的两个连通分量。

连通图（Connected Graph）

如果一个图$G=\left(V,E\right)$只有一个连通分量，那么$G$是连通图。

图的直径（diameter）

图的直径定义为图中最长的最短路径的长度。即，给定一个连通图$G=\left(V,E\right)$，它的直径定义为

$diameter\left(G\right)={\max }_{v_s,v_t\in V}{\min }_{p\in P_{st}}\left|p\right|$