uva 12232 - Exclusive-OR(加权并查集)

题目链接：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 <cstdio>
#include <cstring>
#include <algorithm>

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;
}