强连通图定义：从任意节点到任意节点的路径

$G$ is strongly connected if there is a directed path connecting every pair of nodes.

一个有向图 $G$ 被称为强连通图，如果对于图中任意两个节点 $u$ 和 $v$，都存在一条从 $u$ 到 $v$ 的有向路径。换句话说，在强连通图中，可以从任意一个节点出发，沿着有向边行走，到达图中的任何其他节点。