【BZOJ4864】【BJWC2017】神秘物质 - Splay

题意：

Description

21ZZ 年，冬。小诚退休以后， 不知为何重新燃起了对物理学的兴趣。 他从研究所借了些实验仪器，整天研究各种微观粒子。这一天， 小诚刚从研究所得到了一块奇异的陨石样本， 便迫不及待地开始观测。 在精密仪器的视野下，构成陨石的每个原子都无比清晰。 小诚发现， 这些原子排成若干列， 每一列的结构具有高度相似性。于是，他决定对单独一列原子进行测量和测试。被选中的这列共有 N 个顺序排列的原子。 最初， 第 i 个原子具有能量 Ei。 随着时间推移和人为测试， 这列原子在观测上会产生两种变化：

merge x e 当前第 x 个原子和第 x+1 个原子合并，得到能量为 e 的新原子；

insert x e 在当前第 x 个原子和第 x+1 个原子之间插入一个能量为 e 的新原子。

对于一列原子，小诚关心的是相邻一段中能量最大和能量最小的两个原子的能量差值，

称为区间极差。 因此， 除了观测变化外，小诚还要经常统计这列原子的两类数据：

max x y 当前第 x 到第 y 个原子之间的任意子区间中区间极差的最大值；

min x y 当前第 x 到第 y 个原子之间的任意子区间中区间极差的最小值。

其中， 子区间指的是长度至少是 2 的子区间。

小诚坚信这项研究可以获得诺贝尔物理学奖。为了让小诚早日了结心愿，你能否帮助他实现上述的观测和测量呢？

Input

第一行， 两个整数 N， M， 分别表示最初的原子数目和事件总数。

第二行， N 个整数 E1, E2, …, EN， 由空格隔开。依次表示每个原子的能量。

接下来 M 行， 每行为一个字符串和两个整数， 描述一次事件，格式见题目描述。

N<=100,000,M<=100,0001 ≤ e, Ei ≤ 109。

设 N’ 为当前时刻原子数目。对于 merge 类事件， 1 ≤ x ≤ N’-1；

对于 insert 类事件， 1 ≤ x ≤ N’；

对于 max 和 min 类事件， 1 ≤ x < y ≤ N’。

任何时刻，保证 N’ ≥ 2。

Output

输出若干行， 按顺序依次表示每次 max 和 min 类事件的测量结果。

题解：

看到merge和insert操作肯定是splay维护啦……

考虑如何处理询问，极差最大值肯定是区间最大值减最小值，这个不用说；

极差最小值呢？

结论是极差最小值一定是两个相邻的数之差；

考虑三个数，肯定选中间的数和与其差较小的另一个数极差最小，三个数都选不会优于这个选择，类似归纳即可；

那么splay维护子树最大/最小值，前驱后继和子树内最小极差，pushup的时候搞搞即可。

代码：

 #include<algorithm>
 #include<iostream>
 #include<cstring>
 #include<cstdio>
 #include<cmath>
 #include<queue>
 #define inf 1000000007
 #define eps 1e-9
 using namespace std;
 typedef long long ll;
 typedef double db;
 struct node{
     int son[],fa,v,l,r,siz,mi,mx,mm;
 }t[];
 int n,m,x,y,rt,cnt,num[];
 char op[];
 bool Son(int u){
     return t[t[u].fa].son[]==u;
 }
 void pushup(int u){
     t[u].l=t[u].son[]?t[t[u].son[]].l:u;
     t[u].r=t[u].son[]?t[t[u].son[]].r:u;
     t[u].siz=t[t[u].son[]].siz+t[t[u].son[]].siz+;
     t[u].mx=max(t[u].v,max(t[t[u].son[]].mx,t[t[u].son[]].mx));
     t[u].mi=min(t[u].v,min(t[t[u].son[]].mi,t[t[u].son[]].mi));
     t[u].mm=min(min(t[t[u].son[]].mm,t[t[u].son[]].mm),min(t[u].son[]?abs(t[u].v-t[t[t[u].son[]].r].v):inf,t[u].son[]?abs(t[u].v-t[t[t[u].son[]].l].v):inf));
 }
 int build(int l,int r,int ff){
     int mid=(l+r)/;
     t[mid].fa=ff;
     if(l<mid)t[mid].son[]=build(l,mid-,mid);
     if(mid<r)t[mid].son[]=build(mid+,r,mid);
     pushup(mid);
     return mid;
 }
 void rotate(int u){
     int f=t[u].fa,ff=t[f].fa,ch=Son(u),cf=Son(f);
     t[f].son[ch]=t[u].son[ch^];
     t[t[f].son[ch]].fa=f;
     t[ff].son[cf]=u;
     t[u].son[ch^]=f;
     t[u].fa=ff;
     t[f].fa=u;
     pushup(f);
     pushup(u);
 }
 void splay(int u,int to){
     for(;t[u].fa!=to;rotate(u)){
         int f=t[u].fa;
         if(t[f].fa!=to)rotate(Son(u)^Son(f)?u:f);
     }
     if(!to)rt=u;
 }
 int findx(int u,int k){
     int nw=u;
     for(;;){
         if(t[t[nw].son[]].siz+==k)return nw;
         if(k<=t[t[nw].son[]].siz){
             nw=t[nw].son[];
         }else{
             k-=t[t[nw].son[]].siz+;
             nw=t[nw].son[];
         }
     }
 }
 int split(int x,int y){
     int l=findx(rt,x-),r=findx(rt,y+);
     //printf("%d %d\n",l,r);
     splay(l,);
     splay(r,rt);
     return t[t[rt].son[]].son[];
 }
 void merge(int x,int y){
     int u=split(x+,x+);
     t[u].v=y;
     t[u].son[]=t[u].son[]=;
     pushup(u);
     pushup(t[rt].son[]);
     pushup(rt);
 }
 void ins(int x,int y){
     int u=split(x+,x+);
     t[t[rt].son[]].son[]=++cnt;
     t[cnt].fa=t[rt].son[];
     t[cnt].v=y;
     pushup(cnt);
     pushup(t[rt].son[]);
     pushup(rt);
 }
 int getmx(int x,int y){
     int u=split(x+,y+);
     return t[u].mx-t[u].mi;
 }
 int getmi(int x,int y){
     int u=split(x+,y+);
     return t[u].mm;
 }
 int main(){
     scanf("%d%d",&n,&m);
     cnt=n+;
     for(int i=;i<=n;i++){
         scanf("%d",&t[i+].v);
     }
     t[].mx=;
     t[].mi=t[].mm=inf;
     cnt=n+;
     rt=build(,n+,);
     for(int i=;i<=m;i++){
         scanf("%s%d%d",op,&x,&y);
         if(op[]=='e'){
             merge(x,y);
         }else if(op[]=='n'){
             ins(x,y);
         }else if(op[]=='a'){
             printf("%d\n",getmx(x,y));
         }else{
             printf("%d\n",getmi(x,y));
         }
     }
     return ;
 }