可持久化0-1Trie树
我跟可持久化数据结构杠上了 \(QwQ\) 。三天模拟赛考了两次可持久化数据结构(主席树、可持久化0-1Trie树),woc。
目录:
- 个人理解
- 时空复杂度分析
- 例题及简析
一、个人理解
可持久化0-1Trie树,是一种可以快速查询区间异或信息的高级数据结构。
它的主要思想和主席树相同,即保存每次插入操作的历史版本,来快速查询区间的异或信息。
0-1Trie树和平常写的strTrie树相同,都是维护前缀信息的数据结构。不同点只有一个,就是0-1Trie树是维护一个0-1串。可持久化0-1Trie树运用了贪心的思想,即将序列里的 \(X\) 按二进制为拆分,若当前 \(X_i\) (指 \(X\) 二进制拆分后的第 \(i\) 位)是1,我们就往0-1Trie树的0边走;反之就往0-1Trie树的1边走。
可持久化0-1Trie树与主席树相同,也需要动态开点。
注意:维护区间异或信息的不止可持久化0-1Trie树一种,还有线性基等。
二、时空复杂度分析:
时间复杂度:
与普通0-1Trie树相同:\(O(n\log n)\) 。
注:strTrie树的时间复杂度是 \(O(n)\) ,是一种典型的以时间换空间的算法。
空间复杂度:
与普通的0-1Trie树相同:\(O(\min\{n\log |f(a_i)|,|f(a_i)|\})\) ( \(|f(a_i)|\) 为值域)。注意常数为 \(2^5\) (1<<5
)。
三、例题及简析
-
Description:
给定数列 \(\{a_n\}\) ,支持两种操作:
在数列尾添加一个数 \(x\) ,数列长度变成 \(n+1\) ;
给定闭区间 \([l,r]\) 和一个数 \(x\) ,求:
\[\max_{i=l}^{r}\left \{\left(\bigoplus_{j=i}^{n}a_j \right)\bigoplus x\right \}
\]
Method:
定义 \(Xorsum_i\) 为 \(\bigoplus_{i=1}^{n}a_i\) ,即前缀异或和。我们显然可以得到
\[\left(\bigoplus_{i=pos}^{n}a_i\right)\bigoplus x=Xorsum_{pos-1}\bigoplus Xorsum_n \bigoplus x
\]注:\(x\bigoplus x=0\) , \(x \bigoplus 0=x\) 。
我们发现 \(Xorsum_n\bigoplus x\) 是一个定值,我们只需要维护 \(Xorsum_{pos-1}\) 即可。
考虑用可持久化0-1Trie树维护。与主席树思路相同 ,我们建立 \(n+1\) 个版本的0-1Trie树,查询的时候运用贪心的思路即可。
可持久化线段树同样支持“前缀和”的思想,我们最后只需要在第 \(r\) 个版本的0-1Trie树上查找 \(l\) 位置即可。
本题毒瘤卡常,本人人丑常数大,用了
fread
等各种卡常操作才通过。并且由于luogu评测姬的原因(大雾,已经通过的代码又会T掉woc。卡不过的话,开o2
吧。Code:
#include<bits/stdc++.h>
#define Maxn 600010
#define Maxdep 23
#define getchar()(p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++)
char buf[1<<21],*p1=buf,*p2=buf;
inline void read(int &x)
{
int f=1;x=0;char s=getchar();
while(s<'0'||s>'9'){if(s=='-')f=-1;s=getchar();}
while(s>='0'&&s<='9'){x=x*10+s-'0';s=getchar();}
x*=f;
}
int n,m;
int sum[Maxn];
struct trie
{
trie *chd[2];
int symbl;
trie()
{
for(int i=0;i<2;i++) chd[i]=NULL;
symbl=0;
}
}*root[Maxn],tree[Maxn<<5],*tail;
void Init(){tail=tree;}
void build(trie *&p,int dep)
{
p=new (tail++)trie();
if(dep<0) return ;
build(p->chd[0],dep-1);
}
void update(trie *&p,trie *flag,int dep,int i)
{
p=new (tail++)trie();
if(flag) *p=*flag;
if(dep<0) return (void)(p->symbl=i);
int tmp=(sum[i]>>dep)&1;//判断是1还是0
if(!tmp) update(p->chd[0],flag?flag->chd[0]:NULL,dep-1,i);
else update(p->chd[1],flag?flag->chd[1]:NULL,dep-1,i);
if(p->chd[0]) p->symbl=std::max(p->symbl,p->chd[0]->symbl);
if(p->chd[1]) p->symbl=std::max(p->symbl,p->chd[1]->symbl);
}
int query(trie *p,int x,int dep,int limit)
{
if(dep<0) return sum[p->symbl]^x;
int tmp=(x>>dep)&1;
if(p->chd[tmp^1]&&p->chd[tmp^1]->symbl>=limit) return query(p->chd[tmp^1],x,dep-1,limit);
return query(p->chd[tmp],x,dep-1,limit);
}
signed main()
{
Init();
read(n),read(m);
build(root[0],Maxdep);
for(int i=1,x;i<=n;i++)
{
read(x);
sum[i]=sum[i-1]^x;
update(root[i],root[i-1],Maxdep,i);
}
for(int i=1;i<=m;i++)
{
char ch=getchar();
while(ch!='A'&&ch!='Q') ch=getchar();
if(ch=='A')
{
int x;
read(x);
n++;
sum[n]=sum[n-1]^x;
update(root[n],root[n-1],Maxdep,n);
continue;
}
if(ch=='Q')
{
int l,r,x;
read(l),read(r),read(x);
int ans=query(root[r-1],sum[n]^x,Maxdep,l-1);
printf("%d\n",ans);
continue;
}
}
return 0;
}
可持久化0-1Trie树的更多相关文章
- 【可持久化0/1Trie】【P4735】最大异或和
Description 给定一个长度为 \(n\) 的序列 \(A\),有 \(m\) 次操作,每次要么在序列尾部再添加一个数,将序列长度 \(n\) 加一,要么给进行一次查询,给定查询参数 \(l, ...
- Codeforces Round #367 (Div. 2) D. Vasiliy's Multiset (0/1-Trie树)
Vasiliy's Multiset 题目链接: http://codeforces.com/contest/706/problem/D Description Author has gone out ...
- [Codeforces757G]Can Bash Save the Day?——动态点分治(可持久化点分树)
题目链接: Codeforces757G 题目大意:给出一棵n个点的树及一个1~n的排列pi,边有边权,有q次操作: 1 l r x 求 $\sum\limits_{i=l}^{r}dis(p_{i} ...
- 51nod 1295 XOR key 可持久化01字典树
题意 给出一个长度为\(n\)的正整数数组\(a\),再给出\(q\)个询问,每次询问给出3个数,\(L,R,X(L<=R)\).求\(a[L]\)至\(a[R]\)这\(R-L+1\)个数中, ...
- 【CF757G】Can Bash Save the Day? 可持久化点分树
[CF757G]Can Bash Save the Day? 题意:给你一棵n个点的树和一个排列${p_i}$,边有边权.有q个操作: 1 l r x:询问$\sum\limits_{i=l}^r d ...
- HDU 6191 2017ACM/ICPC广西邀请赛 J Query on A Tree 可持久化01字典树+dfs序
题意 给一颗\(n\)个节点的带点权的树,以\(1\)为根节点,\(q\)次询问,每次询问给出2个数\(u\),\(x\),求\(u\)的子树中的点上的值与\(x\)异或的值最大为多少 分析 先dfs ...
- 洛谷P3919 【模板】可持久化数组 [主席树]
题目传送门 可持久化数组 题目描述 如题,你需要维护这样的一个长度为 $N$ 的数组,支持如下几种操作 在某个历史版本上修改某一个位置上的值 访问某个历史版本上的某一位置的值 此外,每进行一次操作(对 ...
- P5283 [十二省联考2019]异或粽子 可持久化01Trie+线段树
$ \color{#0066ff}{ 题目描述 }$ 小粽是一个喜欢吃粽子的好孩子.今天她在家里自己做起了粽子. 小粽面前有 \(n\) 种互不相同的粽子馅儿,小粽将它们摆放为了一排,并从左至右编号为 ...
- luogu 2483 K短路 (可持久化左偏树)
题面: 题目大意:给你一张有向图,求1到n的第k短路 $K$短路模板题 假设整个图的边集为$G$ 首先建出以点$n$为根的,沿反向边跑的最短路树,设这些边构成了边集$T$ 那么每个点沿着树边走到点$n ...
- luogu P6088 [JSOI2015]字符串树 可持久化trie 线段树合并 树链剖分 trie树
LINK:字符串树 先说比较简单的正解.由于我没有从最简单的考虑答案的角度思考 所以... 下次还需要把所有角度都考察到. 求x~y的答案 考虑 求x~根+y~根-2*lca~根的答案. 那么问题变成 ...
随机推荐
- 总结:WPF中模板需要绑定父级别的ViewModel该如何处理
原文:总结:WPF中模板需要绑定父级别的ViewModel该如何处理 <ListBox ItemsSource="{Binding ClassCollection}"> ...
- .net core 引入SwaggerUI教程
Swagger Swagger 是一个规范和完整的框架,用于生成.描述.调用和可视化 RESTful 风格的 Web 服务.方便前后端接口对接. 1.打开NuGet程序包,搜索“Swashbuckle ...
- 前端获取文件input框的美化操作
前面我们说了一种利用input框和js的当时获取本地文件内容的情况-详细信息参考 2017年11月8日前端用js获取本地文件的内容 以上方式获取的按钮是系统默认的显示,有时候我们需要对按钮的外观进行美 ...
- Qt NetWork即时通讯网络聊天室(基于TCP)
本文使用QT的网络模块来创建一个网络聊天室程序,主要包括以下功能: 1.基于TCP的可靠连接(QTcpServer.QTcpSocket) 2.一个服务器,多个客户端 3.服务器接收到某个客户端的请求 ...
- Docker 0x06: Docker Volume卷
目录 Docker Volume卷 一句话什么是docker volume? docker volume特性 docker 挂载卷 docker 多容器间共享数据券 删除,查看数据卷 备份还原数据卷 ...
- Docker 0x03:Install Docker
目录 Install Docker Centos yum 安装 运行docker-daemon并开机自启动 运行hello-world应用docker容器中 Ubn Install Docker do ...
- 动态路由 RIP
不同网段之间进行通信,中间有多个路由器的情况下,我们可以通过配置RIP动态路由来实现数据转发. 实验拓扑 如图所示连接,地址规划如下: 名称 接口 IP地址 R1 f0/0 192.168.10.1/ ...
- shell脚本条件判断if中-a到-z的意思
[ -a FILE ] 如果 FILE 存在则为真. [ -b FILE ] 如果 FILE 存在且是一个块特殊文件则为真. [ -c FILE ] 如果 FILE 存在且是一个字特殊文件则 ...
- zabbix--微信告警
zabbix 微信告警机制 zabbix 告警机制有很多,比如邮件.微信.电话.短信等等.很多,但是像电话和短信都是有钱人玩的,我们这些穷屌丝玩玩 微信 邮件 就可以了. 参考:https://git ...
- Windos7 安装 thumbor 遇到的python版本问题
(py36) C:\Users\Administrator>thumbor --port= Traceback (most recent call last): File , in _run_m ...