面对这种题目要大胆赋值。 考虑序列肯定可以不停操作，最后剩下可能是：空、C、O、W。 我们把空赋值为 \(0\)，COW 三个字母分别是 \(1,2,3\)。 操作 \(1\) 对应的是两个相等的数运算后得 \(0\)。操作 \(2\) 则是两个不相等的数运算后得到第三个数。还有一点是 \(0\) 和任何数运算得 \(0
神仙题。 我们探究一下 \(ans\) 的下界。当然有个前提 \(ans\ge 0\)。 如果节点 \(x\) 是 \(y\) 的祖先，那么显然 \(ans\ge l_x-r_y\)，\(ans\ge l_y-r_x\)。 如果是链就已经做完了，\(ans\) 的下界是能取到的，让每个点都在 \([r_{min},l_{max}]\) 就行了。 但是树的答案是错的。仔细
