【模板】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[10001], to[10001], next[10001], dfn[10001], low[10001], belong[10001];
bool ins[10001];
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] = 1;
    int i, v;
    for(i = head[u]; i != -1; 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] = 0;
            belong[v] = size;
            s.pop();
        }while(v != u);
    }
}

int main()
{
    int i, x, y;
    scanf("%d %d", &n, &m);
    memset(head, -1, sizeof(head));
    for(i = 1; i <= m; i++)
    {
        scanf("%d %d", &x, &y);
        add(x, y);
    }
    for(i = 1; i <= n; i++)//有可能是非连通图 
     if(!dfn[i])
      tarjan(i);
    printf("%d
", size);
    for(i = 1; i <= n; i++) printf("%d ", belong[i]);
    return 0;
}