rt，那个输出方案的方式为啥是成立的

我的理解是 $b_i$ 只需要在 $[a_i,max_i]$ 中，其中 $max_i$ 是当前堆中的最大值，然后保证单调递增即可，这个是对的吗