【Tarjan算法解决强连通分量问题】

强连通分量

先来介绍一下强连通分量吧，如果在某个图中所有点都能两两到达，那么这个图就是强连通图，如果这个图不是强连通图，但是某个子图是强连通图，那么这个子图就是强连通分量

Tarjan算法

对这个图进行dfs，对每个点记录一个dfs序，当dfs完他的子树的时候发现他的子树有返祖边或者连向另一块强连通分量的横插边的时候他以及他的那个能返祖到他的dfs序最大的子节点这个区间内的所有点就构成了强连通分量，思想挺简单的，现在来看一下例题吧

例题

给一个n个点m条边的图，输出所有的强连通分量。

输入格式
第一行两个整数n,m(1≤n≤105,1≤m≤3×105)。接下来m行，每行两个整数u,v(1≤u,v≤n)。

输出格式
输出若干行，每行若干个数表示一个强连通分量，按编号从小到大输出。对于所有强连通分量，按照字典序从小到大输出。

样例输入
5 6
1 3
3 1
2 4
4 5
5 2
1 2
样例输出
1 3
2 4 5

代码：

#include<bits/stdc++.h>
#define pb push_back
using namespace std;
const int N = 100010,M=300010;
vector<int> e[M];
int n,m;
int dfn[N],low[N],idx;
bool ins[N];
stack<int> stk;
vector<vector<int>> scc;
void dfs(int u){
	dfn[u] = low[u] = ++idx;
	ins[u] = true;
	stk.push(u);
	for(auto v : e[u]){
		if(!dfn[v]) dfs(v);
		if(ins[v]) low[u] = min(low[u],low[v]);//能往回连的dfs序的最小值 
	}
	if(dfn[u] == low[u]){
		vector<int> c;
		while(true){
			int v = stk.top();
			stk.pop();
			c.pb(v);
			ins[v] = false;
			if(u == v) break;
		}
		sort(c.begin(),c.end());
		scc.pb(c);
	}
}
int main(){
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++){
		int u,v;
		scanf("%d%d",&u,&v);
		e[u].pb(v);
	} 
	for(int i=1;i<=n;i++)
		if(!dfn[i]) dfs(i);
	sort(scc.begin(),scc.end());
	for(auto c : scc){
		for(auto u : c) printf("%d ",u);
		puts("");
	}
	return 0;
}