HDU - 1269 迷宫城堡(判断强连通)

题意：判断一个图是否为强连通图

题记：三种做法

做法一：暴力，直接dfs每个点判断是否能到达其他n-1个点。

#include<iostream>
#include<cstring>
using namespace std;
const int N=1e5+10;
struct Edge{
    int x,y,next;
}edge[N];
int head[N],vis[10010];
int n,m,cnt;

void dfs(int x){
    if(cnt==n-1) return ;
    for(int i=head[x];i!=-1;i=edge[i].next){
        int v=edge[i].y;
        //cout<<v<<endl;
        if(!vis[v]){
            vis[v]=1;
            cnt++;
            dfs(v);
        }
    }
}

int main(){
    while(cin>>n>>m){
        if(!n&&!m) break;
        int k=0;
        memset(head,-1,sizeof(head));
        for(int i=0;i<m;i++){
            int x,y;
            cin>>x>>y;
            edge[k].x=x;
            edge[k].y=y;
            edge[k].next=head[x];
            head[x]=k++;
        }
        int flag=1;
        for(int i=1;i<=n;i++){
            cnt=0;
            memset(vis,0,sizeof(vis));
            vis[i]=1;
            dfs(i);
            if(cnt<n-1){
                flag=0;
                break;
            }
        }
        if(flag) cout<<"Yes"<<'\n';
        else cout<<"No"<<'\n';
    }
    return 0;
}

做法二：Kosaraju

#include<bits/stdc++.h>
#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
using namespace std;
const int N=1e5+10;

struct Edge{
    int to,next;
}e1[N*10],e2[N*10];
int head1[N],head2[N],tot;
int vis[N],scc[N],cnt;
int n,m;
vector<int>s;
void init(){
    memset(head1,-1,sizeof(head1));
    memset(head2,-1,sizeof(head2));
    memset(vis,false,sizeof(vis));
    memset(scc,0,sizeof(scc));
    s.clear();
    cnt=0;
}

void addedge(int u,int v){
    e1[tot].to=v;
    e1[tot].next=head1[u];
    head1[u]=tot;
    e2[tot].to=u;
    e2[tot].next=head2[v];
    head2[v]=tot++;
}

void dfs1(int u){
    if(vis[u]) return ;
    vis[u]=true;
    for(int i=head1[u];~i;i=e1[i].next){
        int v=e1[i].to;
        dfs1(v);
    }
    s.push_back(u);
}

void dfs2(int u){
    if(scc[u]) return  ;
    scc[u]=cnt;
    for(int i=head2[u];~i;i=e2[i].next){
        int v=e2[i].to;
        dfs2(v);
    }
}

void kosaraju(){
    for(int i=1;i<=n;i++)
        dfs1(i);
    for(int i=n-1;i>=0;i--){
        //cout<<s[i]<<endl;
        if(!scc[s[i]]){
            ++cnt;
            dfs2(s[i]);
        }
    }
}

int main(){
    IOS;
    while(cin>>n>>m){
        if(n+m==0) break;
        init();
        while(m--){
            int u,v;
            cin>>u>>v;
            addedge(u,v);
        }
        kosaraju();
        //cout<<cnt<<endl;
        cout<<(cnt==1?"Yes":"No")<<endl;
    }
    return 0;
}

做法三：Tarjan

#include<bits/stdc++.h>

using namespace std;
const int N=1e4+10;
int n,m;
int cnt;
int low[N],num[N],dfn;
int scc[N],Stack[N],top;
vector<int>g[N];

void init(){
    for(int i=1;i<=n;i++) g[i].clear();
    cnt=top=dfn=0;
    memset(scc,0,sizeof(scc));
    memset(num,0,sizeof(num));
    memset(low,0,sizeof(low));
}

void addedge(int u,int v){
    g[u].push_back(v);
}

void dfs(int u){
    Stack[top++]=u;
    low[u]=num[u]=++dfn;
    for(int i=0;i<g[u].size();i++){
        int v=g[u][i];
        if(!num[v]){
            dfs(v);
            low[u]=min(low[v],low[u]);
        }
        else if(!scc[v])
            low[u]=min(low[u],num[v]);
    }
    if(low[u]==num[u]){
        cnt++;
        while(1){
            int v=Stack[--top];
            scc[v]=cnt;
            if(u==v) break;
        }
    }
}

void tarjan(){
    for(int i=1;i<=n;i++)
        if(!num[i])
            dfs(i);
}

int main(){
    while(cin>>n>>m){
        if(!n&&!m) break;
        init();
        while(m--){
            int u,v;
            cin>>u>>v;
            addedge(u,v);
        }
        tarjan();
        cout<<(cnt==1?"Yes":"No")<<endl;
    }
    return 0;
}