bzoj1010[HNOI2008]玩具装箱toy 斜率优化dp

DP百题进度：6/100

题目链接：http://www.lydsy.com/JudgeOnline/problem.php?id=1010

1010: [HNOI2008]玩具装箱toy

Time Limit: 1 Sec   Memory Limit: 162 MB
Submit: 11509   Solved: 4865
[ Submit][ Status][ Discuss]

Description

　　P教授要去看奥运，但是他舍不下他的玩具，于是他决定把所有的玩具运到北京。他使用自己的压缩器进行压
缩，其可以将任意物品变成一堆，再放到一种特殊的一维容器中。P教授有编号为1...N的N件玩具，第i件玩具经过
压缩后变成一维长度为Ci.为了方便整理，P教授要求在一个一维容器中的玩具编号是连续的。同时如果一个一维容
器中有多个玩具，那么两件玩具之间要加入一个单位长度的填充物，形式地说如果将第i件玩具到第j个玩具放到一
个容器中，那么容器的长度将为 x=j-i+Sigma(Ck) i<=K<=j 制作容器的费用与容器的长度有关，根据教授研究，
如果容器长度为x,其制作费用为(X-L)^2.其中L是一个常量。P教授不关心容器的数目，他可以制作出任意长度的容
器，甚至超过L。但他希望费用最小.

Input

　　第一行输入两个整数N，L.接下来N行输入Ci.1<=N<=50000,1<=L,Ci<=10^7

Output

　　输出最小费用

Sample Input

5 4
3
4
2
1
4

Sample Output

1

HINT

第二道斜率优化dp，总算会了一点点... 然后发现斜率优化dp的模板长得几乎都一样

先推方程：dp[i]=min(dp[j]+(sum[i]-sum[j]+i-j-1-L)^2)

我们用s[i]=sum[i]+i，c=1+L，方程就能转化为dp[i]=min(dp[j]+(s[i]-s[j]-c)^2)。

然后证明一波单调性。证明过程略

接着就可以推斜率方程了。

dp[k]+(s[i]-s[k]-c)^2<=dp[j]+(s[i]-s[j]-c)^2

展开移项得到(dp[k]+(s[k]+c)^2-dp[j]-(s[j]+c)^2)/(2*(s[k]-s[j]))<=s[i]

然后就可以转移了

代码：

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
int read()
{
	char c=getchar();int sum=0,f=1;
	while(c<'0' || c>'9'){if(c=='-')f=-1;c=getchar();}
	while(c>='0' && c<='9'){sum=sum*10+c-'0';c=getchar();}
	return sum*f;
}
int n,a[50005];
LL dp[50005],L,C,s[50005];
int q[50005]; 
double slop(int j,int k)
{
	return (dp[k]-dp[j]+(s[k]+C)*(s[k]+C)-(s[j]+C)*(s[j]+C))/(2.0*(s[k]-s[j]));
}
int main()
{
	n=read();L=read();C=L+1;
	for(int i=1;i<=n;i++)
	a[i]=read();
	for(int i=1;i<=n;i++)
	s[i]=s[i-1]+a[i];
	for(int i=1;i<=n;i++)
	s[i]+=i;
    int head=0,tail=0;
    for(int i=1;i<=n;i++)
    {
    	while(head<tail && slop(q[head],q[head+1])<s[i])
		head++;
		int now=q[head];
		dp[i]=dp[now]+(s[i]-s[now]-C)*(s[i]-s[now]-C);
		while(head<tail && slop(q[tail],i)<slop(q[tail-1],q[tail]))
		tail--;
		q[++tail]=i;
	}
	printf("%lld\n",dp[n]);
	return 0;
}