标签：ch return dep int 异或 2019 ui 联考

XXXVI.[十二省联考2019]异或粽子

好像对可持久化结构有了新的认识（

首先，我们考虑，区间异或和，可以直接被转换为前缀异或和的异或和，即 \(s_r\operatorname{xor}s_{l-1}\)。于是我们考虑对于每个 \(s_r\) 找到与其异或起来最大的 \(s_{l-1}\)。

显然，可以建一棵可持久化01trie，每个位置的trie上记录了 \(s_{0\sim i-1}\)，然后只需用经典套路找出对于 \(s_r\) 最大的 \(s_{l-1}\) 即可。

现在考虑回答询问。依照某种套路，我们可以用一个堆维护对于每个 \(r\) 最大的 \(s_{l-1}\)，然后每次从堆中找到最大的 \(r\)，并且把这个 \(r\) 对应的次大的 \(l-1\) 找出来。

于是我们需要支持动态地从01trie上删数。

在普通01trie上这是很好做的；但是这里可持久化了，要是直接减少区间中数的个数可能会影响到之后的trie。

于是我们便想到，减少一个数时，额外再拷贝一条新链出来就行了。（只不过这样空间复杂度就是 \(32(n+q)\) 的，但此题空间一个 G，可以随意挥霍）

于是便做完了，时间复杂度 \(O(n\log n)\)。

代码：

#include<bits/stdc++.h>
using namespace std;
typedef unsigned int ui;
typedef long long ll;
int n,m,cnt,rt[500100];
struct Trie{
	int ch[2],sz;
}t[30001000];
const int LG=31;
ll res;
ui a[500100];
void ins(int &x,int y,ui z,int del,int dep){
	x=++cnt,t[x]=t[y],t[x].sz+=del;
	if(dep==-1)return;
	ins(t[x].ch[(z>>dep)&1],t[y].ch[(z>>dep)&1],z,del,dep-1);
}
ui findmx(int x,ui z,int dep){
	if(dep==-1)return 0;
//	printf("%d:(%d,%d):%u,%d\n",x,ch[x][0],ch[x][1],z,dep);
	if(t[t[x].ch[!((z>>dep)&1)]].sz)return findmx(t[x].ch[!((z>>dep)&1)],z,dep-1)+(1<<dep);
	return findmx(t[x].ch[(z>>dep)&1],z,dep-1);
}
void iterate(int x,int dep,ui val){
	if(!x)return;
	if(dep==-1){printf("(%u:%d)",val,t[x].sz);return;}
	iterate(t[x].ch[0],dep-1,val),iterate(t[x].ch[1],dep-1,val+(1<<dep));
}
priority_queue<pair<ui,int> >q;
int main(){
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++)scanf("%u",&a[i]),a[i]^=a[i-1],ins(rt[i],rt[i-1],a[i-1],1,LG),q.push(make_pair(findmx(rt[i],a[i],LG),i));
	while(m--){
		ui z=q.top().first;int i=q.top().second;
		q.pop();res+=z,ins(rt[i],rt[i],z^a[i],-1,LG);
		if(t[rt[i]].sz)q.push(make_pair(findmx(rt[i],a[i],LG),i));
	}
	printf("%lld\n",res);
	return 0;
}

标签：ch,return,dep,int,异或,2019,ui,联考
来源： https://www.cnblogs.com/Troverld/p/14612744.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。