平衡树是一个有用的结构,但是常用的splay等由于均摊复杂度和旋转操作,无法方便的可持久化。
这时候跳出一个treap,他可以可持久化!
treap是一种笛卡尔树,有两个值:位置与权。这样构建出来的treap满足两个性质:1、左儿子位置小于当前节点小于右儿子,2、儿子的权值小于父亲。容易猜想,若权值随机,则树高是O(logn)。
使用类似二叉堆的旋转操作可以很方便的维护treap,但是还有一种更好的方法。
fhqtreap:平衡树中有两个操作非常关键:merge和split。其他大多数操作可以通过这两种操作实现。
(merge表示把两颗treap左右相接成一个新的treap,split表示把treap以某个元素为界分成两段)
不妨先考虑merge(a,b)。若val[a]>val[b],就递归合并rs[a]和b,否则合并a和ls[b]。
没了。。
如果需要可持久化,对每个操作建立新的节点,没了。。
<