题目
判断有向图是否为强连通图
题解
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;
}