定义：
强连通指的是对于一个有向图，每个点都有路径到另外一个点。
强连通分量则指的是对于一个图，它的极大强连通子图。
tanjan 求法：
对于一个图，考虑他的 dfs 生成树（即为对原图进行 dfs 的一棵树）。
那么对于这棵树，搜索时会出现四种边：
树枝边：搜索到没被访问过的节点，且在树中是当前节点的直接儿子。
前向边：搜索到没被访问的节点，但在树中是当前节点的间接儿子。
横叉边：搜索到已访问到的节点，但不是当前节点的祖先。
返祖边：搜索到已访问的节点，且是当前节点的祖先。
性质： 如果 \(u\) 是一个强连通分量中的第一个访问到的节点，那么其余节点一定是在搜索树中 \(u\) 的子树中。
证明： 反证法即可。
那么现在我们考虑到达 \(u\) 节点的时间戳，即为 \(u\) 是第几个到达的。这里记作 \(dfn[u]\).
在回溯的过程中，维护一个栈，用于存储待处理的节点。
再考虑在以 \(u\) 为根的子树中能到达的最早的在栈中的节点的时间戳。这里记作 \(low[i]\).
那么对于没被访问的节点，有 \(low[u]=\min(low[u],low[v])\)
对于访问过的且在栈中的节点，有 \(low[u]=\min(low[u],dfn[v])\)
其他情况对 \(low[u]\) 均无贡献。
那么当 \(low[u]=dfn[u]\) 时，就表示所有在以 \(u\) 为根的子树中 \(low\) 值等于 \(low[u]\) 的节点组成的图已经满足了极大性和强连通性。
且因为以 \(u\) 为根的子树中 \(low\) 值不等于 \(low[u]\) 的节点已经处理完了，所以这个栈中在 \(u\) 上的节点的 \(low\) 值都等于 \(low[u]\) ，此时他们就组成了一个强连通分量。
代码：
void tarjan(int u){
dfn[u]=low[u]=++dfnnow;
vis[u]=true;
st[++top]=u;
in_st[u]=true;
for(int i=head[u];i;i=edges[i].next){
int v=edges[i].v;
if(!vis[v]){
tarjan(v);
low[u]=min(low[u],low[v]);
}
else if(in_st[v]){
low[u]=min(low[u],dfn[v]);
}
}
if(dfn[u]==low[u]){
scc++;
while(st[top]!=u){
siz[scc]++;
in_st[st[top]]=false;
col[st[top]]=scc;
top--;
}
siz[scc]++;
in_st[st[top]]=false;
col[st[top]]=scc;
top--;
}
return;
}