ICode9

神仙题。 我们探究一下 \(ans\) 的下界。当然有个前提 \(ans\ge 0\)。 如果节点 \(x\) 是 \(y\) 的祖先，那么显然 \(ans\ge l_x-r_y\)，\(ans\ge l_y-r_x\)。 如果是链就已经做完了，\(ans\) 的下界是能取到的，让每个点都在 \([r_{min},l_{max}]\) 就行了。 但是树的答案是错的。仔细