AT3913 XOR Tree（边权转点权 + 状压 dp）

Description

给定一棵 $n$ 个点的树，每次操作可以选择两个点 $x$ 和 $y$ ，让 $x\to y$ 的路径上的边权异或上一个随意的非负整数。求至少几次操作才能让树的边权都为 $0$。

$1\le n\le 2\times 10^5,0\le a_i\le 15$。

Solution

状压 dp，$n$ 是人类迷惑行为。

在边上处理太复杂了，那么能不能将边权转换为点权呢？可以发现，如果将每个点的点权设为它的出边的异或和，那么对于一条路径，中间的每个点都有两个在路径上的出边，因为 $a\oplus x\oplus x=a$，所以中间的点抵消点权不变，而两个端点异或了 $x$。

把点权 $\ne 0$ 的点放在序列上，那么问题转换成了：每次操作找出序列的两个数异或上 $x$，求让序列全为 $0$ 的最少操作次数。将相同的数配对，因为一次操作可以让它们为 $0$。因为 $0\le a_i\le 15$，在配对完后，我们得到了一个集合，最多有 $15$ 个元素且值域在 $[1,15]$。

因为 $a\oplus x\oplus x=a$，所以集合的异或和不变。这样意味着，如果一个子集能通过操作使得所有的数为 $0$，必须满足子集的异或和为 $0$。在这个前提下，有一个重要的性质：集合 $S$ 如果有方案使得其全为 $0$，那么需要 $|S|-1$ 次操作。

略证：对于集合 $S$，将 $(S_1,S_2)\oplus S_1$，得到新的 $S_2$，再将 $(S_2,S_3)\oplus S_2$，得到新的 $S_3$，重复进行下去，直到 $(S_{n-1},S_n)\oplus S_{n-1}{S}_{n-1}={\oplus }_{s=1}^{n-1}{S}_i$，因为有方案所以 ${\oplus }_{s=1}^n{S}_i=0$，又因为 $a\oplus a=0$，所以得到的 $S_n=0$。一共进行了 $|S|-1$ 次操作。

也就是说，一个异或和为 $0$ 的子集需要 $|S|-1$ 次操作，那么要将集合分成尽可能多的这样的子集。可以预处理出集合每个数状态的异或和，然后枚举子集转移。

时间复杂度为 $O(3^{16}+n)$。

Code

#include <bits/stdc++.h> 
using namespace std; 
const int N = 1e5 + 5, M = (1 << 15);
int val[N], cnt[N], sum[M], f[M];
int main() {
	int n; scanf("%d", &n); 
    for (int i = 1; i < n; ++i) {
        int x, y, z; scanf("%d%d%d", &x, &y, &z); 
        val[++x] ^= z, val[++y] ^= z; 
    }
    for (int i = 1; i <= n; ++i) cnt[val[i]]++; 
    int ans = n - cnt[0], mask = 0;
    for (int i = 1; i <= 15; ++i) {
        ans -= cnt[i] / 2 ; 
        mask |= (cnt[i] & 1) << (i - 1); 
    }
    for (int i = 0; i < (1 << 15); ++i) 
        for (int j = 1; j <= 15; ++j) 
            if (i & (1 << (j - 1))) sum[i] ^= j; 
    for (int i = 1; i < (1 << 15); ++i) 
        for (int j = i; j; j = (j - 1) & i) 
            if (!sum[i]) f[i] = max(f[i], f[i ^ j] + 1); 
    printf("%d\n", ans - f[mask]); 
    return 0; 
}