hdu 1269 迷宫城堡判断图是否强连通

最新推荐文章于 2022-09-08 21:26:18 发布

原创最新推荐文章于 2022-09-08 21:26:18 发布 · 381 阅读

0 ·

CC 4.0 BY-SA版权

——图论—— 同时被 2 个专栏收录

124 篇文章

订阅专栏

tarjan

23 篇文章

订阅专栏

本文介绍了一种基于Kosaraju思想的强连通图检测算法实现。该算法通过两次深度优先搜索（DFS），首先从任意顶点出发遍历整个图，再对转置图进行遍历验证是否所有顶点间都相互可达。文章提供了完整的C++代码实现。

利用kosaraju思想：如果有向图是强连通的，则从任意一个顶点开始s开始dfs，它可以访问到图的所有点，如果不能访问到所有点，图肯定不是强连通的。s能访问到图中所有点，不能说明其他任意顶点能访问到s。如果将图逆置，s仍能访问到所有点，说明原图中其他的顶点也能访问到s，图就是强连通的

#include<cstdio>
#include<cstring>
#include<vector>
using namespace std;
const int maxn = 10001;
vector<int> g[maxn];
vector<int> rg[maxn];
int vis[maxn];
int cnt;
void dfs_1(int i)
{
	vis[i]=1;
	for(int j=0;j<g[i].size();j++)
	{
		if(!vis[g[i][j]])
		dfs_1(g[i][j]);
	}
	cnt++;
}
void dfs_2(int i)
{
	vis[i]=1;
	for(int j=0;j<rg[i].size();j++)
	{
		if(!vis[rg[i][j]])
		dfs_2(rg[i][j]);
	}
	cnt++;
}
int main()
{
	int n,m,a,b;
	while(scanf("%d%d",&n,&m)&&(n!=0||m!=0))
	{
		for(int i=1;i<=n;i++)
		{
			g[i].clear();
			rg[i].clear();
		}
		cnt=0;
		for(int i=0;i<m;i++)
		{
			scanf("%d%d",&a,&b);
			g[a].push_back(b);
			rg[b].push_back(a);
		}
		memset(vis,0,sizeof(vis));
		dfs_1(1);
		if(cnt<n)
		{
			printf("No\n");
			continue;
		}
		cnt=0;
		memset(vis,0,sizeof(vis));
		dfs_2(1);
		if(cnt<n)
		printf("No\n");
		else
		printf("Yes\n");
	}
}