是一个 $log$ 还是两个 $log$ ？

最开始写的是倍增，换成树剖后快了好几倍

重链剖分的一些性质是不是保证了这些操作在均摊意义下是一个 $log$ 的