我们发现，对于队列来讲，同加，减是不改变这个队列的大小关系的； 但是呢，切开蚯蚓以及新蚯蚓不加是会改变这个队列的大小关系的。 一种简单的想法是 priorityprioritypriority _ queuequeuequeue 另一种是把切出来的两条蚯蚓隔离开，发现每次都会切出两种类型的蚯蚓，一种长的和一种短的。（因为是按比例切割） 那么把这两条蚯蚓放到两个队列当中，就能够隔离这两只蚯蚓，从而起到保护主队单调性的作用 问题是要不要用 priorityprioritypriority _ queuequeuequeue 。 我们发现，在队列一和队列二当中，相邻的两个元素总是紧接着放进去的 问题来了，这两条蚯蚓来自哪里？ 答案是原来所有蚯蚓中第一大和第二大的蚯蚓，显然这两条蚯蚓是这两条蚯蚓同一比例的后代 所以前面的蚯蚓就自然大于后面的蚯蚓，因此就删去了 priorityprioritypriority _ queuequeuequeue 这个操作。 那么我们可以证明，这样处理的三个队列（主队，长蚯蚓队，短蚯蚓队）都是单调的，也就是队头大于等于该队的所有元素。 最后就是，我们不能每次都加上一个 qqq （显然是找 ttt ）我们假装这个蚯蚓在取出的一瞬间长大了（ i−1i-1i−1 ）* qqq （ iii 为秒数）然后塞回去的时候在减去 iii * qqq 即可 （注：必须加上( i−1i-1i−1 )* qqq ,不然向下取整精度会不准）

#include<iostream> #include<cstdio> #include<algorithm> #include<cstring> #include<cmath> #include<queue> #include<cstdlib> #include<ctime> using namespace std; typedef long long ll; ll n,m,q,u,v,delta,l[8000005],t; queue<ll> a; queue<ll> b; queue<ll> c; ll cmp(ll a,ll b){ return a>b; } ll get_max(){ ll x1,x2,x3; x1=a.empty()?-1000000000000:a.front(); x2=b.empty()?-1000000000000:b.front(); x3=c.empty()?-1000000000000:c.front(); if(x1>=x2&&x1>=x3){ a.pop(); return x1; } else if(x2>=x1&&x2>=x3){ b.pop(); return x2; } else if(x3>=x1&&x3>=x2){ c.pop(); return x3; } } int main() { scanf("%lld%lld%lld%lld%lld%lld",&n,&m,&q,&u,&v,&t); for(ll i=1; i<=n; i++){ scanf("%lld",&l[i]); } sort(l+1,l+1+n,cmp); for(ll i=1; i<=n; i++){ a.push(l[i]); } for(ll i=1; i<=m; i++){ ll x=get_max()+delta; if(i%t0){ printf("%lld ",x); } b.push(xu/v-delta-q); c.push(x-xu/v-delta-q); delta+=q; } printf("\n"); for(ll i=1;i<=n+m;i++){ ll x=get_max()+delta; if(i%t0){ printf("%lld ",x); } } return 0; }