关于决策单调性在网上有一篇非常好的论文----<1D1D动态规划优化初步>.
O(N^2)的算法想必大家一定秒出了,可以发现这道题所用的方程是个经典1D1D方程:f[i]=min{f[j]+cost[i,j]};
那么我们的任务就是证明决策单调性在直接套用模板即可,所谓决策单调性,就是我们要证明这样一个命题:
如果 f[k]的最优决策是j,f[k-1]的最优决策是i,(i<j),那么对于所有f[l](l>k),使用j转移都会比使用i转移优,对于所有f[l](l<=k),使用i转移都会比使用j转移优。
首先我们可以得到的已知条件是使用i转移f[k]比使用j转移f[k]要优,j转移f[k+1]比使用i转移f[k+1]要优,经过一页纸的数学公式讨论以后,果断放弃了,发现使用数形结合更好解释。
设cost[k,j]=|c[j]|^p,cost[k,i]=|c[i]|^p,首先可知c[j]-c[i]为定值(j>i),那么现在我们要证明的就是随着k的递增,|c[j]|^p-|c[i]|^p是一个单调的函数就可以了,我们把它映射到函数上:
对于k不断增大,可以发现dis=|c[j]|^p-|c[i]|^p是单调变化的(因为带了个绝对值所以不知道怎么求导。。寻找数学帝)
就这样解决了。
代码: