有向图

有向图（Directed Graph / Digraph）是边带方向的图，边通常写作 $u\to v$，表示可以从起点 $u$ 沿这条边到达终点 $v$。

和无向图不同，有向图中的可达关系通常不是对称的：$u$ 能到达 $v$，不代表 $v$ 一定能到达 $u$。因此有向图里会自然出现 强连通、强连通分量、入度、出度等概念。