Acwing 有向图的强连通分量 Tarjan算法

强连通分量：对于有向图来谈的，该分量中的任意两个结点a,b，都能够从a走到b和从b走到a，同时该分量中的结点数目最大，即“强”的含义。

有向图中，任意两个结点都连通的子图有许多个，其中结点数目最大的子图就是该有向图的强连通分量。

Tarjan算法求强连通分量。

定理1：对于有向图而言，至少加max(P,Q)条边，能够将该图变成强连通图。其中P表示入度为0的结点数目，Q表示出度为0的结点数目。入度为0表示没有边指向自己（进来），出度为0表示没有边出去。