Tarjan强连通分量算法

Tarjan强连通分量算法

连通：无向图中，从任意点i可以到达任意点j

强连通：有向图中，从任意点i可以到达任意点j

弱连通：把有向图看作无向图时，从任意点i可以到达任意点j

具体讲解：B站 BV19J411J7AZ（up真心讲的好 强烈安利 我就不丢人现眼了）

代码实现：

#include "iostream"
#include "vector"
#include "algorithm"
#include "string"
#include "stack"

using namespace std;

const int N = 1e5 + 5;

bool vis[N] = { false };
int dfn[N], low[N], isVis[N] = { false };
int ans = 0;
int t;

vector<int> g[N];
stack<int> stk;

void add(int a, int b) {
    g[a].push_back(b);
}

void tarjan(int u) {

    t += 1;

    dfn[u] = t;
    low[u] = t;

    stk.push(u);

    vis[u] = true;

    for(int i = 0; i < g[u].size(); ++i) {
        int j = g[u][i];
        if(!vis[j]) {
            tarjan(j);
            low[u] = min(low[u], low[j]);
        } else if(vis[u]) {
            low[u] = min(low[u], dfn[j]);
        }
    }

    if(low[u] == dfn[u]) {
        while(stk.top() != u) {
            if(!isVis[stk.top()])
                cout << stk.top() << " ";
            isVis[stk.top()] = true;
            vis[stk.top()] = false;
            stk.pop();
        }
        
        if(!isVis[stk.top()])
            cout << stk.top() << endl;
        isVis[stk.top()] = true;
        vis[stk.top()] = false;
        stk.pop();
    }

}

int main() {

    int n, m;

    int a, b;

    cin >> n >> m;

    for(int i = 0; i < m; ++i) {
        cin >> a >> b;
        add(a, b);
        //add(b, a);
    }

    for(int i = 1; i <= n; ++i) {
        if(!dfn[i]) tarjan(i);
    }

    return 0;
}