HZOJ Weed

作者的题解：

如果一段操作被执行，会对整个栈有什么影响呢？

把栈弹出若干个数后再插入若干个数。

线段树：

每个点纪录三个值：执行完这段操作后会删多少个，再插多少个，插的和一共是多少。

合并值时再用一个函数查找左孩子被从右删除若干个后剩下的插入总和是多少。

建树复杂度O( N log N ), 单次查询复杂度O( log ^ 2 N), 总复杂度O( N log N + Q log ^2 N ).

树袋熊学长的题解：

• 实际上,每个加数和删除的操作可以看作是入栈和弹栈操作,之后可以用线段树维护多个操作间的关系。线段树的下标是操作时间,由于我们想得到整个序列经过修改操作后的结果,因此线段
树上维护四个信息:
s:区间内加数总和(仅考虑区间内部影响);

nd:当前区间向前删除数字的数量;
na:当前区间内“净”加的元素数。
sd:当前区间被右兄弟删除后的总和。 ※仅对左儿子维护此信息。
• 我们通过维护以上四个标记,就可以得到答案(root->s)。现在我们考虑如何维护信息。

首先,在建树或修改时,只需要将叶子节点的前三个标记维护好即可;在递归返回时,再计算最后一个。如果左儿子不够右儿子删,那么非常简单,直接利用这几个标记计算即可,l->sd=0。
比较麻烦的是左儿子不被删光的情况。我们先实现一个函数cal(x),利用sd标记计算在当前区间中删去x个元素后的和

• 有了这个函数,我们就可以非常方便地计算左儿子的sd,维护其
他标记了,不再赘述。

由于这个奇怪的函数在每层节点都会调用,而一共有O(logn)层节点,所以线段树操作的时间复杂度变为O(log 2 n),总时间复杂度也比常规的线段树多一个log。
• 难点主要在于使用额外的函数维护信息,并正确的讨论各种情况。
• 考试时一定要想清楚,时间复杂度是靠“链状”延伸的维护函数保障的,如果不小心写成了两边都下去,就变成O(n 2 )了。

还是说我自己咋写的吧，

用线段树维护操作（好象是第二次碰到这种题），对于线段树的每个节点，维护三个信息，del当前节点删除其左兄弟几个元素，add只考虑当前区间影响区间内的元素个数，val只考虑当前区间影响区间内的和。

建树时对于叶子节点就很容易了，直接赋值就行了。下面考虑怎么合并，分三种情况：

1. add(ls(x))==del(rs(x)),相当于x节点的右儿子正好删掉了左儿子的所有元素，于是 del（x）=del(ls(x)),add(x)=add(rs(x)),val(x)=val(rs(x);
2. add(ls(x))< del(rs(x)),x节点的右儿子删掉了左儿子的所有元素还要多，于是del(x)=dal(ls(x))+del(rs(x))-add(ls(x)),add(x)=add(rs(x)),val(x)=val(rs(x));
3. add(ls(x))> del(rs(x)),x节点的有儿子没有全部删掉左儿子的所有元素，于是 del(x)=del(ls(x));add(x)=add(rs(x))+add(ls(x))-del(rs(x));val(x)=val(rs(x))+cal(ls(x),del(rs(x)));

cal（k，x）表示k节点的区间删掉结尾x个元素后的和：

int cal(int k,int x)
{
    if(x==add(rs(k)))return val(k)-val(rs(k));
    if(x<add(rs(k))) return val(k)-val(rs(k))+cal(rs(k),x);
    if(x>add(rs(k))) return cal(ls(k),x-add(rs(k))+del(rs(k)));
}

到这里大概就没什么了。

最后答案为val（1），对于每次修改直接递归到对应叶子节点即可。

 #include<iostream>
 #include<cstdio>
 #define MAXN 200100
 #define LL long long
 using namespace std;
 struct tree
 {
     int l,r,del,add,val;
     #define l(x) tr[x].l
     #define r(x) tr[x].r
     #define del(x) tr[x].del
     #define add(x) tr[x].add
     #define val(x) tr[x].val
     #define ls(x) (x<<1)
     #define rs(x) (ls(x)+1)
 }tr[MAXN*];
 int m,q,k[MAXN],v[MAXN];
 int cal(int k,int x)
 {
     if(x==add(rs(k)))return val(k)-val(rs(k));
     if(x<add(rs(k))) return val(k)-val(rs(k))+cal(rs(k),x);
     if(x>add(rs(k))) return cal(ls(k),x-add(rs(k))+del(rs(k)));
 }
 void updata(int x)
 {
     if(add(ls(x))==del(rs(x)))
     {
         del(x)=del(ls(x));add(x)=add(rs(x));val(x)=val(rs(x));
     }
     if(add(ls(x))<del(rs(x)))
     {
         del(x)=del(ls(x))+del(rs(x))-add(ls(x));
         add(x)=add(rs(x));
         val(x)=val(rs(x));
     }
     if(add(ls(x))>del(rs(x)))
     {
         del(x)=del(ls(x));
         add(x)=add(rs(x))+add(ls(x))-del(rs(x));
         val(x)=val(rs(x))+cal(ls(x),del(rs(x)));
     }
 }
 void build(int x,int l,int r)
 {
     l(x)=l,r(x)=r;
     if(l==r)
     {
         if(k[l]==) del(x)=,val(x)=v[l],add(x)=;
         else         del(x)=v[l],val(x)=,add(x)=;
         return;
     }
     int mid=(l+r)>>;
     build(ls(x),l,mid);
     build(rs(x),mid+,r);
     updata(x);
 }
 void  change(int x,int t,int k,int v)
 {
     if(l(x)==r(x))
     {
         if(k==)del(x)=,val(x)=v,add(x)=;
         else     del(x)=v,val(x)=,add(x)=;
         return;
     }
     int mid=(l(x)+r(x))>>;
     if(t<=mid)change(ls(x),t,k,v);
     else change(rs(x),t,k,v);
     updata(x);
 }
 signed main()
 {
 ///    freopen("weed.in","r",stdin);

     cin>>m>>q;
     for(int i=;i<=m;i++)
         cin>>k[i]>>v[i];
     build(,,m);
     int c,kk,vv;
     for(int i=;i<=q;i++)
     {
         cin>>c>>kk>>vv;
         change(,c,kk,vv);
         cout<<val()<<endl;
     }
 }