保证一条修改的树链，满足这条链两个端点中，某个点是另一个点的祖先，听说这样修改的复杂度可以做到 $O(n\log n)$。

有点没懂 有没有大神能解释一下