AT3913-XOR Tree（压状DP，位运算）

题目链接：https://atcoder.jp/contests/apc001/tasks/apc001_f

AT3913-XOR Tree

压状DP，位运算
题目大意为给定一棵树，每条边有边权，一次操作可以将节点 $u$ 到 $v$ 路径上的边的边权异或上 $x$ ,问至少需要多少次操作可以将所有边的边权变为 $0$ 。
对于一次操作，若要修改一整条路径，显然不易维护边权，因为只涉及修改操作，这个地方可以参考差分的思路。若是对于链上的情况，可以对数列做一次异或差分，那么单次的修改就转换成了修改两个端点值。
那么对于在树上的情况，也考虑将修改转换为点权的修改。考虑到修改一条路径时，除了两个端点外，其余点的边都被修改了两次，根据异或的自反性，可以定义一个点的点权为所有与它相连的边的边权的异或和，那么修改一次路径，对于路径中的点，它的权值被异或了两次，权值不变，只有端点的权值会改变，那么修改一条路径的操作就可以转换为修改两个端点的权值。
那么计算出每个点的权值后，相等的权值可以直接相互抵消，因为 $0\le a_i\le 15$ ，最后剩下的数一定是 $1$ 到 $15$ 至多一个，那么问题即是最小的操作数将剩余的数变为 $0$ ，因为题目保证有解，剩下来数的异或和一定为 $0$ ，我们一定可以在 $n-1$ ，步操作内完成，但考虑若剩下来的数可以划分成多个异或和为 $0$ 的小集合，对于每个集合我们可以减少一次操作，所以这个地方的操作数不能简单地计算为 $n-1$ ，考虑 $a_i$ 的范围，可以用一个状压DP来处理操作数，具体实现见代码。

#include<bits/stdc++.h>
#define next next_
#define last last_
#define y1 yy
#define hash hash_
#define complex complex_
using namespace std;

using ll=long long;
using ull=unsigned long long;
using pii=pair<int,int>;
using pll=pair<ll,ll>;

ll mod=1e9+7,mod2=1e9+9;
const ull base=101;
const double pi=acos(-1.0);
int _;

int n,a[100010],num[22];
int u[200010],v[200010],w[200010],next[200010],first[100010];
int f[67010];

int search(int s){
	if(f[s]!=1061109567) return f[s];
	for(int i=1;i<16;i++)
		foR(int j=i+1;j<16;j++)
			if(((s>>i)&1)&&((s>>j)&1)){//若数字i，j都存在，同时异或上一个i
				if((s>>(i^j))&1) f[s]=min(f[s],search(s^(1<<i)^(1<<j)^(1<<(i^j)))+2);//异或后结果为0和i^j，若i^j原本存在，则再进行一次操作将两个相同的i^j消去，操作数+2
				else f[s]=min(f[s],search(s^(1<<i)^(1<<j)^(1<<(i^j)))+1);//若i^j原本不存在，则继续搜索，操作数+1
			}
	return f[s];
}

void work(){
	memset(first,-1,sizeof(first));
	scanf("%d",&n);
	for(int i=0;i<n-1;i++){
		scanf("%d%d%d",&u[2*i],&v[2*i],&w[2*i]);
		u[2*i]++;v[2*i]++;
		u[2*i+1]=v[2*i];v[2*i+1]=u[2*i];w[2*i+1]=w[2*i];
		next[2*i]=first[u[2*i]];
		first[u[2*i]]=2*i;
		next[2*i+1]=first[u[2*i+1]];
		first[u[2*i+1]]=2*i+1;
	}
	foR(int i=1;i<=n;i++){
		int k=first[i];
		while(k!=-1){
			a[i]^=w[k];
			k=next[k];
		}
	}
	int sum=0;
	foR(int i=1;i<=n;i++) num[a[i]]++;
	for(int i=1;i<16;i++) sum+=num[i]/2,num[i]%=2;
	memset(f,127/2,sizeof(f));
	f[0]=0;
	int ans=0;
	for(int i=1;i<16;i++) iF(num[i]) ans|=(1<<i);//ans每一位代表该数字存不存在
	printf("%d",sum+search(ans));
}

int main(){
	_=1;
	// cin>>_;
	// scanf("%d",&_);
	while(_--){
		work();
		// if(_) printf("\n");
	}
	return 0;
}