【题解】Luogu P5283 [十二省联考2019]异或粽子

原题传送门

看见一段的异或和不难想到要做异或前缀和\(s\)

我们便将问题转化成：给定\(n\)个数，求异或值最靠前的\(k\)对之和

我们珂以建一个可持久化01trie，这样我们就珂以求出每个值\(s[a]\)与之前所有的值异或值最大的值\(b\)是多少，把这些所有\((b,a)\)塞进一个堆中

每次从堆顶取元素，设这个元素为\((b,a)\)，要将\(b\)加入答案，并且在版本\(a\)的01trie中减去\(s[a]\)^\(b\)，再取出\(s[a]\)与01trie中的数异或最大值（原来的次大值）\(c\)，把\((c,a)\)塞进这个堆中

重复做k次即可得到答案

#include <bits/stdc++.h>
#define N 500005
#define uint unsigned int
#define ll long long
#define getchar nc
using namespace std;
inline char nc(){
    static char buf[100000],*p1=buf,*p2=buf;
    return p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
}
inline uint read()
{
    register uint x=0;register char ch=getchar();
    while(ch<'0'||ch>'9')ch=getchar();
    while(ch>='0'&&ch<='9')x=(x<<3)+(x<<1)+ch-'0',ch=getchar();
    return x;
}
inline void write(register ll x)
{
    if(!x)putchar('0');if(x<0)x=-x,putchar('-');
    static int sta[20];register int tot=0;
    while(x)sta[tot++]=x%10,x/=10;
    while(tot)putchar(sta[--tot]+48);
}
int n,k;
ll ans=0;
uint a[N],b[N];
priority_queue< pair<ll,ll> > q;
struct node{
	int sum,ch[2];
}tr[N*60];
int root[N],tot;
inline void update(register int &x,register int pre,register uint val,register int dep)
{
	x=++tot;
	tr[x]=tr[pre];
	++tr[x].sum;
	if(dep==-1)
		return;
	if((1ll<<dep)&val)
		update(tr[x].ch[1],tr[pre].ch[1],val,dep-1);
	else	
		update(tr[x].ch[0],tr[pre].ch[0],val,dep-1);
}
inline uint query(register int x,register uint val,register int dep)
{
	if(dep==-1)
		return 0;
	if(val&(1ll<<dep))
	{
		if(tr[tr[x].ch[0]].sum)
			return query(tr[x].ch[0],val,dep-1);
		else
			return query(tr[x].ch[1],val,dep-1)+((uint)1<<dep);
	}
	else
	{
		if(tr[tr[x].ch[1]].sum)
			return query(tr[x].ch[1],val,dep-1)+((uint)1<<dep);
		else
			return query(tr[x].ch[0],val,dep-1);
	}
}
inline void modify(register int &x,register int pre,register uint val,register int dep)
{
	x=++tot;
	tr[x]=tr[pre];
	--tr[x].sum;
	if(dep==-1)
		return;
	if((1ll<<dep)&val)
		modify(tr[x].ch[1],tr[pre].ch[1],val,dep-1);
	else	
		modify(tr[x].ch[0],tr[pre].ch[0],val,dep-1);
}
int main()
{
	n=read(),k=read();
	b[0]=0;
	for(register int i=1;i<=n;++i)
	{
		a[i]=read();
		b[i]=b[i-1]^a[i];
	}
	for(register int i=1;i<=n;++i)
		update(root[i],root[i-1],b[i-1],31);
	for(register int i=1;i<=n;++i)
	{
		uint tmp=query(root[i],b[i],31);
		q.push(make_pair(tmp^b[i],i));
	}
	while(k--&&!q.empty())
	{	
		pair<ll,ll> tmp=q.top();
		q.pop();
		ans+=tmp.first;
		int pos=tmp.second;
		modify(root[pos],root[pos],tmp.first^b[pos],31);
		if(!tr[root[pos]].sum)
			continue;
		uint tmpp=query(root[pos],b[pos],31);
		q.push(make_pair(b[pos]^tmpp,pos));
	}
	write(ans);
	return 0;
}