代码适中、非常灵活的平衡树。

需要前置:二叉搜索树。

一些基础的函数:

int idx, ch[N][2], cnt[N], sz[N], fa[N];
/*
idx 是节点计数, ch[i][0 / 1] 是 i 节点的左右子树节点
cnt[i] 是 i 节点的数量
sz[i] 是 i 节点子树的大小
fa[i] 是 i 的父亲
*/ // pushup
void inline pushup(int p) {
sz[p] = sz[ch[p][0]] + cnt[p] + sz[ch[p][1]];
} // 判断 p 是 fa[p] 左儿子还是右儿子 (0 / 1)
bool inline get(int p) {
return p == ch[fa[p]][1];
} // 清空一个节点
void inline clear(int p) {
ch[p][0] = ch[p][1] = val[p] = cnt[p] = sz[p] = fa[p] = 0;
}

\(\text{Pushup}\) 要放在旋转的最后。

\(\text{Pushdown}\) 只要递归就推下去。

旋转的意义:保持中序遍历不变,调整树高。

这样旋转后,在改变树形结构的基础上发现中序遍历保持不变。

void inline rotate(int x) {
int y = fa[x], z = fa[y], k = get(x);
ch[y][k] = ch[x][!k], fa[ch[x][!k]] = y;
ch[x][!k] = y, fa[y] = x;
fa[x] = z;
if (z) ch[z][y == ch[z][1]] = x;
pushup(y); pushup(x);
}

以下所有介绍的操作都是 Splay 的独特的操作,剩下的二叉搜索树就有了。

复杂度的保持 & 核心思想:

每次操作完的点,均将这个点旋转(Splay)到树根。

感性理解的好处:每一次用到,后面还有可能再用到。

严谨的证明,结论是若操作 \(m\) 次,总复杂度是 \(O(m \log n)\),平均意义每次操作都是 \(O(\log)\) 的。

Splay 翻转

定义函数 \(splay(x, k)\) 表示将点 \(x\) 旋转至 \(k\) 下面。

\(y = fa_x, z = fa_y\)。

迭代:

  • 如果 \(z\) 不存在,转一次 \(x\) 即可。
  • 若 \(z, y, x\) 是直线,那么先把 \(y\) 转上去,然后转 \(x\)
  • 否则是折线,就转两次 \(x\)

只有这么转复杂度才是对的,不能随便转,要背一下)

void inline splay(int p) {
for (int f = fa[p]; f = fa[p]; rotate(p))
if (fa[f]) rotate(get(p) == get(f) ? f : p);
rt = p;
}

以下标为键:将一段序列插入到 y 的后面

  • 找到 \(y\) 的后继 \(z\)
  • 将 \(y\) 旋转到根 \(splay(y, 0)\)
  • 将 \(z\) 转到 \(y\) 的下面 \(splay(z, y)\)

这样 \(z\) 一定没有左子树,直接把一段序列构造好的树节点赋值成 \(z\) 的左子树就行了。

以下标为键:操作一段

删除序列的 \([l, r]\)

\(splay(kth(l - 1), 0), splay(kth(r+1), l - 1)\),这样 \([l, r]\) 之间所有的点组成了以 \(r + 1\) 的左子树,这样直接就可以在 \(kth(r + 1)\) 的左儿子这个节点打 \(tag\) 就行了。

板子

P3369 【模板】普通平衡树

#include <cstdio>
#include <iostream> using namespace std; const int N = 100005; int n, m, rt;
int idx, ch[N][2], val[N], cnt[N], sz[N], fa[N]; void inline update(int p) {
sz[p] = sz[ch[p][0]] + cnt[p] + sz[ch[p][1]];
} bool inline get(int p) {
return p == ch[fa[p]][1];
} void inline clear(int p) {
ch[p][0] = ch[p][1] = val[p] = cnt[p] = sz[p] = fa[p] = 0;
} void inline rotate(int x) {
int y = fa[x], z = fa[y], k = get(x);
ch[y][k] = ch[x][!k], fa[ch[x][!k]] = y;
ch[x][!k] = y, fa[y] = x;
fa[x] = z;
if (z) ch[z][y == ch[z][1]] = x;
update(y); update(x);
} void inline splay(int p) {
for (int f = fa[p]; f = fa[p]; rotate(p))
if (fa[f]) rotate(get(p) == get(f) ? f : p);
rt = p;
} void insert(int &p, int x, int f) {
if (!p) {
p = ++idx, sz[p] = cnt[p] = 1, fa[p] = f, val[p] = x;
if (f) ch[f][x > val[f]] = p, update(f), splay(p);
} else if (val[p] == x) cnt[p]++, sz[p]++, update(f), splay(p);
else insert(ch[p][x > val[p]], x, p);
} int kth(int p, int k) {
if (k <= sz[ch[p][0]]) return kth(ch[p][0], k);
else if (k <= sz[ch[p][0]] + cnt[p]) { splay(p); return val[p]; }
else return kth(ch[p][1], k - sz[ch[p][0]] - cnt[p]);
} int getRank(int p, int k) {
int res = 0;
if (k < val[p]) return getRank(ch[p][0], k);
else if (k == val[p]) { res = sz[ch[p][0]] + 1; splay(p); return res; }
else { res += sz[ch[p][0]] + cnt[p]; return res + getRank(ch[p][1], k); }
} int inline pre() {
int p = ch[rt][0];
while (ch[p][1]) p = ch[p][1];
splay(p);
return p;
} int inline nxt() {
int p = ch[rt][1];
while (ch[p][0]) p = ch[p][0];
splay(p);
return p;
} void inline del(int k) {
getRank(rt, k);
if (cnt[rt] > 1) cnt[rt]--, sz[rt]--;
else if (!ch[rt][0] && !ch[rt][1]) {
clear(rt), rt = 0;
} else if (!ch[rt][0]) fa[rt = ch[rt][1]] = 0;
else if (!ch[rt][1]) fa[rt = ch[rt][0]] = 0;
else {
int p = rt, x = pre();
splay(x); ch[x][1] = ch[p][1], fa[ch[x][1]] = x;
clear(p); update(rt);
}
} int main() {
scanf("%d", &m);
while (m--) {
int opt, x; scanf("%d%d", &opt, &x);
if (opt == 1) {
insert(rt, x, 0);
} else if (opt == 2) {
del(x);
} else if (opt == 3) {
insert(rt, x, 0);
printf("%d\n", getRank(rt, x));
del(x);
} else if (opt == 4) {
printf("%d\n", kth(rt, x));
} else if (opt == 5) {
insert(rt, x, 0);
printf("%d\n", val[pre()]);
del(x);
} else if (opt == 6) {
insert(rt, x, 0);
printf("%d\n", val[nxt()]);
del(x);
}
}
}

