UVALive 4487 Exclusive-OR 加权并查集神题

#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;
const int N = 21000+20;
int f[N],v[N];
int vis[N],a[20];
int T=N-10;
void init(int n)
{
    for (int i=0;i<=n+1;i++){
        f[i]=i;
        v[i]=0;
        vis[i]=0;
    }
    f[T]=T;
    v[T]=0;
}
int findset(int x)
{
    if (x!=f[x]){
        int tmp=f[x];
        f[x]=findset(f[x]);
        v[x]^=v[tmp];//因为v[x]本身就包括了异或上一层父节点的值，此时与上一层再异或一次，就抵消了
    }
    return f[x];
}
bool uset(int p,int q,int val)
{
    int r1=findset(p);
    int r2=findset(q);
    if (r1==r2){
        if ((v[p]^v[q])!=val) return 0;
        else return 1;
    }
    if (r1==T) swap(r1,r2);
    f[r1]=r2;
    v[r1]=v[p]^v[q]^val;//这里要注意，实际V[r1]=xr1^xr2，而Vp和Vq包含这两项，并且用val把他们自身给抵消了，就剩下那两项了，异或确实是很奇妙
    return 1;
}
int main()
{
    int n,Q,p,q,val,kase=0;
    char ch[2];
    char s[40];
    while(scanf("%d%d",&n,&Q))
    {
        if (!(n+Q)) break;
        init(n);
        printf("Case %d:\n",++kase);
        bool err=0;
        int facts=0;
        for (int i=1;i<=Q;i++){
            scanf("%s",ch);
            if (ch[0]==‘I‘){
                facts++;
                gets(s);
                if (sscanf(s,"%d%d%d",&p,&q,&val)==2) {
                    val=q;q=T;
                }
                //cout<<p<<" "<<q<<" "<<val<<endl;
                if (err) continue;
                if (!uset(p,q,val)){
                    printf("The first %d facts are conflicting.\n",facts);
                    err=1;
                }
            }
            else {
                int k,ans=0;
                scanf("%d",&k);
                for (int i=1;i<=k;i++){
                    scanf("%d",&a[i]);
                    if(err) continue;
                    int r=findset(a[i]);
                    ans^=v[a[i]];
                    a[i]=r;
                    vis[r]^=1;
                }
                if (err) continue;
                bool flag=1;
                for (int i=1;i<=k;i++){
                    if (vis[a[i]]){//这里判断是否是奇数次
                        if (a[i]!=T){//如果奇数次是超级父节点，没关系，因为他的值已知
                            flag=0;
                        }
                         vis[a[i]]=0;
                    }
                }
                if (flag) printf("%d\n",ans);
                else printf("I don‘t know.\n");
            }
        }
        puts("");
    }
return 0;
}