void tarjan(int u)
{
dfn[u]=low[u]=++stamp;
used[u]=1;//进栈
s.push(u);
for(int i=0;i<graph[u].size();i++)
{
int v=graph[u][i];
if(used[v]==0)
{
tarjan(v);//如果没有入栈,则dfs
low[u]=min(low[u],low[v]);
}
else if(used[v]==1)
{
low[u]=min(low[u],low[v]);//当我们遇到一个在栈里的节点时,这个节点要么是强连通分量里的一个点,要么是那个low[u]==dfn[u]的点,此时碰到的点肯定能形成强连通分量,其low也是那个原点。
}
}
if(low[u]==dfn[u])
{
int temp=0;
while(s.top()!=u)
{
used[s.top()]=-1;//入栈又出栈的点,以后再也不能访问
s.pop();
temp++;
}
used[s.top()]=-1;
s.pop();
temp++;
}
}
}
{
dfn[u]=low[u]=++stamp;
used[u]=1;//进栈
s.push(u);
for(int i=0;i<graph[u].size();i++)
{
int v=graph[u][i];
if(used[v]==0)
{
tarjan(v);//如果没有入栈,则dfs
low[u]=min(low[u],low[v]);
}
else if(used[v]==1)
{
low[u]=min(low[u],low[v]);//当我们遇到一个在栈里的节点时,这个节点要么是强连通分量里的一个点,要么是那个low[u]==dfn[u]的点,此时碰到的点肯定能形成强连通分量,其low也是那个原点。
}
}
if(low[u]==dfn[u])
{
int temp=0;
while(s.top()!=u)
{
used[s.top()]=-1;//入栈又出栈的点,以后再也不能访问
s.pop();
temp++;
}
used[s.top()]=-1;
s.pop();
temp++;
}
}
}