吉老师的论文的例题一中的关于时间复杂度的证明我有点看不懂。口胡一下我自己的看法：假设我们已经对整个区间都取了 $\min$，这个区间的次大值就没有了，看做负无穷，之后的任何的区间最值操作就和普通线段树区间修改的复杂度一样，所以复杂度 $O(n+m\log n)$ 等于 $O(m\log n)$。如有不对，请大家指正。

顺便询问一下有没有这方面的比较好的资料，谢谢了。