[noip2016]蚯蚓——单调队列

去年提高组的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 long
using 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_JUDGE
	freopen("earthworm.in","r",stdin);
	freopen("earthworm.out","w",stdout);
#endif
	scanf("%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;
}