2017暑假七林集训day18

又是一个没有考试的和谐一天（然而数据结构依然毒瘤）。

今天是zhuchaoyu讲的平衡树。平衡树是一种神奇的数据结构，它支持插入元素、删除元素、求第k大、求num是第几大、求前驱/后继、区间翻转等操作（好用但是并不好写）。它基于二叉搜索树——左儿子比根小，右儿子比根大，左右子树都是二叉搜索树的一种二叉树。虽然二叉搜索树可以完美的完成上面的功能，但它每次操作容易被卡成O(n)的（比如从小到大插，退化成一条链）。于是我们就需要其它不会被卡的实现。所以就有人发明了替罪羊树、Treap和Splay。替罪羊树看起来是一个简单的优化。当当前已经不优了的时候就rebuild成类似一棵线段树的样子。什么时候不优呢？设定平衡因子α，令size[x]表示x节点的子树大小，L(x)/R(x)表示x的左右子节点。当size[x]*α＜max(size[L(x)],size[R(x)])时对子树x进行重构。Treap = Tree + heap。把裸的二叉搜索树的节点上加上一个随机的rank值，让key值满足二叉搜索树的性质，rank值满足堆的性质。因为这个rank是随机的，所以卡不掉。Splay则是通过旋转操作来维护平衡树的。当出现前文的“不优”时，就把树旋转。但是仅仅靠单旋是无法保证复杂度的。Splay在旋转时需要考虑祖父节点、父节点和当前节点的关系。若均为左/右子树，则使用Zig-Zig操作，否则使用Zig-Zag操作。