对于每个节点 N,SBT 满足一下四点性质:
- size(N.left) >= size(N.right.left)
- size(N.left) >= size(N.right.right)
- size(N.right) >= size(N.left.left)
- size(N.right) >= size(N.left.right)
可以证明其高度是非常接近 l o g 2 ( n ) log_2(n) log2(n) 的,维护操作如下:
void maintain(node *&cur){
if(is(cur->rt)){
if(gsiz(cur->rt->lf)>gsiz(cur->lf)){
zig(cur->rt);zag(cur);}
if(gsiz(cur->rt->rt)>gsiz(cur->lf)){
zag(cur);}
}
if(is(cur->lf)){
if(gsiz(cur->lf->rt)>gsiz(cur->rt)){
zag(cur->lf);zig(cur);}
if(gsiz(cur->lf->lf)>gsiz(cur->rt)){
zig(cur);}
}
}
老样子,以下给出 SBT 的模板。(我比较喜欢 treap 这个名字所以类名就不改了)
#include <stdio.h>
#include <ctype.h>
#include <algorithm>
#include <string.h>
#include <vector>
#define lnt long long
#define inf 0x3f3f3f3f
using namespace std;
int xx;char ff,chh;inline int read(){
xx=ff=0;while(!isdigit(chh)){
if(chh=='-'){
ff=1;}chh=getchar();}
while(isdigit(chh))