在没有区间加减的时候我们可以利用每个节点对应区间不同数的个数在最值操作往下递归时必然-1得到复杂度为 $O(m \log n)$。但是，有区间加减的时候，某些节点的个数增加可以达到 $O(n)$ （考虑对一个左右两半全等的区间的右半边加一个极大值），这个方法失效了。有人知道是怎么证出复杂度 $O(m \log ^2 n)$ 的吗？

（可以给我看吉司机的论文，但我用不了百度网盘）