又是一个没有考试的和谐一天(然而数据结构依然毒瘤)。
今天是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操作。