Tarjan算法求SCC（有向图强连通分量）-CSDN博客

http://www.byvoid.com/blog/scc-tarjan/zh-hans/

http://blog.csdn.net/shiqi_614/article/details/7833628

上一张图，说明树中边的分类。

dfn[u] 表示在 dfs 中 u 被访问的顺序标号。（时间戳 / time stamp）

low[u] 表示 u 在栈中可以追溯到的的最远祖先的 dfn。

若 u 的子节点 v 可以追溯到 x （x 可能是 u 的祖先），那么 u 也可以追溯到 x。

#include <queue>
#include <stack>
#include <stdio.h>
#include <string.h>
#include <algorithm>
using namespace std;

const int N = 2e3+5;
const int M = 1e4+5;

struct Vertex
{
    int head;
}V[N];

struct Edge
{
    int v,next;
}E[M];

int top,scc,id,dfn[N],low[N],belong[N];

bool in[N];

stack<int> S;

void init()
{
    top = 0;
    memset(V,-1,sizeof(V));
}

void add_edge(int u,int v)
{
    E[top].v = v;
    E[top].next = V[u].head;
    V[u].head = top++;
}

void tarjan(int u)
{
    dfn[u] = low[u] = ++id;
    S.push(u);
    in[u] = true;
    for(int i=V[u].head;~i;i=E[i].next)
    {
        int v = E[i].v;
        if(!dfn[v])
        {
            tarjan(v);
            low[u] = min(low[u],low[v]);
        }
        else if(in[v])
            low[u] = min(low[u],dfn[v]);
    }
    if(dfn[u] == low[u])
    {
        int v;
        do
        {
            v = S.top();
            S.pop();
            in[v] = false;
            belong[v] = scc;
        }while(u != v);
        scc++;
    }
}

void get_scc(int n)
{
    scc = id = 0;
    memset(dfn,0,sizeof(dfn));
    memset(in,false,sizeof(in));
    for(int i=0;i<n;i++)
        if(!dfn[i])
            tarjan(i);
}