Treap(NEW).pptVIP

Treap 1、理论根据：symbol说的某某书上证明一棵随机插入的二叉搜索树的期望高度为lgN，但是某些时候我们并不能得知所有的待插入节点，打乱以后再插入。所以我们需要一种规则来实现这种想法，并且不必要所有节点。也就是说节点是顺序输入的，我们实现这一点可以用Treap。 插入 给节点随机分配一个优先级，先和二叉搜索树的插入一样，先把要插入的点插入到一个叶子上，然后跟维护堆一样，如果当前节点的优先级比根大就旋转，如果当前节点是根的左儿子就右旋如果当前节点是根的右儿子就左旋。 由于旋转是O(1)的，最多进行h次(h是树的高度),插入的复杂度是O(h)的，在期望情况下h=O(log n)，所以它的期望复杂度是O(log n)。 删除 有了旋转的操作之后，Treap的删除比二叉搜索树还要简单。因为Treap满足堆性质，所以我们只需要把要删除的节点旋转到叶节点上，然后直接删除就可以了。具体的方法就是每次找到优先级最大的儿子，向与其相反的方向旋转，直到那个节点被旋转到了叶节点，然后直接删除。 旋转的复杂度为O(1),删除最多进行O(h)次旋转，期望复杂度是O(log n)。 Treap 为了方便讨论我们定义： Left [T] : 结点 T 的左儿子 Right [T] : 结点 T 的右儿子 Num[T] : 节点T的随机值 RightRotate Num[left[T]]Num[T] RightRotate(L) RightRotate RightRotate RightRotate RightRotate LeftRotate Num[right[L]]Num[L] LeftRotate(B) LeftRotate LeftRotate LeftRotate LeftRotate LeftRotate的程序： Function leftrotate(x:longint):longint; var y:longint; Begin y:=right[x]; right[x]:=left[y]; left[y]:=x; exit(y); End; RightRotate的程序 Function RightRotate(x:longint):longint; Var y:longint; Begin y:=left[x]; left[x]:=right[y]; right[y]:=x; exit(y); End; Procedure insert(var head:longint; number:longint); begin if head=0 then begin inc(tot); left[tot]:=0; right[tot]:=0; num[tot]:=random(65536)+1; key[tot]:=number; Head:=tot; end else begin if numberkey[head] then begin insert(left[head],number); if num[left[head]]num[head] then RightRotate(head); end else begin insert(right[head],number); if num[right[head]]num[head] then LeftRotate(head); end; end; 也可以写成FUNCTION的形式返回向HEAD这棵树中插入NUMBER后新树的根。 Function insert(head, number:longint):longint; begin if head=0 then begin inc(tot); left[tot]:=0; right[tot]:=0; num[tot]:=random(65536)+1; key[tot]:=number; exit(tot); end else begin if numberkey[head] then begin left[head]:=insert(left[head],number); if num[left[head]]num[h