HDU 3234 - Exclusive-OR(并查集)

题目：

http://acm.hdu.edu.cn/showproblem.php?pid=3234

题意：

n个数，R条指令。

I u w : 表示第u个数是w。

I u v w： 表示第u和v 个数的异或值是 w。

Q k （k个数的下标）：输出这k的数异或值。

思路：

并查集中，设fa[u]为u的祖先，val[u]为u与根异或的值。

若 fa[u] = fu, fa[v] = fv，那么 val[u] = val[u]^val[fu], val[v] = val[v]^val[fv], w = val[u]^val[v] ---》val[fu] = val[fu]^val[fv] = val[u]^val[v]^w.

给出单个节点u的值的话，另外建立一个新的节点n，将u与其合并，n作为所有节点的祖先。

在集合中，如果集合的根不为n，那么val[u] = val[u]^val[fa[u]]。如果集合个数为偶数的话，那么每一个节点与根的异或值异或起来刚好可以将根的值异或掉。所有对于询问中的集合而言，如果集合个数为奇数，那么无法得到答案，为偶数则可以。

AC.

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>

using namespace std;
const int maxn = 2e4+5;
int num[20];
int n;

int fa[maxn], val[maxn];
void init()
{
    for(int i = 0; i <= n; ++i) {
        val[i] = 0;
        fa[i] = i;
    }
}
int find(int v)
{
    if(v != fa[v]) {
        int t = fa[v];
        fa[v] = find(fa[v]);
        val[v] ^= val[t];
    }
    return fa[v];
}
bool unite(int u, int v, int w)
{
    int fu = find(u), fv = find(v);
    if(fu == fv) {
        return w == (val[u]^val[v]);
    }
    else {
        if(fu == n) swap(fv, fu);
        fa[fu] = fv;
        val[fu] = val[u]^val[v]^w;
        return true;
    }
}

int vis[maxn];
int query(int a)
{
    memset(vis, 0, sizeof(vis));
    int ans = 0, root, cnt;

    for(int i = 0; i < a; ++i) {
        if(vis[i]) continue;
        root = find(num[i]);
        cnt = 0;
        for(int j = i; j < a; ++j) {
            if(!vis[j] && find(num[j]) == root) {
                cnt++;
                vis[j] = 1;
                ans ^= val[num[j]];
            }
        }
        if(cnt%2 && root != n) return -1;
    }
    return ans;
}

int main()
{
   // freopen("in", "r", stdin);
    int Q;
    int cas = 0;
    while(~scanf("%d%d", &n, &Q)) {
        if(n == 0 && Q == 0) break;

        bool error = false;
        int ca = 0;
        init();
        printf("Case %d:\n",++cas);

        for(int q = 1; q <= Q; ++q) {
            char op[5], ch;
            int a, b, v;
            scanf("%s%d%d", op, &a, &b);

            if(op[0] == 'I') {
                ch = getchar();
                ca++;
                if(ch == ' ') {
                    scanf("%d", &v);
                    if(error) continue;
                    if(!unite(a, b, v)) {
                        printf("The first %d facts are conflicting.\n", ca);
                        error = true;
                    }
                }
                else {
                    if(error) continue;
                    if(!unite(n, a, b)) {
                        printf("The first %d facts are conflicting.\n", ca);
                        error = true;
                    }
                }
            }
            else {
                num[0] = b;
                for(int i = 1; i < a; ++i) {
                    scanf("%d", &num[i]);
                }
                if(error) continue;
                int ans = query(a);
                if(ans == -1) {
                    printf("I don't know.\n");
                }
                else {
                    printf("%d\n", ans);
                }
            }
        }
        printf("\n");
    }
    return 0;
}