2016NOIPday2T2蚯蚓单调队列做法

去年提高组的day2t2，很容易有种让人看到就会想到用堆的做法，但是堆的时间复杂度显然是不够的（虽然可以拿到85分，暴力打得好的话），所以就像之前做那道合并果子一样的，想到了单调队列的做法。

可以把原来的蚯蚓按照从大到小的排序放在第一个队列里面，然后每一次切蚯蚓，把第一部分放在第二个队列中，第二部分放第三个队列中，队列便会满足单调性，可以简单的证明一下：现在先假设三个队列都是满足单调递减的性质，设上一秒取出的最大的元素为A，现在取出的最大的元素为B,必满足B-q<A,S1末尾的元素为A*p,s2末尾的元素为A-A*p，

现在加到后面的元素为B*p和B-B*p，而此时其余的长度又增加了q，所以因为B-q<A,所以必有A*p+q>B*q,A-A*p+q>B-B*q,所以总是满足单调性的。

#include<iostream>#include<algorithm>#include<cstdio>#include<cstring>#include<cmath>#include<queue>#define ll long longusing namespace std;const int maxn=1e7+10;const ll inf=0x7fffffffffffffff;int n,u,v,t;ll m,q;ll a[maxn];long double p;queue<ll>s[3];bool cmp(ll a,ll b){return a>b;}void read(ll &x){ll num=0;char c=getchar();while(c<'0' || c>'9')c=getchar();while(c>='0' && c<='9'){num=(num<<1)+(num<<3)+(c^'0');c=getchar();}x=num;}ll find(){ll len0= s[0].empty() ? -inf:s[0].front();ll len1= s[1].empty() ? -inf:s[1].front();ll len2= s[2].empty() ? -inf:s[2].front();if(len0>=len1 && len0>=len2){s[0].pop();return len0;}else if(len1>=len2 && len1>=len0){s[1].pop();return len1;}else {s[2].pop();return len2;}}int main(){#ifndef ONLINE_JUDGEfreopen("earthworm.in","r",stdin);freopen("earthworm.out","w",stdout);#endifscanf("%d%lld%lld%d%d%d",&n,&m,&q,&u,&v,&t);p=u*1.0/v;for(int i=1;i<=n;i++)read(a[i]);sort(a+1,a+n+1,cmp);for(int i=1;i<=n;i++)s[0].push(a[i]);for(int i=1;i<=m;i++){ll now=find()+(i-1)*q;long double d=now*p;ll s1=d,s2=now-s1;s[1].push(s1-i*q);s[2].push(s2-i*q);if(i%t==0)printf("%lld ",now);}cout<<endl;for(int i=1;i<=m+n;i++){int put=find();if(i%t==0)printf("%d ",put+m*q);}cout<<endl;return 0;}