决策单调性是建立在函数 $f(x)=\sqrt x$ 的导数是单调递减的条件上的，而这道题如果你把答案视作 $h_j - h_i + \lceil \sqrt {i -j} \rceil$ ，进行决策单调性优化的话会导致上去整后的根号反超了不该反超的决策而弹出造成答案不对，所以还是得用 long double 把答案存下来比较，最后算答案的时候上取整。