有向图节点关系及连通性：LaTeX描述

有向图节点关系及连通性：LaTeX 描述

令 $G$ 为一个有向图，$u$ 和 $v$ 为 $G$ 中的两个节点。

• 如果存在一条从 $u$ 到 $v$ 的路径，则 $u$ 是 $v$ 的前驱节点，$v$ 是 $u$ 的后继节点。
• 如果存在一条从 $u$ 到 $v$ 的路径，以及一条从 $v$ 到 $u$ 的路径，则 $u$ 和 $v$ 是相互可达的。
• 如果对于 $G$ 中的每一对节点 $u$ 和 $v$，都存在一条从 $u$ 到 $v$ 的路径或从 $v$ 到 $u$ 的路径，则 $G$ 是连通的。