[BZOJ4355]Play with sequence 吉司机线段树
定义二元组标记(p,c)表示对区间内元素x x=max(x+p,c) x = \max{(x+p,c)} 标记支持区间加法 tag1<p1,c1>+tag2<p2,c2>=tag<p1+p2,max(c1+p2,c2)> tag1<p1,c1> + tag2<p2,c2> = tag<p1+p2,max(c1+p2,c2)> 那么标记就可以下推啦 覆盖操作可以表示成tag<−INF,c