题目链接：uva 12232 - Exclusive-OR

题目大意：有n个数，一开始并不知道具体的值，现在进行Q次操作。

• I u k：au的值为k
• I u v k：au?av=k
• Q k q1q2…qk：求q1?q2…?qk
  对于Q操作不能确定的话输出"I don't know."
  对于I操作矛盾的话则输出是第几条I操作出现矛盾的，并且停止后面所有的操作。

  解题思路：加权并查集，f[x]表示x节点父亲节点，d[x]表示x节点与其父节点的亦或值，对于确定的节点值，可以将父亲节点设为0，这样的话在合并操作的时候就要注意，如果有一段0是父亲节点的话，就要将令一个节点指向0节点（也就是说0节点是固定不能有父亲节点的），一是在指向0节点的联通集合是确定值的，在查询是需要特判，二是进行第一种操作的时候方便处理。
  在查询时，需要将所有的数分成各个联通集合，如果存在联通集合的个数为奇数，并且根节点不为0的话就是不能确定值的，否则取所有节点与父亲节点的亦或值的亦或和即可。

  #include 
       
         #include 
        
          #include 
         
           using namespace std; const int maxn = 20005; const int maxm = 105; bool flag; int N, Q, f[maxn], d[maxn]; int getfar (int x) { if (x == f[x]) return x; int tmp = f[x]; f[x] = getfar(f[x]); d[x] ^= d[tmp]; return f[x]; } void query () { int n, ret = 0, num[maxm], vis[maxm]; memset(vis, 0, sizeof(vis)); scanf("%d", &n); for (int i = 0; i < n; i++) { scanf("%d", &num[i]); num[i]++; } if (flag) return; for (int i = 0; i < n; i++) { int root = getfar(num[i]), cnt = 1; if (root == 0 || vis[i]) continue; for (int j = i+1; j < n; j++) { if (getfar(num[j]) == root) { cnt++; vis[j] = 1; } } if (cnt&1) { printf("I don't know.\n"); return ; } } for (int i = 0; i < n; i++) ret ^= d[num[i]]; printf("%d\n", ret); } bool link () { char s[maxm]; gets(s); int u, v, k; int type = sscanf(s, "%d%d%d", &u, &v, &k); u++; if (type == 2) { k = v; v = 0; } else v++; int p = getfar(u); int q = getfar(v); if (p == 0) swap(p, q); if (p != q) { f[p] = q; d[p] = d[u]^d[v]^k; } else return (d[u]^d[v]) != k; return false; } int main () { int cas = 1; while (~scanf("%d%d", &N, &Q) && N) { printf("Case %d:\n", cas++); flag = false; memset(d, 0, sizeof(d)); for (int i = 0; i <= N; i++) f[i] = i; int ti = 0, u, v; char s[maxm]; for (int i = 0; i < Q; i++) { scanf("%s", s); if (s[0] == 'I') { ti++; if (link()) { flag = true; printf("The first %d facts are conflicting.\n", ti); } } else if (s[0] == 'Q') query(); } printf("\n"); } return 0; }