UVA 12232 - Exclusive-OR(带权并查集)

来源：互联网发布：我的世界手机版恐龙js 编辑：程序博客网时间：2024/06/04 18:08

UVA 12232 - Exclusive-OR

题目链接

题意：有n个数字，一开始值都不知道，每次给定一个操作，I a v表示确认a值为v，I a b v,表示确认a^b = v，Q k a1 a2 a3 ... ak，表示判断这些数字的异或值能否确定，能确定就输出值，如果有矛盾就停止

思路：带权并查集，权表示和父结点的异或值，那么多数判断的时候，只要所有数字和他的父结点的异或值的异或值，如果父结点的个数是偶数个，那么根据异或的性质能抵消掉，是可以判定的，如果不为偶数，就是不能判定。

注意第一种操作，要加个小处理，就是多一个虚拟结点，保证虚拟结点始终为根，虚拟结点代表0，这样只要连到虚拟结点上，第一种和第二种操作其实就是一样的了

代码：

#include <cstdio>#include <cstring>#include <algorithm>using namespace std;const int N = 20005;int n, qn, parent[N], val[N], vis[N];struct query {    char c;    int a, b, v, k, x[20];} q[2 * N];int find(int x) {    if (x == parent[x]) return x;    int tmp = parent[x];    parent[x] = find(parent[x]);    val[x] ^= val[tmp];    return parent[x];}void init() {    for (int i = 0; i <= n; i++) {parent[i] = i;val[i] = 0;    }    char Q[105];    for (int i = 0; i < qn; i++) {scanf("%s", Q);q[i].c = Q[0];int a, b, v;if (Q[0] == 'I') {    gets(Q);    if (sscanf(Q, "%d%d%d", &a, &b, &v) == 2) {v = b; b = n;    }    q[i].a = a; q[i].b = b; q[i].v = v;}else {    scanf("%d", &q[i].k);    for (int j = 0; j < q[i].k; j++)scanf("%d", &q[i].x[j]);}    }}void solve() {    int fir = 0;    for (int i = 0; i < qn; i++) {if (q[i].c == 'I') {    fir++;    int pa = find(q[i].a);    int pb = find(q[i].b);    if (pa == n) swap(pa, pb);    if (pa == pb) {if ((val[q[i].a]^val[q[i].b]) != q[i].v) {    printf("The first %d facts are conflicting.\n", fir);    return;}    }    else {parent[pa] = pb;val[pa] = val[q[i].a]^val[q[i].b]^q[i].v;    }}else {    int ans = 0;    for (int j = 0; j < q[i].k; j++) {int px = find(q[i].x[j]);ans ^= val[q[i].x[j]];if (px != n)    vis[px] ^= 1;    }    int flag = 1;    for (int j = 0; j < q[i].k; j++) {if (vis[parent[q[i].x[j]]])    flag = 0;vis[parent[q[i].x[j]]] = 0;    }    if (flag) printf("%d\n", ans);    else printf("I don't know.\n");}    }}int main() {    int cas = 0;    while (~scanf("%d%d", &n, &qn) && n) {init();printf("Case %d:\n", ++cas);solve();printf("\n");    }    return 0;}

1 0