区间取min不能直接套用普通线段树，因min不满足可加性与懒标记可合并性；吉司机线段树通过维护max_val、sec_max、max_cnt、sum等信息，并依条件触发暴力递归来解决。
区间取min为什么不能直接套用普通线段树
因为 min 不满足可加性，也不满足可合并的懒标记性质——你没法把「对 [l,r] 取 min x」和「再取 min y」压缩成一个等效操作，除非 x ≤ y；更麻烦的是，它会部分修改区间内某些叶子节点，而保留另一些，导致传统懒标记（如加法、赋值）那套“整段延迟更新+pushdown”逻辑失效。吉司机线段树（Segment Tree Beats）正是为这类非线性区间更新设计的，核心是维护额外信息 + 精确判断是否需要暴力递归。
关键维护字段和触发暴力递归的条件
对每个线段树节点，至少要存：max_val（区间最大值）、sec_max（严格次大值）、max_cnt（最大值出现次数）、sum（区间和）。做 range_min 操作时，传入参数 x，在当前节点上按以下顺序判断：
- 如果
max_val ：整段已不高于 x，无需修改，直接 return - 如果
sec_max ：说明 x 会把所有 <code>max_val改成 x，但不影响其它值，此时只改sum -= max_cnt * (max_val - x)，更新max_val = x - 否则（即
x ）：无法安全批量更新，必须 pushdown 并递归到子节点
注意：sec_max 必须是严格次大值（即 sec_max ），等于不算；若不存在严格次大值（如区间所有数相同），则设 <code>sec_max = -INF。
pushdown 和标记设计的常见误区
range_min 本身不设传统懒标记，它的“延迟”体现在不进入递归——只有当不得不改叶子时才下沉。但如果你同时支持 range_add 或 range_assign，就得设计复合标记。常见错误包括：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 把
min懒标记和add标记简单叠加，忽略顺序依赖（min后add≠add后min） - 在 pushdown 时未同步更新子节点的
sec_max，导致后续range_min判断失准 - 建树时没正确求
sec_max：比如用max(left.sec_max, right.sec_max)就错了，必须排除等于父节点max_val的候选值
一个安全的 pushdown（仅含 range_min）其实可以为空——只要保证每次 range_min 调用都走上述三岔判断，就不需要下传任何标记。
单点查询和区间和查询怎么写
单点查值不需要 pushdown 到叶子：从根往下走，每到一个节点，若当前节点被 range_min 修改过（即 max_val 被降过），且你要查的位置恰好属于该节点中那些原为 max_val 的位置，就用当前 max_val；否则继续往下。但更稳妥的做法是：所有修改都保证最终落到叶子，所以单点查就是常规线段树的 query_point，只是路径上每个节点都要检查是否 max_val 被截断过。区间和则直接返回节点 sum 字段——前提是每次 range_min 都正确更新了它。
真正容易漏的是：当 range_min 触发第二类更新（sec_max ）时，必须同步更新 <code>sum，且不能写成 sum = sum - max_cnt * (max_val - x) 后再设 max_val = x，顺序反了会导致计算用旧 max_val 出错。
实际编码时，sec_max 的维护成本和边界判断才是性能瓶颈，不是递归本身——很多 O(n) 数据卡点就出在这里。
