四倍空间

区间长:

树的层数(即画出来的线段树示意图有多少层):

等比数列求和:

放缩:

即线段树中的节点数量小于 $4n$


mktag(o) 根据操作更新 o 的信息

  • 应该能够与其他 tag 合并
  • 不应该使用子节点的信息重新计算

down(o) 下发标记,清空o标记为默认值