显然有 $\mathrm{cost}(b,a)=\frac12\sum_{i=1}^n |a_i-b_i|$，所以每一个 $b_i$ 的贡献是独立的凸函数 $f_i(x)$。

我们希望找到一组 $b_i$ 满足 $\sum_{i=1}^n b_i=m$ 且 $\sum_{i=1}^n f_i(b_i)$ 最小，只需要按照 $f_i(x)$ 的斜率贪心即可。

时间复杂度 $O(nk\log k)$。