强连通分量Tarjan算法

int low[maxn];      // 记录这棵树能到达的最早祖先（其实不一定是最早，但不影响使用）
int time;           // 时间戳
int num;            // 连通分量的个数
int belong[maxn];   // 记录属于哪个连通分量
int sta[maxn];      // 手写栈
int top;            // 栈顶
void init(){
num = time = top = 0;
memset(low,-1,sizeof(low));
memset(belong,-1,sizeof(belong));
}

void tarjan(int p){
int t=time;      // 记录下访问到该点时的时间戳，就不用dfn数组啦
low[p]=time++;
sta[top++]=p;
for(int i=v[p].size()-1;i>=0;i--){
int next=v[p][i];
if(low[next]==-1){         // 没有被访问过
tarjan(next);
low[p]=min(low[p],low[next]);
}
else if(belong[next]==-1)  // 还在栈内 (只要出栈了，belong的值肯定已经确定了，这种判断方式就省了instack数组了)
low[p]=min(low[p],low[next]);
}
if(low[p]==t){
while(1){
int i=sta[--top];
belong[i]=num; // 连通分量编号从0开始
if(i==p)break;
}
num++;
}
}

void Solve(){
init();
for(int i=1;i<=n;i++)
if(low[i]==-1)
tarjan(i);
}