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); }