CF868F Yet Another Minimization Problem
对于暴力dp的状态以及复杂度瓶颈就不再描述,假设前置内容大家都会了。
f[j][i]:前i个分了j组的最小费用。
记calc(l,r)表示:[l,r]分为一组的费用。
对于这个dp方程,我们可以得到一个性质,若:f[j][i]=f[j-1][p]+calc(p+1,i),f[j][ii]=f[j-1][pp]+calc(pp+1,ii),则i<=ii。(不会证明,只能说是多画点图后猜测的…,当然,也蛮显然的)
而这个就是决策单调性优化dp的标志了。
总而言之就是:由于刚刚猜测的式子,所以当我们做当前的
原创
2020-09-29 18:54:16 ·
159 阅读 ·
0 评论