可以求每个点属于第几个强连通分量
int Tarjan(int u){
int v;
dfn[u]=low[u]=++Index;
stack[++Top]=u;
Instack[u]=1;
for(int i=0;i<G[u].size();i++){
v=G[u][i];
if(!dfn[v]){
Tarjan(v);
low[u]=min(low[u],low[v]);
}
else if(Instack[v]) low[u]=min(dfn[v],low[u]);
}
if(dfn[u]==low[u]){
CNT++;
do{
v=stack[Top--];
Belong[v]=CNT;
Instack[v]=0;
}while(u!=v);
}
}
可以求强连通分量的个数：
void tarjan(int x) {
low[x] = dfn[x] = ++tot;
sk.push(x);vis[x] = 1;
for(int i = head[x]; i!=-1; i=e[i].ne) {
int v = e[i].to;
if(dfn[v] == 0) {
tarjan(v);
low[x] = min(low[x],low[v]);
}
else if(vis[v] == 1) {
low[x] = min(low[x],dfn[v]);
}
}
if(low[x] == dfn[x]) {
cnt++;
while(1) {
int now = sk.top();
sk.pop();
vis[now]=0;
if(now == x) break;
}
}
}
可以求强连通分量中的点分别是谁
void tarjan(int x)//代表第几个点在处理。递归的是点。
{
DFN[x]=LOW[x]=++tot;// 新进点的初始化。
stack[++index]=x;//进站
visit[x]=1;//表示在栈里
for(int i=heads[x];i!=-1;i=edge[i].next)
{
if(!DFN[edge[i].v]) {//如果没访问过
tarjan(edge[i].v);//往下进行延伸，开始递归
LOW[x]=min(LOW[x],LOW[edge[i].v]);//递归出来，比较谁是谁的儿子／父亲，就是树的对应关系，涉及到强连通分量子树最小根的事情。
}
else if(visit[edge[i].v ]){ //如果访问过，并且还在栈里。
LOW[x]=min(LOW[x],DFN[edge[i].v]);//比较谁是谁的儿子／父亲。就是链接对应关系
}
}
if(LOW[x]==DFN[x]) //发现是整个强连通分量子树里的最小根。
{
do{
printf("%d ",stack[index]);
visit[stack[index]]=0;
index--;
}while(x!=stack[index+1]);//出栈，并且输出。
printf("\n");
}
return ;
}
编辑时间回忆：
