本文版权归ljh2000和博客园共有,欢迎转载,但须保留此声明,并给出原文链接,谢谢合作。
本文作者:ljh2000
作者博客:http://www.cnblogs.com/ljh2000-jump/
转载请注明出处,侵权必究,保留最终解释权!
题目链接:http://uoj.ac/problem/104
正解:DP+斜率优化
解题报告:
容易发现,答案只和分割处有关,与顺序无关。
所以朴素方程很容易得到:
令${S[n]=\sum_{i=1}^{n}a[i]}$
${f[i][k]=max(f[j][k-1]+S[j]*(S[i]-S[j])) ,j<i}$
对于${j1,j2}$且满足${j1<j2}$,${f[j1][k-1]<f[j2][k-1]}$,显然$j1$可以被删除,则
${f[j1][k-1]+S[j1]*(S[i]-S[j1]) < f[j2][k-1]+S[j2]*(S[i]-S[j2])}$
化简后:
${f[j1][k-1]-f[j2][k-1]+S[j2]^2-S[j1]^2 > S[i]*(S[j2]-S[j1])}$
令${g[i][k]=f[i][k]-S[i]^2}$
则${g[j1][k-1]-g[j2][k-1]>S[i]*(S[j2]-S[j1])}$
到了这一步,正解就已经呼之欲出了。显然我们可以用斜率优化+单调队列,把DP优化到$O(nk)$,做k次,每次只需扫一遍。
队首如果满足上式,则直接删掉。加入队尾的时候,看一下斜率的变化趋势,如果不满足则pop掉。
//It is made by ljh2000
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <vector>
#include <queue>
#include <complex>
using namespace std;
typedef long long LL;
const int MAXN = 100011;
int n,k,dui[MAXN],head,tail;
LL g[MAXN],s[MAXN],f[MAXN],F[MAXN];
int ans[MAXN],pre[MAXN][211];
inline int getint(){
int w=0,q=0; char c=getchar(); while((c<'0'||c>'9') && c!='-') c=getchar();
if(c=='-') q=1,c=getchar(); while (c>='0'&&c<='9') w=w*10+c-'0',c=getchar(); return q?-w:w;
} inline LL calc(int i,int j1,int j2){ return s[i]*(s[j2]-s[j1]); } inline void work(){
n=getint(); k=getint(); for(int i=1;i<=n;i++) s[i]=getint();
for(int i=2;i<=n;i++) s[i]+=s[i-1]; for(int i=1;i<=n;i++) g[i]=-s[i]*s[i];
for(int nowk=2;nowk<=k+1;nowk++) {
head=tail=0;
dui[++tail]=nowk-1;
for(int i=nowk;i<=n;i++) {
while(head<tail && calc(i,dui[head],dui[head+1])>=(g[dui[head]]-g[dui[head+1]])) head++;
F[i]=f[dui[head]]+s[dui[head]]*(s[i]-s[dui[head]]); pre[i][nowk-1]=dui[head];
while(head<tail && (g[dui[tail-1]]-g[dui[tail]])*(s[i]-s[dui[tail]]) >= (g[dui[tail]]-g[i])*(s[dui[tail]]-s[dui[tail-1]]))
tail--;
dui[++tail]=i;
}
for(int i=nowk;i<=n;i++) f[i]=F[i],g[i]=F[i]-s[i]*s[i];
}
printf("%lld\n",F[n]);
for(int i=n,j=k;i>0;j--) i=pre[i][j],ans[j]=i;
for(int i=1;i<=k;i++) printf("%d ",ans[i]);
} int main()
{
work();
return 0;
}