【模板】Tarjan求强连通分量

有人说这篇博客不是很友好，所以我加了点解释，感觉是不是友好多了？

dfn[u]表示节点u在dfs时被访问的次序。

low[u]表示节点u能够追溯到的最远的祖先的dfn。

ins[u]表示节点u是否在栈中。

belong[u]表示节点u所属的SCC标号，也可以说可以缩成的点的标号。

若u的子节点v可以追溯到节点x(x可能为u的祖先)，那么u也可以追溯到节点x。

同时如果是最远祖先那么祖先在dfs中的顺序肯定最小，所以取min值。

如果搜索到的点已经在栈中了，那么当前点的祖先肯定可以是在栈中的点。

 #include <cstdio>
 #include <cstring>
 #include <stack>
 
 int n, m, cnt, index, ans, size;
 int head[], to[], next[], dfn[], low[], belong[];
 bool ins[];
 std::stack <int> s;
 
 inline void add(int x, int y)
 {
     to[cnt] = y;
     next[cnt] = head[x];
     head[x] = cnt++;
 }
 
 void tarjan(int u)
 {
     dfn[u] = low[u] = ++index;
     s.push(u);
     ins[u] = ;
     int i, v;
     for(i = head[u]; i != -; i = next[i])
     {
         v = to[i];
         if(!dfn[v])
         {
             tarjan(v);
             low[u] = std::min(low[u], low[v]);
         }
         else if(ins[v]) low[u] = std::min(low[u], dfn[v]);
     }
     if(low[u] == dfn[u])
     {
         size++;
         do
         {
             v = s.top();
             ins[v] = ;
             belong[v] = size;
             s.pop();
         }while(v != u);
     }
 }
 
 int main()
 {
     int i, x, y;
     scanf("%d %d", &n, &m);
     memset(head, -, sizeof(head));
     for(i = ; i <= m; i++)
     {
         scanf("%d %d", &x, &y);
         add(x, y);
     }
     for(i = ; i <= n; i++)//有可能是非连通图
      if(!dfn[i])
       tarjan(i);
     printf("%d\n", size);
     for(i = ; i <= n; i++) printf("%d ", belong[i]);
     return ;
 }