codeforces888G. Xor-MST

题意：每条边的权值是两个点之间的异或，求最小生成树

---

这题要用到Sollin的思想，即每次找一个和他相距最近的联通块连边
根据异或的性质，先建一颗01树。
对于一颗树的子树来说，显然在子树内就会连成一个联通块。
所以每次把在大儿子里查询小儿子xor大儿子节点最小的代价
然后启发式合并

#include <cstdio>
#include <vector>
#include <algorithm>
using namespace std;
#define int long long 
const int N=2e5+7;
struct tire {
	int s[2];
}tr[N*32];
int n,T=1,ans;
int a[N],sd[N*32];
vector<int> v[N];
void insert(int x,int id) {
	int rt=1;
	for (int i=30;~i;i--) {
		int k=x>>i&1;
		if (!tr[rt].s[k]) tr[rt].s[k]=++T;
		rt=tr[rt].s[k];
	}
	sd[rt]=id;
	v[id].push_back(x);
}
int find(int rt,int x,int dep) {
	int ans=0;
	for (int i=dep-1;~i;i--) {
		int k=x>>i&1;
		if (!tr[rt].s[k]) ans|=1<<i,k^=1;
		rt=tr[rt].s[k];
	}
	return ans|(1<<dep);
}
void dfs(int x,int dep) {
	if (!x || !dep) return;
	int ls=tr[x].s[0],rs=tr[x].s[1];
	dfs(ls,dep-1);dfs(rs,dep-1);
	if (!ls || !rs) {
		sd[x]=sd[ls+rs];
		return;
	}
	int ld=sd[ls],rd=sd[rs];
	if (v[ld].size()<v[rd].size()) swap(ls,rs),swap(ld,rd);
	int res=1e9;
	for (int i=0;i<v[rd].size();i++) {
		res=min(res,find(ls,v[rd][i],dep-1));
		v[ld].push_back(v[rd][i]);
	}
	ans+=res;
	sd[x]=ld;
}
signed main() {
	scanf("%lld",&n);
	for (int i=1;i<=n;i++) scanf("%lld",&a[i]);
	sort(a+1,a+n+1);
	for (int i=1;i<=n;i++) if (a[i]!=a[i-1]) insert(a[i],i);
	dfs(1,31);
	printf("%lld\n",ans);
}