[HNOI2008]玩具装箱TOY
题目描述:
P教授要去看奥运,但是他舍不下他的玩具,于是他决定把所有的玩具运到北京。
他使用自己的压缩器进行压缩,其可以将任意物品变成一堆,再放到一种特殊的一维容器中。
P教授有编号为\(1......N\)的\(N\)件玩具,第\(i\)件玩具经过压缩后变成一维长度为\(C_{i}\).
为了方便整理,P教授要求在一个一维容器中的玩具编号是连续的。
同时如果一个一维容器中有多个玩具,那么两件玩具之间要加入一个单位长度的填充物,
形式地说如果将第\(i\)件玩具到第\(j\)个玩具放到一个容器中,那么容器的长度将为 \(x= j - i + \sum_{k=i}^{j} C_{k}\)
制作容器的费用与容器的长度有关,根据教授研究,如果容器长度为\(x\),其制作费用为\((x - L) ^ {2}\).
其中\(L\)是一个常量。
P教授不关心容器的数目,他可以制作出任意长度的容器,甚至超过\(L\)。但他希望费用最小.
输入格式:
第一行输入两个整数\(N,L\).
接下来\(N\)行输入\(C_{i}\).
\(1<=N<=50000, 1<=L,C_{i}<=10^{7}\)
输出格式:
输出最小费用
不难想到,\(dp(i)\)表示把\(1......i\)号玩具装箱的最小费用。
那么有\(dp(i)=min(dp(j)+(\sum_{k=j}^{i} C_{k} + i - j - L - 1)^{2})\)
这个\(O(n^{2})\)的DP一定会超时,因此想办法优化。
决策单调性:
如果把决策点打出来,(用\(O(n^2)\)的DP来记录)
可以观察到满足决策单调性
而这个东西非常的套路。
维护一个\(tra\)指针,表示循环枚举的\(i\)从哪里转移,\(tra\)指针要及时更新
更新出\(dp(i)\)后,用\(dp(i)\)去决定\(i\)的决策区间在哪里
第一步:如果栈顶的决策点不如\(i\),把栈顶决策点退栈,重复直到不满足条件。
(注:细节:当决策点区间右端点比\(i\)还小时,同样要退出循环,并且此时\(i\)的右边全部是它的决策区间,不需要后面的二分了)
第二步:在当前栈顶决策区间中二分,二分出哪些区间的决策点应该更换为\(i\)
时间复杂度:\(O(n \log n)\)
不用化式子,只要打表就好了,这么好的算法,为什么不用用??
斜率优化:
\(dp(i)=min(dp(j)+(\sum_{k=j}^{i} C_{k} + i - j - L - 1)^{2})\)
不妨设 \(pre(i)=\sum_{j=1}^{i} C_{j} +i\)
为了方便,默认\(L++\)
那么
\(dp(i)=dp(j)+(pre(i)-pre(j)-L)^{2}\)
\(dp(i)=dp(j)+pre(i)^{2}+pre(j)^{2}+L^{2}-2*pre(i)*pre(j)-2*pre(i)*L+2*pre(j)*L\)
\(dp(j)-pre(j)^{2}-2*pre(j)*L= -2*pre(i)*pre(j) - dp(i) - 2*pre(i)*L+pre(i)^{2}+L*L\)
那么现在就是一个形如\(y=kx+b\)的式子了
其中\( -2 * pre(i) \)为\( k \),单调递减
其中\(pre(j)\)为\( x \),单调递增
同时,要使\(dp(i)\)最小,就要使\(b\)最大
所以我们要维护一个上凸壳。
因为\(k,x\)同时单调递增,可以选择单调队列
复杂度:\(O(n)\)