AT3913 XOR Tree

AT3913 XOR Tree

题意

就是给你一棵树，树上的每一条边有一个权值($0\sim 15$)
每次可以选树上的一条路径，把路径上的每一条边都异或上一个值
问最少几次操作可以使所有边的边权都变为0

题解

首先是一个非常套路巧妙的问题转化

设每个点的权值为和它相邻的边的边权的异或和

发现要使边权的值为0的充要条件是所有点的点权都为0

具体的证明也十分简单，可以利用它是一棵树来证明

然后问题就转化为了给你若干$0\sim 15$的数，然后每次可以选两个数然后让它们异或上一个值。
相同的数可以直接取掉，0可以直接扔掉

然后剩下一些两两不同的数，直接状压DP即可

code：

#include<bits/stdc++.h>
#define N 200005
using namespace std;
int bitcount(int S) {
	int ret = 0;
	while(S) ret ++, S -= (S & (-S));
	return ret;
}
int check(int S) {
	int ret = 0;
	for(int i = 0; i < 15; i ++) if(S & (1 << i)) ret ^= (i + 1);
	return ret;
}
int n, d[N], cnt[N], f[N];
int main() {
	scanf("%d", &n);
	for(int i = 1; i < n; i ++) {
		int u, v, c;
		scanf("%d%d%d", &u, &v, &c);
		d[u] ^= c, d[v] ^= c;
	}
	for(int i = 0; i < n; i ++) cnt[d[i]] ++;
	int ans = 0, sta = 0;
	for(int i = 1; i < 16; i ++) ans += cnt[i] / 2, sta |= (cnt[i]&1) << (i - 1);
	memset(f, 0x3f, sizeof f);
	f[0] = 0;
	for(int S = 1; S < (1 << 15); S ++) { 
		if((sta & S) != S || check(S)) continue;
		f[S] = bitcount(S) - 1;
		for(int SS = S; SS; SS = (SS - 1) & S) if(!check(SS)){ 
			f[S] = min(f[S], f[SS] + f[S ^ SS]);
		}
	}
	int ret = 0;
	printf("%d", ans + f[sta]);
	return 0;
} 

总结

问题转换十分重要