对于如要求选 m m m个东西的最优化问题, f [ i ] [ . . ] f[i][..] f[i][..]表示选了 i i i个东西的答案,则DP的时间和空间复杂度必然都与 m m m线性相关。但如果 f [ i ] f[i] f[i]关于 i i i是一个斜率单调不增的函数(凸函数),则可以使用DP凸优化将复杂度降为与 log m \log m logm线性相关。
考虑将 f [ ] f[] f[]中的 i i i这一维去掉,但这样就没法保证选 m m m个。于是考虑将选择一个物品的代价提高 k k k,则此时选的东西必然减少。于是我们二分 k k k的值,每次做一遍DP求出对于当前 k k k实际选的物品个数,使选的物品个数等于 m m m。但此时每个物品的代价是修改过的,将答案减去 m k mk mk即可。
注意二分的时候有可能找不到刚好选 m m m个的 k k k,此时根据题目要求取相近的 k k k即可。
与一类DP方程的联系
给定一个带权序列,将序列分为 k k k段,设每段和为 s i s_i si,求 ∑ f ( s i ) \sum f(s_i) ∑f(si)的最小值,其中 f f f的斜率单调不减(四边形不等式)。
可以直接用DP凸优化做。