求强连通块_Tarjan算法_C++

　　好久没有写算法了，就放一个 Tarjan 上来凑凑数哈

　　强连通块由若干个点组成，任意点与点之间可以之间或间接到达，显然可以看作一个环

　　下面是伪代码

　　　　　

　　强记：dfn为时间不变，low取最小，下一个dfn有值就跟dfn取min，没有就进去后跟low取，两个相等时弹栈

　　证明的话就贴一个

　　　　

　　会不会证无所谓了，可以自己脑补一下，况且代码很好写

 #include<cstdio>
 #include<cstdlib>
 #include<cstring>
 #include<cmath>
 #include<iostream>
 #include<algorithm>
 #include<stack>
 #define N 100000
 using namespace std;

 stack<int> p;
 int next[N],first[N],v[N],t,dfn[N],low[N];
 bool f[N];
 void dfs(int x)
 {
     p.push(x);
     dfn[x]=low[x]=++t;
     int i;
     for (i=first[x];i;i=next[i])
         if (f[v[i]]) continue;
         if (dfn[v[i]]) low[x]=min(low[x],dfn[v[i]]);
         else
             {
                 dfs(v[i]);
                 low[x]=min(low[x],low[v[i]]);
             }
     if (low[x]==dfn[x])
         {
             while (p.top()!=x)
                 {
                     f[p.top()]=;
                     printf("%d ",p.top());
                     p.pop();
                 }
             f[p.top()]=;
             p.pop();
             printf("%d\n",x);
         }
 }
 int main()
 {
     freopen("tarjan.in","r",stdin);
     freopen("tarjan.out","w",stdout);
     int i,x,n,m;
     scanf("%d%d",&n,&m);
     for (i=;i<=n;i++) f[i]=;
     for (i=;i<=m;i++)
         {
             scanf("%d%d",&x,&v[i]);
             next[i]=first[x];
             first[x]=i;
         }
     for (i=;i<=n;i++)
         if (dfn[i]==)
             {
                 t=;
                 dfs(i);
             }
     return ;
 }

版权所有，转载请联系作者，违者必究

QQ：740929894