AT3913 XOR Tree（状压dp）

题目描述

给你一棵有$N$个节点的树，节点编号从$0$到$N-1$， 树边编号从$1$到$N-1$。第$i$条边连接节点$x_i$和$y_i$，其权值为$a_i$。

你可以对树执行任意次操作，每次操作选取一条链和一个非负整数$x$，将链上的边的权值与$x$异或成为该边的新权值。

问最少需要多少次操作，使得所有边的权值都为$0$。

输入格式

第1行有1个整数，代表树的节点数$N$。

接下来$N-1$行，每行有$3$个整数，第$i+1$行上的整数分别代表第$i$条边的参数$x_i,y_i,a_i$。

输出格式

仅1行1个整数，即最小操作数。

数据范围与说明

• $2\le N\le 10^5$
• $0\le x_i,y_i\le N-1$
• $0\le a_i\le 15$
• 保证给定的图是一棵树
• 保证输入数据都是整数

输入输出样例

输入 #1

5
0 1 1
0 2 3
0 3 6
3 4 4

输出 #1

3

输入 #2

2
1 0 0

输出 #2

0

题解

• 对于树上路径的操作的处理比较困难，我们考虑转换一下。
• 定义每个点的的点权为所以与这个点相连的边的权值的异或和，记为$val[i]$。然后我们会发现，如果我们更改$(u,v)$两点间的路径，最终只有$val[u],val[v]$的值发生了改变。 因为对于一条路径来说，出了两个端点外，每个点都与两条边相连。 而根据异或的性质，同一个数异或两边相同的数字，他的值不发生改变。 所以对于树上的操作可以等价于，在$val$序列最终任选两个数字，问最少几次操作可以把序列中的数字全部变为$0$。
• 我们观察一下题目的数据范围。($0\le a_i\le 15$) 我们可以发现最终的异或值最多只有$15$个。 （对于$=0$的情况不用操作）
• 并且我们可以把异或值相同的数字两两配对，因为他们只需一次操作就可以全部变为零。
• 而对于其他不能表示的数字，我们可以用一个二进制数，它的第$i$表示值为$i$的数字是否多余。（感性理解下）我们现在的操作就是针对于多余的数字的操作。
• 定义$f[s]$表示状态为$s$的最小操作次数。
• 我们可以枚举选择了那两个数字，假设我们选择了$i,j$。令$x=ixorj$这样我们便可以去掉一个值，这两个值变为$0,x$。
• 然后按$x$是否在原序列出现分类讨论即可 （具体可以看代码）

$code1$

#include <bits/stdc++.h> 
using namespace std; 
const int maxn = 1e5 + 100; 
const int maxm = 1 << 15 + 10; 
const int inf = 0x3f3f3f3f; 

int n, ans, state; 
int v[maxn], cnt[20], f[maxm]; 

int dp(int s) {
	if (!s) return 0; 
	if (f[s] < inf) return f[s]; 
	for (int i = 0; i <= 15; ++i) {
		if (!(s & (1 << i))) continue; 
		for (int j = 0; j <= 15; ++j) {
			if (i == j || !(s & (1 << j))) continue; 
			int x = i ^ j; 
			int y = s ^ (1 << i) ^ (1 << j) ^ (1 << x); 
			if (s & (1 << x)) f[s] = min(f[s], dp(y) + 2); 
			else f[s] = min(f[s], dp(y) + 1); 
		}
	}
	return f[s]; 
}

int main() {
	scanf("%d", &n); 
	for (int i = 1; i < n; ++i) {
		int x, y, z; 
		scanf("%d%d%d", &x, &y, &z); 
		x += 1, y += 1; 
		v[x] ^= z; v[y] ^= z; 
	}
	for (int i = 1; i <= n; ++i) cnt[v[i]]++; 
	for (int i = 1; i <= 15; ++i) {
		ans += (cnt[i] >> 1); 
		state += (cnt[i] & 1) * (1 << i); 
	}
	memset(f, 0x3f, sizeof(f)); 
	printf("%d\n", ans + dp(state)); 
	return 0; 
}

$code2$

#include <bits/stdc++.h> 
using namespace std; 
const int maxn = 1e5 + 100; 
const int maxm = 1 << 15 + 10;  

int n, ans, state, tot; 
int val[maxn], cnt[20], f[maxm], s[maxn], sum[maxm]; 
// sum表示每个集合的异或值
int main() {
	scanf("%d", &n); 
	for (int i = 1; i < n; ++i) {
		int x, y, z; 
		scanf("%d%d%d", &x, &y, &z); 
		x++, y++; 
		val[x] ^= z, val[y] ^= z; 
	}
	for (int i = 1; i <= n; ++i) cnt[val[i]]++; 
	ans = n; ans -= cnt[0]; 
	for (int i = 1; i <= 15; ++i) {
		ans -= cnt[i] / 2 ; 
		state |= (cnt[i] & 1) << (i - 1); 
	}
	tot = 1 << 15; 
	for (int i = 0; i < tot; ++i) {
		int tmp = 0; 	
		for (int j = 1; j <= 15; ++j) {
			if ((i >> (j - 1)) & 1) tmp ^= j; 
		}
		sum[i] = tmp; 
	}
	for (int i = 1; i < tot; ++i) {
		for (int j = i; j; j = (j - 1) & i) { // 枚举子集
			if (!sum[i]) f[i] = max(f[i], f[i ^ j] + 1); 
		}
	}
	ans -= f[state]; 
	printf("%d\n", ans); 
	return 0; 
}