值域倍增分块，注意到只需要考虑每块前2小的树，可以st表维护。更精细实现可以线性空间。