P3391 【模板】文艺平衡树

#include <iostream>
#include <cstdio>
#define ls ch[p][0]
#define rs ch[p][1]
#define get(x) x == ch[fa[x]][1]
using namespace std; const int N = 100005; int n, m, val[N], ch[N][2], sz[N], fa[N], rev[N], rt, idx; void inline pushup(int p) {
sz[p] = sz[ls] + sz[rs] + 1;
} void inline reverse(int p) {
swap(ls, rs), rev[p] ^= 1;
} void inline pushdown(int p) {
if (rev[p]) {
if (ls) reverse(ls);
if (rs) reverse(rs);
rev[p] = 0;
}
} void inline rotate(int x) {
int y = fa[x], z = fa[y], k = get(x);
ch[y][k] = ch[x][!k], fa[ch[x][!k]] = y;
ch[x][!k] = y, fa[y] = x;
fa[x] = z;
if (z) ch[z][y == ch[z][1]] = x;
pushup(y), pushup(x);
} void inline splay(int x, int k) {
for (int f = fa[x]; (f = fa[x]) != k; rotate(x)) {
if (fa[f]) rotate(get(x) == get(f) ? f : x);
}
if (!k) rt = x;
} void build(int &p, int l, int r, int f) {
if (l > r) return;
p = ++idx;
int mid = (l + r) >> 1; val[p] = mid, fa[p] = f;
if (l < r) {
build(ch[p][0], l, mid - 1, p);
build(ch[p][1], mid + 1, r, p);
}
pushup(p);
} void print(int p) {
if (!p) return;
pushdown(p);
print(ch[p][0]);
if (val[p] && val[p] <= n) printf("%d ", val[p]);
print(ch[p][1]);
} int inline kth(int p, int k) {
pushdown(p);
if (k <= sz[ch[p][0]]) return kth(ch[p][0], k);
else if (k == sz[ch[p][0]] + 1) {
splay(p, 0);
return p;
} else return kth(ch[p][1], k - sz[ch[p][0]] - 1);
} int main() {
scanf("%d%d", &n, &m);
build(rt, 0, n + 1, 0);
while (m--) {
int l, r; scanf("%d%d", &l, &r);
int x = kth(rt, l), y = kth(rt, r + 2);
splay(x, 0); splay(y, x);
reverse(ch[y][0]);
}
print(rt);
return 0;
}

