出题人题解
如果我没理解错的话,题解中倒数第二段应该是在保证 “移动”(题解中倒数第八段提到的,就是 xi,xjx_i, x_jxi,xj 那里)后的 <c_i> 仍然是解(即每项单调不增,按题解中 “倒着” 的顺序)
但貌似寻找移动的策略时,并没有要求 <c_i> 一定是一个解——仅仅是要求 <c_i> 和 <b_i> 的前缀和满足要求的关系
所以是不是可以直接对题解中倒数第三段 cic_ici, cuc_ucu 做移动操作
(而且说实话题解的叙述很不友好qaq)