求有向图的强连通分量及缩点（tarjan算法）

如果两个顶点可以相互通达，则称两个顶点强连通。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量。
那么给定一张图，该如何求出这张图的连通分量呢（同时也可以算出强连通分量）。
Tarjan算法是基于DFS的算法，每个强连通分量为搜索树中的一棵子树。搜索时，把当前搜索树中未处理的节点加入一个栈，回溯时可以判断栈顶到栈中的节点是否为一个强连通分量。
找寻强联通分量，将每个点都放入对应的连通块中：

#include <iostream>
#include <algorithm>
#include <vector>
#include <stack>
using namespace std;

vector<int> g[10005];
int vis[10005],dfn[10005],low[10005];
int scc[10005],c = 1;   //连通块的编号从1开始 
//dfn[i]表示i点第一次被搜索到的时间戳，low[i]表示这个点和它连通的点的最小时间戳
//vis[i]表示这个点是否在栈中 
stack<int> s;
int cnt = 0;  //时间戳 

void tarjan(int x)    //tarjan查找连通分量 
{
	dfn[x] = low[x] = ++cnt;
	s.push(x);
	vis[x] = 1;
	for (int i = 0; i < g[x].size(); i++)
	{
		int t = g[x][i];
		if( !dfn[t] )     //如果该点没有被搜过 
		{
			tarjan(t);
			low[x] = min(low[x],low[t]); //只有一种情况会更新：t这个点与x之前的点构成连通，那么t也一定与x连通
										 //否则low[t]一定会比low[x]大 
		}else if( vis[t] )   //如果该点已经在栈中了，说明该点与x连通 
		{
			low[x] = min(low[x],low[t]);   //那么我们更新x的时间戳即可 
		}
	} 
	if( dfn[x] == low[x] )    //在搜索了与x相邻的所有点后，如果dfn[x] == low[x]，那么这一定是一个强连通块 
	{ 						  //如果dfn[x] != low[x]，那么说明这个点一定与之前被访问的点是连通的，这时我们不选择输出答案。
							  //而是在最小的那个时间戳再输出，这样才能输出强连通分量 
		vis[x] = 0;
		scc[x] = c;         //将x置为连通块c 
		while( s.top() != x )    //如果栈顶元素不等于x的话，说明这个点与x一定是连通的。 
		{
			vis[s.top()] = 0;
			scc[s.top()] = c;   //同连通的点进入连通块c中 
			s.pop(); 
		}
		c ++;     //连通块个数++ 
		s.pop();   
	}
}

int main()
{
	int n,m;
	cin >> n >> m;
	for (int i = 0; i < m; i++)
	{
		int x,y;
		cin >> x >> y;
		g[x].push_back(y); 
	}
	for (int i = 1; i <= n; i++)
	{
		if( !dfn[i] ) tarjan(i);
	}
	for (int i = 1; i <= n; i++)
	{
		cout << scc[i] << endl;
	}	 
	return 0;
}

复杂度为O(V+E)

利用上面的连通块我们可以将图进行缩点
缩点就是把可以互相到达的点视为一个点

void compress(int n)    //缩点，在原图的基础上,将每一个点都变为它的连通分量 
{
	for (int i = 1; i <= n; i++)
	{
		for (int j = 0; j < g[i].size(); j++)    //在原图的基础上
		{
			int t = g[i][j];
			if( scc[i] != scc[t] )       //连通分量不同即可建边
			{
				g_new[scc[i]].push_back(scc[t]);   
			}
		}
	}
}

无向图找环缩点：
只要在有向图的基础上，加上到达这个点的父亲节点，让其无法往回走即可，即避免了两个点成环。注意这个与点双连通分量不同，这个删去一个点可能导致连通分量不连通，而点双连通分量任意删去一个点都连通。

void tarjan(int x,int fa)    
{
	dfn[x] = low[x] = ++cnt;
	s.push(x);
	vis[x] = 1;
	for (int i = 0; i < g[x].size(); i++)
	{
		int t = g[x][i];
		if( t == fa ) continue;
		if( !dfn[t] )   
		{
			tarjan(t,x);
			low[x] = min(low[x],low[t]); 
		}else if( vis[t] )   
		{
			low[x] = min(low[x],low[t]);   
		}
	} 
	if( dfn[x] == low[x] )    
	{
		vis[x] = 0;
		scc[x] = c;        
		while( s.top() != x )   
		{
			vis[s.top()] = 0;
			scc[s.top()] = c;  
			s.pop(); 
		}
		c ++;  
		s.pop();   
	}
}