tarjan算法模板、参考博客及例题（更新中）

最新推荐文章于 2023-01-15 01:00:21 发布

hobby_Z

最新推荐文章于 2023-01-15 01:00:21 发布

阅读量509

点赞数 3

分类专栏： Tarjan

本文链接：https://blog.csdn.net/h_bby/article/details/108350465

版权

本文介绍了Tarjan算法在求解强连通分量和割点问题上的应用。通过详细解释缩点过程和割点的判断，提供了相关例题和模板代码，帮助理解算法细节。涉及的题目包括HDU 2767, HDU 3836, HDU 1827, HDU 2586等。" 113893597,10539033,NiFi入门教程：数据流管理与MySQL、Hive集成,"['数据集成', 'NiFi框架', '数据库交互', 'Hadoop生态', '自动化数据处理']

摘要由CSDN通过智能技术生成

参考博客
注意参考博客中的裸题代码第55行应为：

if(!DFN[i])  tarjan(i);//当这个点没有访问过，就从此点开始。防止图没走完

题集
Accepted：
HDU 2767 , HDU 3836 , HDU 1827 , HDU 2586
求强连通模板

#include <queue>
#include <cstdlib>
#include <cmath>
#include <cstdio>
#include <string>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
typedef long long ll;
const int mn = 5e4+7;
vector<int> edge[mn];
int dfn[mn],low[mn];
int stc[mn],color[mn],cnt,color_num;
bool vis[mn];
void tarjan(int x)
{
   
	dfn[x]=low[x]=++cnt;
	vis[x]=true;
	stc[++stc[0]]=x;
	for(int i=0;i<edge[x].size();++i)
	{
   
		int v=a[x][i];
		if(!dfn[v]){
   
			tarjan(v);
			low[x]=min(low[x],low[v]);
		}else if(vis[v]){
   
			low[x]=min(low[x],dfn[v]);
		}
	}
	if(dfn[x]==low[x])
	{
   
		vis[x]=false;
		color_num++;
		color[x]=color_num;
		while(stc[stc[0]]!=x)
		{
   
			int v=stc[stc[0]];
			vis[v]=false;
			color[v]=color_num;//染色
			stc[0]--;
		}
		stc[0]--;
	}
}
int main()
{
   
	int n,m;	//n个点，m条边
	scanf("%d%d",&n,&m);
	int u,v;
	for(int i=1;i<=m;i++)
	{
   
		scanf("%d%d",&u,&v);
		edge[u].push_back(v);
	}
	for(int i=1;i<=n;i++)
	{
   
		if(!DFN[i]) tarjan(i);//若图是非联通的 
	}
	return 0;
}

关于缩点
在有环图中，通过将图中的强连通块缩成一个点，即可将原图缩成无环图（即树或森林）。
缩点方法：将不同的连通块染上不同的颜色，即模板中的color数组，color[ i ]中的 i 表示第 i 个点，color[ i ]的值表示第 i 个点的“颜色”。染完色后遍历所有的边，建立以颜色为点的图，若边连接不同的颜色，则在这两种颜色之间建边，连接相同的颜色则不建边，建完的图即为无环图。具体代码见例题：
洛谷 P2002（tarjan+缩点裸题）

#include <queue>
#include <cstdlib>
#include <cmath>
#include <cstdio>
#include <string>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
typedef long long ll;
const int mn = 1e5+2;
vector<int> edge[mn];
int dfn[mn],low[mn];
int stc[mn],color[mn],cnt,color_num;
bool vis[mn];
int ind[mn];//记录不同颜色的入度，入度为0即为一棵树的根，本题答案为树的个数
//tarjan模板：
void tarjan(int x)
{
   
	dfn[x]=low[x]=++cnt;
	vis[x]=true;
	stc[++stc[0]]=x;
	for(int i=0;i<edge[x].size();++i)
	{
   
		int v=edge[x][i];
		if(!dfn[v]){
   
			tarjan(v);
			low[x]=min(low[x],low[v]);
		}else if(vis[v]){
   
			low[x]=min(low[x],dfn[v]);
		}
	}
	if(dfn[x]==low[x])
	<