POJ 3709 K-Anonymous Sequence（单调队列）

题目链接：http://poj.org/problem?id=3709

题意：给定一个不下降数列，一个K，将数列分成若干段，每段的数字个数不小于K，每段的代价是这段内每个数字减去这段中最小数字之和。求一种分法使得总代价最小？

思路：dp[i]=min(dp[j]+sum[i]-sum[j]-(i-j)*a[j+1])。那么对于两个j1,j2，若j1<j2但是j2比j1更优，那么可得:(dp[j1]-sum[j1]+a[j1+1]*j1)-(dp[j2]-sum[j2]+a[j2+1]*j2)>=i*(a[j1+1]-a[j2+1])，所以每次比较head和head+1两个元素，若head没有head+1好则删掉。我们设dy(j1,j2)=(dp[j1]-sum[j1]+a[j1+1]*j1)-(dp[j2]-sum[j2]+a[j2+1]*j2),dx(j1,j2)=(a[j1+1]-a[j2+1]),那么上面的式子等价于dy(j1,j2)/dx(j1,j2)<=i。其实队列中维护的数字要保持对于某两个相邻元素(x,y)若x比y优，则x必须比y之后的都优。那么我们怎么样做到这一点呢？就是更新队尾。对于队尾的三个元素x,y,z,若dy(x,y)/dx(x,y)>=dy(y,z)/dx(y,z)，此时删掉y。因为若dy(x,y)/dx(x,y)<=i，则dy(y,z)/dx(y,z)<=i，也就是y比x优的时候z就比y优，此时必须删去y。若不删去，后面的i若出现dy(x,y)/dx(x,y)>i时我们认为x比y好，但是dy(y,z)/dx(y,z)和i的关系是不确定的，假如dy(y,z)/dx(y,z)<=i，即z比y优，那么我们怎么知道x和z哪个更优呢？因为y在中间隔开了x和z，x和z不能直接比较。

#include <iostream>
#include <stdio.h>
#include <string.h>
#include <algorithm>
#include <cmath>
#include <vector>
#include <queue>
#include <set>
#include <stack>
#include <string>
#include <map>

#define max(x,y) ((x)>(y)?(x):(y))
#define min(x,y) ((x)<(y)?(x):(y))
#define abs(x) ((x)>=0?(x):-(x))
#define i64 long long
#define u32 unsigned int
#define u64 unsigned long long
#define clr(x,y) memset(x,y,sizeof(x))
#define CLR(x) x.clear()
#define ph(x) push(x)
#define pb(x) push_back(x)
#define Len(x) x.length()
#define SZ(x) x.size()
#define PI acos(-1.0)
#define sqr(x) ((x)*(x))
#define MP(x,y) make_pair(x,y)
#define EPS 1e-9

#define FOR0(i,x) for(i=0;i<x;i++)
#define FOR1(i,x) for(i=1;i<=x;i++)
#define FOR(i,a,b) for(i=a;i<=b;i++)
#define FORL0(i,a) for(i=a;i>=0;i--)
#define FORL1(i,a) for(i=a;i>=1;i--)
#define FORL(i,a,b)for(i=a;i>=b;i--)

#define rush() int CC;for(scanf("%d",&CC);CC--;)
#define Rush(n)  while(scanf("%d",&n)!=-1)
using namespace std;

void RD(int &x){scanf("%d",&x);}
void RD(u32 &x){scanf("%u",&x);}
void RD(i64 &x){scanf("%I64d",&x);}
void RD(double &x){scanf("%lf",&x);}
void RD(int &x,int &y){scanf("%d%d",&x,&y);}
void RD(u32 &x,u32 &y){scanf("%u%u",&x,&y);}
void RD(double &x,double &y){scanf("%lf%lf",&x,&y);}
void RD(int &x,int &y,int &z){scanf("%d%d%d",&x,&y,&z);}
void RD(int &x,int &y,int &z,int &t){scanf("%d%d%d%d",&x,&y,&z,&t);}
void RD(u32 &x,u32 &y,u32 &z){scanf("%u%u%u",&x,&y,&z);}
void RD(double &x,double &y,double &z){scanf("%lf%lf%lf",&x,&y,&z);}
void RD(char &x){x=getchar();}
void RD(char *s){scanf("%s",s);}
void RD(string &s){cin>>s;}

void PR(int x) {printf("%d\n",x);}
void PR(int x,int y) {printf("%d %d\n",x,y);}
void PR(int x,int y,int z) {printf("%d %d %d\n",x,y,z);}
void PR(i64 x) {printf("%lld\n",x);}
void PR(u32 x) {printf("%u\n",x);}
void PR(double x) {printf("%.5lf\n",x);}
void PR(char x) {printf("%c\n",x);}
void PR(char *x) {printf("%s\n",x);}
void PR(string x) {cout<<x<<endl;}

const int INF=1000000000;
const int N=500005;

int n,k,Q
,head,tail;
i64 sum
,dp
,a
;

i64 dy(int j1,int j2)
{
return (dp[j1]-sum[j1]+a[j1+1]*j1)-(dp[j2]-sum[j2]+a[j2+1]*j2);
}

i64 dx(int j1,int j2)
{
return a[j1+1]-a[j2+1];
}

void DP()
{
int i,j,x,y,z;

head=tail=0;
FOR1(i,n)
{
while(head<tail&&dy(Q[head],Q[head+1])>=i*dx(Q[head],Q[head+1])) head++;
j=Q[head];
dp[i]=dp[j]+sum[i]-sum[j]-a[j+1]*(i-j);
if(i-k+1>=k)
{
z=i-k+1;
while(head<tail)
{
x=Q[tail-1];
y=Q[tail];
if(dy(x,y)*dx(y,z)>=dy(y,z)*dx(x,y)) tail--;
else break;
}
Q[++tail]=z;
}
}
PR(dp
);
}

int main()
{
rush()
{
RD(n,k);
int i;
FOR1(i,n) RD(a[i]),sum[i]=sum[i-1]+a[i];
DP();
}
return 0;
}