Tarjan 算法

Tarjan

基础

强连通：在有向图中，两个顶点可以互相到达，则称两点强连通，如果每两个顶点都可以强连通则为强连通图。
强连通分量：非强连通图的极大强连通子图，即非强连通图中的是强连通的子图。

目的

求有向图中强连通分量。

简介

Tarjan 算法是用来求强连通分量的，它是一种基于DFS（深度优先搜索）的算法，每个强连通分量为搜索树中的一棵子树。并且运用了数据结构栈。
先引入两个非常重要的数组：dfn[ ] 与 low[ ]
dfn[ ]：就是一个时间戳（被搜到的次序），一旦某个点被DFS到后，这个时间戳就不再改变（且每个点只有唯一的时间戳）。所以常根据dfn的值来判断是否需要进行进一步的深搜。
low[ ]：该子树中，且仍在栈中的最小时间戳，像是确立了一个关系，low[ ]相等的点在同一强连通分量中。
注意初始化时 dfn[ ] = low[ ] = ++cnt。

代码

//输出所有强连通分量
#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;

int n, m, x, y, top = 0, cnt = 0, t;
int a[200020];
int f[200020];
int dfn[200020];
int low[200020];
int stack[200020];

bool v[200020];

struct edge {
    int u, v, w, next;
} e[1000020];

void add(int u, int v, int w) {
    ++top;
    e[top].u = u;
    e[top].v = v;
    e[top].w = w;
    e[top].next = f[u];
    f[u] = top;
}

void tarjan(int now) {
    dfn[now] = low[now] = ++cnt;
    stack[++t] = now;
    v[now] = 1;
    for (int i = f[now]; i != -1; i = e[i].next)
        if (!dfn[e[i].v]) {
            tarjan(e[i].v);
            low[now] = min(low[now], low[e[i].v]);
        } else if (v[e[i].v]) {
            low[now] = min(low[now], dfn[e[i].v]);
        }
    int cur;
    if (dfn[now] == low[now]) {
        do {
            cur = stack[t--];
            v[cur] = false;
            printf("%d ", cur);
        } while (now != cur);
        printf("\n");
    }
}

int main() {
    cin >> n >> m;
    memset(f, -1, sizeof f);
    for (int i = 1; i <= n; ++i) {
        cin >> a[i];
    }
    for (int i = 1; i <= m; ++i) {
        cin >> x >> y;
        add(x, y, 0);
    }
    for (int i = 1; i <= n; ++i) {
        if (!dfn[i]) {
            tarjan(i);
        }
    }
    return 0;
}

参考内容

Tarjan算法 详解+心得