显然问题能转换成非 1 的子树最小值最大是多少。
然后我二分这个东西，但是我的 check 和大众好像不一样。
二分，子树每个节点都要不小于这个值。
dfs，维护一个子树最小值 minn，如果当前 ax<ya_x<yax<y 就用这个 minn 把它变大，反之不管。维护过程中如果 minn 出现负，或者小于 mid 都返回 0。
但是 wa 2，我赛时瞪了半个多小时没想到为什么不对。
最后还是换贪心过的
