考虑两个具有下凸性的 \(dp\) 数组 \(f,g\)。
然后有转移 \(h_{i,j} = \min(f_{i} + g_{j})\)。
那么把 \(f\) 和 \(g\) 差分,然后归并排序,实际上我们就得到了 \(h\) 差分后的结果。