hdu2430Beans(单调队列)

看好几篇题解都不知道怎么做！先抄一遍代码再说，好像发现了点问题，构造了一个多小时的数据，再想，再想，懂啦！！！

———————————————————————-

题意：
a[1], a[2], …, a[n] 取连续的一段（至少取一个），使得
(a[i+1] + a[i+2] + … + a[j]) % p <= k, 并且 (a[i+1] + a[i+2] + … + a[j])最大。
先前缀和 sum[i] !
那么问题就变成了 (i < j) (sum[j]-sum[i]) % p <= k, 并且(sum[j] - sum[i])最大。
==》 (i < j)
if sum[j]%p>sum[i]%p:
sum[j]%p-sum[i]%p <= k, 并且(sum[j] - sum[i])最大。
else:
sum[j]%p-sum[i]%p+p <= k, 并且(sum[j] - sum[i])最大。
现在证明 else 的情况下 (i,j) 的组合不如 (0,j) 的组合。

i < j, sum[j]%p < sum[i]%p, sum[j]%p-sum[i]%p+p <=k
==》 sum[j]%p <= k+sum[i]%p-p
==》 sum[j]%p < k （因为 sum[i]%p-p<0）
所以 (0,j)组合满足 (sum[j]-sum[0])%p < k，并且有
sum[j]-sum[0] > sum[j]-sum[i].
证毕。
所以 答案的组合 (i,j) 一定满足 i < j,sum[i]%p < sum[j]%p，而且 j-i 越大越好。
按 sum[i]%p 排序，用单调队列维护排序前的序号递增，并且满足 sum[j]%p-sum[i]%p <= k。

#include <iostream>#include <cstdio>#include <cstring>#include <algorithm>using namespace std;struct Node{    int x,id;    bool operator < (const struct Node &b) const{    return (x==b.x&&id<b.id)||x<b.x;    }}A[1000005];int Q[1000005];long long sum[1000005];int main(void){    int t,_=0;    scanf("%d",&t);    while(++_<=t)    {        int n,p,k,rt=-1;        scanf("%d%d%d",&n,&p,&k);        for(int i=1;i<=n;i++)        {            int G;            scanf("%d",&G);            sum[i]=sum[i-1]+G;            A[i].id=i,A[i].x=sum[i]%p;        }        sort(A+1,A+n+1);        int hd=0,tl=0;        Q[tl++]=0;        for(int l=1;l<=n;l++)        {            while(hd<tl&&A[l].x-A[Q[hd]].x>k) ++hd;            while(hd<tl&&A[l].id<A[Q[tl-1]].id) --tl;            if(hd<tl)            rt=max(rt,(int)((sum[A[l].id]-sum[A[Q[hd]].id])/p));            Q[tl++]=l;        }        printf("Case %d: %d\n",_,rt);    }    return 0;}