有向图的强连通分量Kosaraju算法&&迷宫城堡 HDU - 1269

为了训练小希的方向感，Gardon建立了一座大城堡，里面有N个房间(N<=10000)和M条通道(M<=100000)，每个通道都是单向的，就是说若称某通道连通了A房间和B房间，只说明可以通过这个通道由A房间到达B房间，但并不说明通过它可以由B房间到达A房间。Gardon需要请你写个程序确认一下是否任意两个房间都是相互连通的，即：对于任意的i和j，至少存在一条路径可以从房间i到房间j，也存在一条路径可以从房间j到房间i。

Input

输入包含多组数据，输入的第一行有两个数：N和M，接下来的M行每行有两个数a和b，表示了一条通道可以从A房间来到B房间。文件最后以两个0结束。

Output

对于输入的每组数据，如果任意两个房间都是相互连接的，输出"Yes"，否则输出"No"。

Sample Input

3 3
1 2
2 3
3 1
3 3
1 2
2 3
3 2
0 0

Sample Output

Yes
No

#include <bits/stdc++.h>
using namespace std;
struct Edge
{
    int to,next;
} edge1[100009],edge2[100009];
int head1[100009],head2[100009];
bool mark1[100009],mark2[100009];
int tot1,tot2;
int cnt1,cnt2;
int st[100009];
void addedge(int u,int v)
{
    edge1[tot1].to=v;
    edge1[tot1].next=head1[u];
    head1[u]=tot1++;
    edge2[tot2].to=u;
    edge2[tot2].next=head2[v];
    head2[v]=tot2++;
}
void dfs1(int u)
{
    mark1[u]=true;
    for(int i=head1[u]; i != -1; i = edge1[i].next)
        if(!mark1[edge1[i].to])
            dfs1(edge1[i].to);
    st[cnt1++] = u;
}
void dfs2(int u)
{
    mark2[u] = true;
    for(int i = head2[u]; i != -1; i = edge2[i].next)
        if(!mark2[edge2[i].to])
            dfs2(edge2[i].to);
}
void solve(int n)
{
    memset(mark1,false,sizeof(mark1));
    memset(mark2,false,sizeof(mark2));
    cnt1 = cnt2 = 0;
    for(int i = 1; i <= n; i++)
        if(!mark1[i])
            dfs1(i);
    for(int i = cnt1-1; i >= 0 ; i--)
    {
        if(!mark2[st[i]])
        {
            dfs2(st[i]);
            cnt2++;
        }
    }
}
int main()
{
    int n,m,u,v;
    while(~scanf("%d %d",&n,&m))
    {
        if(n==0&&m==0)break;
        tot1=tot2=0;
        memset(head1,-1,sizeof(head1));
        memset(head2,-1,sizeof(head2));

        for(int j=1; j<=m; j++)
        {
            scanf("%d %d",&u,&v);
            addedge(u,v);
        }
        solve(n);
        if(cnt2==1)
            printf("Yes\n");
        else
            printf("No\n");
    }
    return 0;
}