第一篇题解是错的。子区间取最大值并不能保证最优。

依此贴，一个区间若能完全合并，则结果唯一，max 是错的，正确做法是判断是否存在两个能完全合并的子区间结果相等。题解中的 hack 是因为没判断是否能完全合并，不是没更新到。