好吧，我承認我是個智障……
這道題一眼看上去就是個堆，然而實際上有單調性。
注意到，如果 \(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;
}
)
