[杂题 单调性]【NOIP2016】蚯蚓

这是一道去年的联赛题，由于联赛快到了，这里就写一写有理有据的思考过程：
首先这个全部长度加$q$，我们很容易想到开一个全局变量记增量。即如果我们只关注相对大小的话，相当于每次只是把刚且出的两条长度减 $q$，其他不变。
这时候要谨慎不要走入高级数据结构的不归路，联赛一般是不会这样的。
所以我们就想这题有什么特点。可以发现，切出来的蚯蚓长度都比原来小，所以每次取出的最大值，一定是递减的。
这个单调性很重要，可以想，如果没有这个性质，就变成一个一般的插入元素取最大值的问题，不可能线性。
既然是递减的，那切出来的左边很右边分别是递减的。
这样就简单了，sort原数组，开两个队列存切出来的左右两种蚯蚓。队列是单调的，每次比较2个队列的头与待切原数组的头就能得到最大值了。

#include<cstdio>
#include<algorithm>
using namespace std;
typedef long long LL;
const int maxn=7000005;
int n,m,Q,U,V,T;
int a[maxn],a_p1,b[maxn],b_p1,b_p2,c[maxn],c_p1,c_p2,now;
bool _cmp(int x,int y){ return x>y; }
int main(){
    freopen("uoj264.in","r",stdin);
    freopen("uoj264.out","w",stdout);
    scanf("%d%d%d%d%d%d",&n,&m,&Q,&U,&V,&T);
    for(int i=1;i<=n;i++) scanf("%d",&a[i]); 
    sort(a+1,a+1+n,_cmp); 
    a_p1=b_p1=c_p1=1; b_p2=c_p2=0;
    for(int i=1;i<=m;i++){
        int t;
        if(a_p1<=n&&(b_p1>b_p2||a[a_p1]>=b[b_p1])&&(c_p1>c_p2||a[a_p1]>=c[c_p1])) t=a[a_p1++]+now*Q; else
        if(b_p1<=b_p2&&(c_p1>c_p2||b[b_p1]>=c[c_p1])) t=b[b_p1++]+now*Q; else
        t=c[c_p1++]+now*Q;
        if(i%T==0) printf("%d ",t);
        int lenL=(LL)t*U/V,lenR=t-lenL;
        b[++b_p2]=lenL-now*Q-Q; c[++c_p2]=lenR-now*Q-Q; 
        now++;
    }
    printf("\n");
    for(int i=1;i<=n+m;i++){
        int t;
        if(a_p1<=n&&(b_p1>b_p2||a[a_p1]>=b[b_p1])&&(c_p1>c_p2||a[a_p1]>=c[c_p1])) t=a[a_p1++]+now*Q; else
        if(b_p1<=b_p2&&(c_p1>c_p2||b[b_p1]>=c[c_p1])) t=b[b_p1++]+now*Q; else
        t=c[c_p1++]+now*Q;
        if(i%T==0) printf("%d ",t);     
    }
    printf("\n");
    return 0;
}