Codeforces-1625D：Binary Spiders（Trie树优化DP）

题目链接

题意

给出 $n$ 个整数，选出尽可能多的数，被选出的数必须满足两两异或不小于 $k$

题解

首先要知道 $n$ 个数中任选 $2$ 个数异或的最小值一定等于：将这 $n$ 个数排序后，所有相邻 $2$ 个数的异或值中的最小值。

如何证明呢？我只需要证明从 $n$ 个数中取任意 $3$ 个正整数 $a,b,c(a<b<c)$ (等于的情况不需考虑)，均满足 $a⨁b<a⨁c$ 或者 $b⨁c<a⨁c$，即一定存在相邻2个数异或值小于不相邻的2个数的异或值。

假设 $a,c$ 的第 $i$ 个 $bit$ 位分别为 $a_i,c_i$，那么从高位枚举至低位，当 $a_k$ 第一次不等于 $c_k$ 时，$a_k=0,c_k=1$，若此时 $b_k=0$ 那么就有 $a⨁b<a⨁c$；若 $b_k=1$ 那么就有 $b⨁c<a⨁c$，至此证明完成。

回到题目，有了上面的结论，我们可将 $a$ 从小到大排序，用 $f_i$ 表示以 $a_i$ 为最大值结尾的最大集合大小，则 $f_i=max(f_j+1)(a_i⨁a_j\ge k)$

代码

#include<bits/stdc++.h>
#define Pii pair<int,int>
#define fi first
#define se second
using namespace std;
const int N=3e5+9;
int n,k,cnt=1;
int son[N*31][2],g[N*31],f[N],pre[N];
Pii a[N];

int main()
{
	ios_base::sync_with_stdio(false); cin.tie(0); cout.tie(0);
	cin>>n>>k;
	for(int i=1;i<=n;i++)
		cin>>a[i].fi,a[i].se=i;
	sort(a+1,a+1+n);
	for(int i=1;i<=n;i++)
	{
		int rt=1,p=0;
		for(int j=30;j>=0&&rt;j--)
		{
			int aj=a[i].fi>>j&1,kj=k>>j&1;
			if(!kj)
			{
				if(f[p]<f[g[son[rt][aj^1]]]) p=g[son[rt][aj^1]];
				rt=son[rt][aj];
			}
			else rt=son[rt][aj^1];
			if(j==0&&f[g[rt]]>f[p]) p=g[rt];
		}
		f[i]=f[p]+1; pre[i]=p;
		rt=1;
		for(int j=30;j>=0;j--)
		{
			int aj=a[i].fi>>j&1;
			if(!son[rt][aj]) son[rt][aj]=++cnt;
			rt=son[rt][aj];
			if(f[g[rt]]<f[i]) g[rt]=i;
		}
	}
	int i=max_element(f+1,f+1+n)-f;
	if(f[i]==1) return cout<<"-1\n",0;
	cout<<f[i]<<"\n";
	while(i) cout<<a[i].se<<" ",i=pre[i];
	return 0;
}