Treap永不旋轉！！！[維修數列]

前言

Splay是會轉的的好，Treap是不會轉的妙，我們不用轉也能實現神奇的操作
在這裡比較複雜的是插入區間的操作，這是Treap沒有嘗試過的

如何$O(n)$構造Treap?

Splay可以遞歸構造，但是Treap有key的問題，顯然不能那樣構造
那怎麼構造呢？
我們利用棧來解決這個問題
我們將每次構造出來的節點放到棧裏，當我們再次要構造一個新節點時，我們和棧頂節點比較，有兩種情況停止比較

1. 棧頂元素key值的優先度高於新節點
2. 棧空了

我們將最後一個彈出的節點接在新節點的左兒子上
如果棧未空，我們就將新節點接在棧頂的右兒子上
最後將新節點壓入棧
不要忘了將每個節點都Pushup一下
這個操作玄學滿足中序遍曆為原序列，而且造出了一個平衡的Treap
不知道是誰想出的神奇操作

inline node *build(int k)
{
  int top=0,a;
  for(int i=1;i<=k;i++)
  {
    read(a);
    node *temp=new node(a),*last=nil;
    while(top&&stack[top]->key>temp->key)
    stack[top]->push_up(),last=stack[top],stack[top--]=nil;
    if(top)stack[top]->son[1]=temp;
    temp->son[0]=last,stack[++top]=temp;
  }
  while(top)
  stack[top--]->push_up();
  return stack[1];
}

只有這裡最難
下面我把每個函數分開發上來

節點定義

struct node
{
  int val,key,size,sum,maxsum,lmax,rmax;
  bool rev,same;
  node *son[2];
  node(int x);
  node(){}
  ~node();
  inline void push_up();
  inline void push_down();
  inline void push_rev();
  inline void push_same(int x);
}*nil=new node(0),*Root,*stack[MAXN];

pair模板

template<class a,class b>class Pair
{
public:
  a first;
  b second;
  Pair(){}
  Pair(a x,b y){
  first=x,second=y;}
};

讀入輸出優化

inline void read(int &x)
{
  int s=0,w=1;
  char c=getchar();
  while(c<'0'||c>'9'){
  if(c=='-')w=-1;c=getchar();}
  while(c<='9'&&c>='0'){s=(s<<3)+(s<<1)+c-'0';c=getchar();}
  x=s*w;
}
inline void write(int x)
{
  if(x<0)putchar('-'),x=-x;
  if(x>9)write(x/10);
  putchar(x%10+'0');
}</