有向图的强连通分量（Tarjan算法模板）

求有向图的强连通分量，Tarjan算法，大白书321页。lowlink[u]为u及其后代能追溯到最早祖先点v的pre[v]值，递归计算lowlink.

模板

int dfs_clock, scc_cnt;//scc_cnt记录强连通分量的个数，初始化是0但是是从1开始的
int pre[maxn], lowlink[maxn], sccno[maxn];;//sccno[u]记录点u属于第几个强联通分量，即点u所在强联通分量的编号
vector<int> g[maxn], scc[maxn];//scc[i]记录第i个强连通分量有哪些点
stack<int> s;//保存当前强连通分量中的点

void dfs(int u) {
    pre[u] = lowlink[u] = ++dfs_clock;
    s.push(u);
    for (int i = 0; i < g[u].size(); ++i) {
        int v = g[u][i];
        if (0 == pre[v]) {
            dfs(v);
            lowlink[u] = min(lowlink[u], lowlink[v]);
        }
        else if (0 == sccno[v]) {
            lowlink[u] = min(lowlink[u], pre[v]);
        }
    }