一个题解区还没有的新做法，个人认为相较于 $O(n)$ 的做法比较无脑好理解。

重链剖分+二分

https://www.luogu.com.cn/article/d3k6sb6g