小希的迷宫（并查集 hdu1272）

Description

上次Gardon的迷宫城堡小希玩了很久（见Problem B），现在她也想设计一个迷宫让Gardon来走。但是她设计迷宫的思路不一样，首先她认为所有的通道都应该是双向连通的，就是说如果有一个通道连通了房间A和B，那么既可以通过它从房间A走到房间B，也可以通过它从房间B走到房间A，为了提高难度，小希希望任意两个房间有且仅有一条路径可以相通（除非走了回头路）。小希现在把她的设计图给你，让你帮忙判断她的设计图是否符合她的设计思路。比如下面的例子，前两个是符合条件的，但是最后一个却有两种方法从5到达8。 

 

Input

输入包含多组数据，每组数据是一个以0 0结尾的整数对列表，表示了一条通道连接的两个房间的编号。房间的编号至少为1，且不超过100000。每两组数据之间有一个空行。 
整个文件以两个-1结尾。 

 

Output

对于输入的每一组数据，输出仅包括一行。如果该迷宫符合小希的思路，那么输出"Yes"，否则输出"No"。 

 

Sample Input

6 8 5 3 5 2 6 4 5 6 0 0 8 1 7 3 6 2 8 9 7 5 7 4 7 8 7 6 0 0 3 8 6 8 6 4 5 3 5 6 5 2 0 0 -1 -1

Sample Output

Yes Yes No

题解：注意两个条件，一个是无环，一个是只有一条路径

代码如下：

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<string>
#include<cmath>
#include<map>
#include<stack>
#include<vector>
#include<queue>
#include<set>
#include<algorithm>
#define max(a,b)   (a>b?a:b)
#define min(a,b)   (a<b?a:b)
#define swap(a,b)  (a=a+b,b=a-b,a=a-b)
#define X (sqrt(5)+1)/2.0
#define maxn 320007
#define N 100000000
#define INF 0x3f3f3f3f
#define PI acos(-1)
#define lowbit(x) (x&(-x))
#define read(x) scanf("%d",&x)
#define put(x) printf("%d\n",x)
#define memset(x,y) memset(x,y,sizeof(x))
#define Debug(x) cout<<x<<" "<<endl
#define lson i << 1,l,m
#define rson i << 1 | 1,m + 1,r
#define mod 1000000009
#define e  2.718281828459045
#define eps 1.0e18
#define ll long long
using namespace std;

int a[100010],flag=1,cnt,vis[100010];
int findx(int x)
{
    int r=x;
    while(a[r]!=r)
        r=a[r];
    return r;
}
void fff(int x,int y)
{
    int fx,fy;
    fx=findx(x);
    fy=findx(y);
    if(fx!=fy)
        a[fx]=fy;
    else//如果两个点find(a)==find(b)，那么说明他们已经是一个集合的了，如果再连接a，b两个点，就会构成回路，这里也就是要输出no.
        flag=1;
}
int main()
{
    for(int i=0; i<100001; i++)
        a[i]=i;
    flag=cnt=0;
    memset(vis,0);
    int n,m;
    while(cin>>n>>m)
    {
        if(n==-1&&m==-1)
            break;
        if(m==0&&n==0)
        {
            int ans=0;
            for(int i=0; i<=cnt; i++)//我们要保证只有一个集合，所以我们这里首先要对出现过的点进行标记，然后从1到cnt这些个点都进行判断，如果标记过（表示这个点出现过）并且f[i]==i的话，那么就说明i现在是个祖宗，表示有一个集合了，这里如果集合大于1，那就说明要输出NO
                if(vis[i]&&a[i]==i)
                    ans++;
            if(!flag&&ans<=1)
                cout<<"Yes"<<endl;
            else
                cout<<"No"<<endl;
            for(int i=0; i<100001; i++)
                a[i]=i;
            flag=cnt=0;
            memset(vis,0);
            continue;
        }
        vis[m]=vis[n]=1;
        cnt=max(cnt,max(m,n));
        if(m!=n)
            fff(n,m);
    }
    return 0;
}