图论-有向图缩点

强连通(strongly connected)： 在一个有向图G里，设两个点 a b 发现，由a有一条路可以走到b，由b又有一条路可以走到a，我们就叫这两个顶点（a，b）强连通。

强连通图： 如果 在一个有向图G中，每两个点都强连通，我们就叫这个图，强连通图。

强连通分量strongly connected components)：在一个有向图G中，有一个子图，这个子图每2个点都满足强连通，我们就叫这个子图叫做 强连通分量 。

有向图的缩点就是把有向图中强连通分量缩成一个点（道理很简单，我到了这个强连通分量的任何一点，那么这个强连通分量就能被我访问了），在处理有向图的连通性问题时有很多作用。

比如如下问题:

给出一个 0 ≤ N ≤ 10⁵