HDU1269 迷宫城堡（tarjan判断强连通）

最新推荐文章于 2021-04-20 15:33:14 发布

l04205613

最新推荐文章于 2021-04-20 15:33:14 发布

阅读量1.9k

点赞数 1

CC 4.0 BY-SA版权

分类专栏：图论文章标签： struct

本文链接：https://blog.youkuaiyun.com/l04205613/article/details/6651663

图论专栏收录该内容

58 篇文章

订阅专栏

本文介绍了一个使用Tarjan算法判断图是否为强连通图的方法。通过实现Tarjan算法的代码，文章详细解释了如何构建图的数据结构，并利用该算法进行强连通分量的查找。最终，根据强连通分量的数量来判断整个图是否构成一个强连通图。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

裸的判断强连通，如果整个图中只有一个强连通分量，就“Yes”，否则“No”

tarjan的代码：

#include<cstdio>
#include<cstring>
#include<stack>
using namespace std;

const int N = 10001;

struct Edge{
	int s,e,next;
}edge[10*N];

int n,m,e_num,vis_num,cnt,head[N],instack[N],low[N],tim[N];

void AddEdge(int a,int b){
	edge[e_num].s=a; edge[e_num].e=b; edge[e_num].next=head[a]; head[a]=e_num++;
}

void getmap(){
	int a,b;
	memset(instack,0,sizeof(instack));
	memset(low,0,sizeof(low));
	memset(tim,-1,sizeof(tim));

	e_num=0;
	memset(head,-1,sizeof(head));
	while(m--){
		scanf("%d%d",&a,&b);
		AddEdge(a,b);
	}
}

stack <int> st;
void tarjan(int x){
	int j;
	tim[x]=low[x]=++vis_num;
	instack[x]=1;
	st.push(x);
	for(j=head[x];j!=-1;j=edge[j].next){
		int u=edge[j].e;
		if(tim[u]==-1){
			tarjan(u);
			if(low[x]>low[u])low[x]=low[u];
		}
		else if(instack[u] && low[x]>tim[u])low[x]=tim[u];
	}
	if(low[x]==tim[x]){
		cnt++;
		do{
			j=st.top();
			st.pop();
			instack[j]=0;
		}while(j!=x);
	}
}

void solve(){
	int i;
	vis_num=cnt=0;
	for(i=1;i<=n;i++){
		if(tim[i]==-1)tarjan(i);
	}
	if(cnt==1)printf("Yes\n");
	else printf("No\n");
}
int main()
{
	while(scanf("%d%d",&n,&m),n+m)
	{
		getmap();
		solve();
	}
	return 0;
}