势能线段树（均摊分析）

势能线段树

线段树能够通过打懒标记实现区间修改的条件有两个：

1. 能够快速处理懒标记对区间询问结果的影响
2. 能够快速实现懒标记的合并

但有的区间修改不满足上面两个条件（如区间整除/开方/取模等）。
但某些修改存在一些奇妙的性质，使得序列每个元素被修改的次数有一个上限。

所以可以在线段树每个节点上记录一个值，表示对应区间内是否每个元素都达到修改次数上限。区间修改时暴力递归到叶子节点，如果途中遇到一个节点，这个节点的对应区间内每个元素都达到修改次数上限则在这个节点$return$掉。

可以证明复杂度为 $O((n+m\log n)\times lim)$，其中$n$为序列长度，$m$为询问次数，$lim$为修改次数上限。

LOJ6029——线段树区间除法

对于每个区间维护区间内的 最大值$Max$ 和 最小值$Min$，对于整除操作，如果有$Max-\lfloor \frac{Max}{d}\rfloor =Min-\lfloor \frac{Min}{d}\rfloor$，就转化为区间减。否则直接向下递归。

考虑何时满足$Max-\lfloor \frac{Max}{d}\rfloor =Min-\lfloor \frac{Min}{d}\rfloor$：
设$Max=k_{1}d+c_1,Min=k_{2}d+c_2(c_1,c_2\in [0,d-1],d\ge 2)$
$Max-\lfloor \frac{Max}{d}\rfloor =Min-\lfloor \frac{Min}{d}\rfloor$
$Max-Min=\lfloor \frac{Max}{d}\rfloor -\lfloor \frac{Min}{d}\rfloor$
$(k_1-k_2)d+c_1-c_2=k_1-k_2$
$(k_1-k_2)(d-1)=c_2-c_1$
$若k_1=k_2,则c_2$