学习笔记:Splay的更多相关文章

  1. [学习笔记] Splay Tree 从入门到放弃

    前几天由于出行计划没有更博QwQ (其实是因为调试死活调不出来了TAT我好菜啊) 伸展树 伸展树(英语:Splay Tree)是一种二叉查找树,它能在O(log n)内完成插入.查找和删除操作.它是由 ...

  2. [学习笔记]Splay

    其实就是一道题占坑啦 [NOI2005]维护数列 分析: 每次操作都要 \(Splay\) 一下 \(Insert\) 操作:重建一棵平衡树,把 \(l\) 变成根,\(l+2\) 变成右子树的根,那 ...

  3. 平衡树splay学习笔记#2

    讲一下另外的所有操作(指的是普通平衡树中的其他操作) 前一篇的学习笔记连接:[传送门],结尾会带上完整的代码. 操作1,pushup操作 之前学习过线段树,都知道子节点的信息需要更新到父亲节点上. 因 ...

  4. [学习笔记]平衡树(Splay)——旋转的灵魂舞蹈家

    1.简介 首先要知道什么是二叉查找树. 这是一棵二叉树,每个节点最多有一个左儿子,一个右儿子. 它能支持查找功能. 具体来说,每个儿子有一个权值,保证一个节点的左儿子权值小于这个节点,右儿子权值大于这 ...

  5. 平衡树学习笔记(3)-------Splay

    Splay 上一篇:平衡树学习笔记(2)-------Treap Splay是一个实用而且灵活性很强的平衡树 效率上也比较客观,但是一定要一次性写对 debug可能不是那么容易 Splay作为平衡树, ...

  6. BST,Splay平衡树学习笔记

    BST,Splay平衡树学习笔记 1.二叉查找树BST BST是一种二叉树形结构,其特点就在于:每一个非叶子结点的值都大于他的左子树中的任意一个值,并都小于他的右子树中的任意一个值. 2.BST的用处 ...

  7. 学习笔记 | CDQ分治

    目录 前言 啥是CDQ啊(它的基本思想) 例题 后记 参考博文 前言 博主太菜了 学习快一年的OI了 好像没有什么会的算法 更寒碜的是 学一样还不精一样TAT 如有什么错误请各位路过的大佬指出啊感谢! ...

  8. OI知识点|NOIP考点|省选考点|教程与学习笔记合集

    点亮技能树行动-- 本篇blog按照分类将网上写的OI知识点归纳了一下,然后会附上蒟蒻我的学习笔记或者是我认为写的不错的专题博客qwqwqwq(好吧,其实已经咕咕咕了...) 基础算法 贪心 枚举 分 ...

  9. 平衡树学习笔记(6)-------RBT

    RBT 上一篇:平衡树学习笔记(5)-------SBT RBT是...是一棵恐怖的树 有多恐怖? 平衡树中最快的♂ 不到200ms的优势,连权值线段树都无法匹敌 但是,通过大量百度,发现RBT的代码 ...

  10. 平衡树学习笔记(5)-------SBT

    SBT 上一篇:平衡树学习笔记(4)-------替罪羊树 所谓SBT,就是Size Balanced Tree 它的速度很快,完全碾爆Treap,Splay等平衡树,而且代码简洁易懂 尤其是插入节点 ...

随机推荐

  1. 对“线上问题 不能gdb调试怎么处理??“”的思考

    Q1:线上问题的process 都为release版本!不带调试信息怎么查?(目前有时需要查线上问题, 不得不解决这个问题) 之前查问题都是编译环境编译一个带有debug信息的版本进行替换来调试,但是 ...

  2. mysql建立索引,实际工作中建立索引的示例

    1.根据业务场景建立相应的组合索引,一般是在主键,外键,常用来筛选查询的字段,按照字段之间组合的紧密程度,建立一定顺序的索引. 例如:为 t_org_exam_join_member_day  建立索 ...

  3. Dubbo 接口,导出 Markdown ,这些功能 DocView 现在都有了!

    前言 自从 DocView 发布了简陋的第一版之后,就不断地有小伙伴提建议意见等等,希望扩展各种功能.这不,时隔两周,DocView 又发布了新版本,本次的更新主要涉及到支持 Dubbo,以及支持导出 ...

  4. logback怎么写?分类输出日志到不同的文件

    此appender有顺序,最好不要乱调顺序,输出日志如下: drwxr-xr-x 2 root root 4096 Dec 3 00:00 2019-12-02drwxr-xr-x 2 root ro ...

  5. netcore一键部署到linux服务器以服务方式后台运行

    @font-face { font-family: octicons-link; src: url("data:font/woff;charset=utf-8;base64,d09GRgAB ...

  6. ThreadPoolExecutor源码分析-面试问烂了的Java线程池执行流程,如果要问你具体的执行细节,你还会吗?

    Java版本:8u261. 对于Java中的线程池,面试问的最多的就是线程池中各个参数的含义,又或者是线程池执行的流程,彷佛这已成为了固定的模式与套路.但是假如我是面试官,现在我想问一些更细致的问题, ...

  7. OAuth 2.0授权框架详解

    目录 简介 OAuth的构成 refresh Token Authorization Code模式 隐式授权 Resource Owner 授权密码认证 Client 认证授权 github的OAut ...

  8. C#推流RTMP,摄像头、麦克风、桌面、声卡(附源码)

    这段时间一直都在研究推流的技术,经过断断续续将近两个月的摸索实践,终于能稳定地推流了. 这个demo的主要功能就是将采集到的摄像头或桌面的视频.以及麦克风或声卡的音频数据推到Nginx-RTMP服务器 ...

  9. MathType输入几何符号的技巧

    通过学习几何学的知识,我们发现其中包含的几何符号有很多,比如有表示图形的符号,如三角形,平行四边形,圆,角,圆弧等:还有表示位置关系的符号,如平行,垂直等:还有表示矢量等其他符号,那么MathType ...

  10. php 上传图片,无刷新上传,支持多图上传,远程图片上传

    1 <html> 2 <head> 3 <meta http-equiv="Content-Type" content="text/html ...