【模板】可持久化文艺平衡树-可持久化treap

题目链接

题意

对于各个以往的历史版本实现以下操作:

  1. 在第 p 个数后插入数 x 。
  2. 删除第 p 个数。
  3. 翻转区间 [l,r],例如原序列是 \(\{5,4,3,2,1\}\),翻转区间 [2,4] 后,结果是 \(\{5,2,3,4,1\}\)。
  4. 查询区间 [l,r]中所有数的和。

做法:可持久化treap

定义

typedef pair<int,int> Pair;

结构体

struct Node {
int key, val, l, r, sum, size;// 键值 随机值 左子 右子 和 子树大小
bool rev;
void clear() { 全部清空 }
}; struct Treap{
int pool[], pooler;//内存池
Node t[];//树上的点
int root[];//
int now, all;//当前版本数 最新版本数
Treap() : now(0), pooler(0) {
pool[i]赋值为i
root[now] = pool[++pooler];
}
函数...
}

函数


int newroot(){内存池吐点} int newnode(int x){
内存池吐点, 赋值(key = x, val, l, r, sum, size)
} void delnode(int x){
点x清空, 内存池吞点
} void next(){
新建根 复制根 now = all //更新至最新版本
} void back(int x){
now = x; //回到原来的版本
} void update(int x){维护sum, size} void pushdown(int x){
下推rev标记
比如左边就是新建一个节点然后把左节点所有信息都复制上去
然后打rev标记
另一边同理
} Pair split(int x, int p){
从以x为根的子树里切p大小的左部分
返回值{左部分根,右(即剩余)部分根}
如果size == p那么返回make_pair(x, 0);
如果size[l] + 1 == p那么返回make_pair(x, r);
先复制一下当前根
根据大小递归操作
记得update新子树根
并把(当前子树根+右子树)和左部分根合并哦(反之亦然)
} void rev(int l, int r){
把树切成三块 中间那块是要翻转的
新建一个点为中间那块的根,把它打上rev标记
然后合并三棵树
更新root[now];
} 结束辣
上一篇:使用SQL Server进行日期和时间转换


下一篇:数据库工具SQLite Expert Personal的简单使用