Tarjan缩点入门

缩点

顾名思义,缩点就是把一个强连通分量缩成一个点

Tarjan

在dfs的过程中记录时间戳,若能够通过某个点返回已遍历的点,则可以缩点

inline void Tarjan(int x)// st栈,low当前可已过的时间戳最大的,dfn当前点的时间戳,co当前点属于的强连通分量
{
	low[x]=dfn[x]=++cnt;
	st[++top]=x,vis[x]=1;
	for(re int i=h[x];i;i=e[i].ne)
	{
		int y=e[i].to;
		if(!dfn[y])
		{
			Tarjan(y);
			low[x]=min(low[x],low[y]);
		}
		else if(vis[y])
			low[x]=min(low[x],dfn[y]);
	}
	if(low[x]==dfn[x])
	{
		++color;
		while(st[top+1]!=x)
		{
			co[st[top]]=color;
			ww[color]+=w[st[top]];
			vv[color]+=v[st[top]];
			vis[st[top--]]=0;
		}
	}
}