[CSP-S模拟测试]:big（Trie树+贪心）
题目描述
你需要在$[0,2^n)$中选一个整数$x$，接着把$x$依次异或$m$个整数$a_1~a_m$。
在你选出$x$后，你的对手需要选择恰好一个时刻（刚选完数时、异或一些数后或是最后），将$x$变为$(\left \lfloor{\frac{2\times x}{2^n}}\right \rfloor \mod 2^n)$你想使$x$最后尽量大，而你的对手会使$x$最后尽量小。
你需要求出$x$最后的最大值，以及得到最大值的初值数量。
输入格式
第一行两个整数$n,m$。
第二行$m$个整数$a_1~a_m$。
输出格式
第一行输出一个整数，表示$x$最后的最大值。
第二行输出一个整数，表示得到最大值的初值数量。
第一个数正确得$6$分，两个数都正确再得$4$分。
样例
样例输入
2 3
1 2 3
样例输出
1
2
数据范围与提示
样例解释：
$x=0$时得到$0$，$x=1$时得到$1$，$x=2$时得到$1$，$x=3$时得到$0$。
数据范围：
对于$20\%$的数据，$n\leqslant 10$，$m\leqslant 100$。
对于$40\%$的数据，$n\leqslant 10$，$m\leqslant 1,000$。
对于另外$20\%$的数据，$n\leqslant 30$，$m\leqslant 10$。
对于$100\%$的数据，$n\leqslant 30$，$m\leqslant 100,000$，$0\leqslant a_i<2^n$。
题解
注意上面那个神奇的式子：$(\left \lfloor{\frac{2\times x}{2^n}}\right \rfloor \mod 2^n)$。
刚一看时一脸懵，定睛一看……还是一脸懵……
其实没有那么难，这道题就是将$x$进行了逻辑左移，其实就是说将$x$左移了一位，并将最高为补到了最后面。
那么我们来退一下式子：
先设$q[i]$表示$a$数组的异或前缀和，对手在$i$时刻使出“技能”。
那么：$ans=((x\ xor\ a_i)\ll 1)xor(a_i\ xor\ a_m)$。
展开：$ans=(x\ll 1)xor(a_i\ll 1)xor\ a_i\ xor\ a_m$。
那么我们需要找的是一个$x$使其$xor(a_i\ll 1)xor\ a_i\ xor\ a_m$最大。
一般碰到$01$串的题就考虑$Trie$树，这道题一样，我们来构建一个$01Trie$数，将所有$a_i$逻辑左移的值$xor$起来，注意对手可以在一开始就使用“技能”，所以一开始要插入，依次$xor$其后缀和插入$Trie$树，然后在这棵$Trie$树上跑$DFS$即可。
在$DFS$时分为一下三种情况：
$\alpha.$当前节点既有$0$孩子，也有$1$孩子时，需要往两侧走，$ans$不变。
$\beta.$如果有$0$儿子，没有$1$儿子，那么往$0$儿子走一定更优。
$\gamma.$如果有$1$儿子，没有$0$儿子，同理，不再赘述。
统计答案排个序就好了。
代码时刻
#include<bits/stdc++.h>
using namespace std;
int n,m;
int a[200000],sum[200000];
int trie[4000000][2],cnt=1;
int ans[4000000],ansss;
int flag;
void insert(int x)//插入
{
int num=1;
for(int i=1;i<=n;i++)
{
if(!trie[num][(x>>(n-i)&1)])trie[num][(x>>(n-i)&1)]=++cnt;
num=trie[num][(x>>(n-i)&1)];
}
}
void dfs(int x,int num,int dep)//dfs
{
if(dep<0)
{
ans[++ans[0]]=num;
return;
}
if(!trie[x][0]&&trie[x][1])dfs(trie[x][1],num^(1<<dep),dep-1);//三种情况
else if(trie[x][0]&&!trie[x][1])dfs(trie[x][0],num^(1<<dep),dep-1);
else{dfs(trie[x][0],num,dep-1);dfs(trie[x][1],num,dep-1);}
}
int main()
{
scanf("%d%d",&n,&m);
for(int i=1;i<=m;i++)
scanf("%d",&a[i]);
for(int i=m;i;i--)sum[i]=sum[i+1]^a[i];
for(int i=0;i<=m;i++)
{
flag=flag^(2*a[i]/(1<<n)+2*a[i])%(1<<n);//逻辑左移
insert(flag^sum[i+1]);//插入
}
dfs(1,0,n-1);
sort(ans+1,ans+ans[0]+1);
for(int i=ans[0];i;i--)
if(ans[i]==ans[ans[0]])ansss++;
else break;
printf("%d\n%d",ans[ans[0]],ansss);
return 0;
}
rp++
