好吧，我承认我是个智障……
这道题一眼看上去就是个堆，然而实际上有单调性。
注意到，如果 \(q = 0\) 的话，将蚯蚓的左右两边分开丢进两个队列中，则两个队列都是单调不增的，因为每次取出的蚯蚓长度单调不增。
对于 \(q \neq 0\)，因为除了切开的两只，所有蚯蚓长度都增加了，我们维护这个增加的值，表示三个队列（包括初始队列）中所有的元素都要加上这个值才是真实的长度。但是这样刚切开的蚯蚓的左右两边长度就多增加了 \(q\)，所以我们把他们的长度减 \(q\) 再丢进两个队列中。这样就保证了每个元素加上这个元素后就是真实的长度。
至于单调性，和 \(q=0\) 相比，每次只有最小的两个变得更小，而总体加上一个数是不影响单调性的，所以仍然是单调不增的。
我是个智障是因为我代码里有这样一句话：
memset(a+1,-127,sizeof(a));于是数组越界就炸飞天了，别问我为什么，我该吃药了……
#include <bits/stdc++.h>
using namespace std;#define ll long long
#define RG register
#define N 7100005inline int gi()
{RG int ret; RG char ch;ret=0, ch=getchar();while (ch < '0' || ch > '9')ch=getchar();while (ch >= '0' && ch <= '9')ret=(ret<<3)+(ret<<1)+ch-'0', ch=getchar();return ret;
}int a[N],l[N],r[N],ha,hl,hr,ta,tl,tr,now;inline void get()
{if (a[ha] > l[hl])if (a[ha] > r[hr])now=a[ha++];elsenow=r[hr++];elseif (l[hl] > r[hr])now=l[hl++];elsenow=r[hr++];
}int main()
{
// freopen("earthworm.in","r",stdin);
// freopen("earthworm.out","w",stdout);int n,m,q,u,v,t,i,inc,le,ri;n=gi(), m=gi(), q=gi(), u=gi(), v=gi(), t=gi();memset(a,-127,sizeof(a));memset(l,-127,sizeof(l));memset(r,-127,sizeof(r));for (i=1; i<=n; ++i)a[i]=gi();sort(a+1,a+n+1,greater <int> ());ha=hl=hr=1, tl=tr=0, ta=n, inc=0, i=1;n+=m;while (m--){get();now+=inc;if (i == t)printf("%d ",now), i=0;le=(ll)now*u/v, ri=now-le;inc+=q, i++;le-=inc, ri-=inc;l[++tl]=le, r[++tr]=ri;}putchar('\n');i=1;while (n--){get();if (i == t)i=0, printf("%d ",now+inc);i++;}return 0;
}
)
