C - 小希的迷宫

上次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 <stdio.h>
#include <algorithm>
#include <iostream>
#include <string.h>
using namespace std;
#define INF 0x3f3f3f3f
#define N 100005
int flag=0;
int f[N],vis[N];
int find(int x)
{
    return  x==f[x]?x:find(f[x]); 
} 
void merge(int x,int y)
{
    int tx=find(x);
    int ty=find(y);
    if(tx!=ty) f[ty]=tx;
    else flag=0;
    //如果两个点find(a)==find(b)
    //那么说明他们已经是一个集合的，出现回路 
}
int main()
{
    int a,b;
    while(cin>>a>>b)
    {
        if(a==0&&b==0)// if(是否是空图) 
        {
            cout<<"Yes\n";
            continue;
        }
        for(int i=0;i<N;i++)
        f[i]=i,vis[i]=0;
        if(a==-1&&b==-1) break;
        merge(a,b);
        flag=1;
        vis[a]=1;
        vis[b]=1;
        while(cin>>a>>b&&(a+b))
        {
            merge(a,b);
            vis[a]=1;
            vis[b]=1;
        }
        if(!flag)//if（出现回路） 
        {
            cout<<"No\n";
            continue;
        }
        else
        {
            int ans=0;
            for(int i=0;i<N;i++)
            {
                if(vis[i]&&f[i]==i)
                ans++;
            }
            if(ans==1)
            cout<<"Yes\n";
            else cout<<"No\n";
        }
    }
}