这篇博客介绍了Segment Tree Beats这种数据结构，主要用于区间操作，包括区间加法、求最小值、求和、求最大值以及求历史最大值。文章通过洛谷的模板题详细解释了线段树节点上的变量定义，如suma、mxa、cntmx等，以及tagamx、tagbnmx等标记的含义，并阐述了Pushup、Update和Pushdown操作的实现。还详细解析了每个操作的处理方式，如区间加法、求最小值等。
就拿洛谷的模板题来举例吧。
我们先简化一下各个操作的定义：
操作 1 1 1：区间加 k k k；
操作 2 2 2：区间同 v v v 取 min \min min；
操作 3 3 3：区间求和；
操作 4 4 4：区间求最大值；
操作 5 5 5：区间求最大的历史最大值。
其中操作 2 2 2 和 5 5 5 是比较复杂的，所以我们需要用到吉老师发明的线段树—— S e g m e n t T r e e B e a t s Segment~Tree~Beats Segment Tree Beats。
（注：所有的操作通过势能分析法可得总时间复杂度为 O ( m l o g 2 n ) O(m log_2 n) O(mlog2n)，具体证明可以参考原论文）
（显然是笔者太菜了不会）
在分析操作之前，我们定义一些变量（指线段树节点上储存的变量）：
（强烈建议拿草稿纸记录一下）
s u m a suma suma —— 区间内 A i A_i Ai 的和；
m x a mxa mxa —— 区间内 A i A_i Ai 的最大值；
c n t m x cntmx cntmx —— 区间内 A i A_i Ai 最大值的出现次数（方便求和时最大值与其它值分别计算）；
c m x a cmxa cmxa —— 区间内 A i A_i Ai 的严格次大值（这个在操作 2 2 2 中会用到，实质是为了维护 c n t m x cntmx cntmx）；
m x b mxb mxb —— 区间内 B i B_i Bi 的最大值；
然后再定义一些标记（同上）：
t a g a m x tagamx tagamx —— 区间内 A i A_i Ai 的最大值的加法标记；
t a g a n m x taganmx taganmx —— 区间内非 A i A_i Ai 最大值的加法标记；
t a g b m x tagbmx tagbmx —— 注意这并不是区间内 B i B_i Bi 的最大值的加法标记，这是区间的 t a g a m x tagamx tagamx 的历史最大值（历史指上一次 P u s h d o w n Pushdown Pushdown 之后）；
t a g b n m x tagbnmx tagbnmx —— 同上，这是区间的 t a g a n m x taganmx taganmx 的历史最大值。
为什么 t a g b m x tagbmx tagbmx 是 t a g a m x tagamx tagamx 的历史最大值？
比如有一个变量 v a l val val，在下一次 P u s h d o w n Pushdown Pushdown 前进行了两次加法操作：一次加 5 5 5，一次减 2 2
最低0.47元/天 解锁文章
扫一扫
3561
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
