可以发现 $h$ 满足单调性（$h$ 越大花费越少），我们可以二分 $h$，然后 $O(n)$ 检查是不是符合条件。

检查实现：

• 对于每一个位置 $i$，需要进行的消除次数是 $u_i + d_i - h$。
• 为了满足 $|u_i - u_{i + 1}| \le x$ 的条件，$u_{i + 1}$ 可行的范围是 $[\min u_i - x, \max u_i + x]$。
• $\min u_i = \max(0, u_i - (u_i + d_i - h)) = \max (0, h - d_i)$ ， $\max u_i = u_i$。

时间复杂度： $O(n \log(u_i + d_i))$​。