hdu1269（Tarjan）

题目

判断有向图是否为强连通图

题解

Tarjan的模板题，没什么好解释的，记住每次都要进行初始化，只有联通分量个数等于1时，才能说明有向图是强连通图

我学习Tarjan算法的博客，真的讲的挺清楚的：Tarjan

#include<iostream>
#include<stack>
#include<vector>
using namespace std;
const int MAXM=10005; 
int n,m,cnt,cntb;
vector<int> edge[MAXM];
vector<int> belong[MAXM];
bool instack[MAXM];
int dfn[MAXM];
int low[MAXM];
stack<int> s;

void Tarjan(int u)
{
	++cnt;
	dfn[u]=low[u]=cnt;
	s.push(u);
	instack[u]=true; 
	for(int i=0;i<edge[u].size();++i)
	{
		int v=edge[u][i];
		if(!dfn[v])
		{
			Tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(instack[v])
			low[u]=min(low[u],dfn[v]);
	}
	if(dfn[u]==low[u])
	{
		++cntb;
		int node;
		do
		{
			node=s.top();
			s.pop();
			instack[node]=false;
			belong[cntb].push_back(node);
		}while(node!=u);
	}
}
void init()
{
	for(int i=0;i<=cntb;i++){
		belong[i].clear();
	}
	for(int i=1;i<=n;i++){
		edge[i].clear();
		dfn[i]=0;low[i]=0;instack[i]=0;
	}
	while(s.size()) s.pop();
	cntb=0;
}
int main()
{
	while(scanf("%d%d",&n,&m)==2&&n){
		init();
		int m1,m2,m3;
		for(int i=1;i<=m;i++){
			scanf("%d%d",&m1,&m2);
			edge[m1].push_back(m2);
		}
		for(int i=1;i<=n;i++){
			if(!dfn[i]){
				Tarjan(i);
			}
		}
		if(cntb==1){
			cout<<"Yes"<<endl;
		}
		else{
			cout<<"No"<<endl;
		}
	}
	return 0;
}