LibreOJ #541. 「LibreOJ NOIP Round #1」七曜圣贤（单调队列）

　　被以前自己瞎YY的东西坑了T T...单调队列的确是可以维护这种操作的....

　　显然这题可以转化成维护不在车上的东西的最小值， 支持插入和删去最早出现的值，然后就可以用单调队列了T T

#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<algorithm>
#define ll long long
#define uint unsigned int
using namespace std;
const int maxn=, inf=1e9;
int n, m, a, b, d, T, l, r, L, R, up, fir, firans;
int p[maxn], h[maxn], q[maxn];
uint ans_sum, cur_ans;
bool fly[maxn], car[maxn];
namespace IO{
    int c;
    unsigned int seed;
    unsigned int randnum(){
        seed^=seed<<;
        seed^=seed>>;
        seed^=seed<<;
        return seed;
    }

    inline int read(int &x){scanf("%d",&x);return x;}
    inline void init_case(int &m,int &a,int &b,int &d,int p[]){
        scanf("%d%u%d%d%d%d",&m,&seed,&a,&b,&c,&d);
        for(int i=;i<=m;i++){
            if(randnum()%c==) p[i]=-;
            else p[i]=randnum()%b;
        }
    }

    inline void update_ans(unsigned int &ans_sum,unsigned int cur_ans,int no){
        const static unsigned int mod=;
        ans_sum^=(long long)no*(no+)%mod*cur_ans%mod;
    }
}
using IO::read;
using IO::init_case;
using IO::update_ans;
inline void qpush(int x)
{
    while(L<=R && q[R]>=x) R--;
    q[++R]=x;
}
inline int min(int a, int b){return a<b?a:b;}
int main()
{
    read(T);
    while(T--)
    {
        init_case(m, a, b, d, p);
        up=max(a+, b);
        memset(fly, , (up+));
        memset(car, , (up+));
        L=; R=; l=; r=; ans_sum=; firans=a+;
        for(int i=;i<=a;i++) car[i]=;
        for(int i=;i<=m;i++)
        {
            cur_ans=;
            if(p[i]==-)
            {
                if(l<=r && !d)
                {
                    if(L<=R && q[L]==h[l]) L++;
                    fly[h[l++]]=, cur_ans=(L<=R)?min(firans, q[L]):firans;
                }
            }
            else
            {
                if(!car[p[i]])
                {
                    car[p[i]]=;
                    while(car[firans]) firans++;
                    cur_ans=(L<=R)?min(firans, q[L]):firans;
                }
                else if(car[p[i]] && !fly[p[i]] && !d) fly[p[i]]=, h[++r]=p[i], qpush(p[i]), cur_ans=(L<=R)?min(firans, q[L]):firans;
                else if(l<=r && !d)
                {
                    if(L<=R && q[L]==h[l]) L++;
                    fly[h[l++]]=, cur_ans=(L<=R)?min(firans, q[L]):firans;
                }
            }
            update_ans(ans_sum, cur_ans, i);
        }
        printf("%u\n", ans_sum);
    }
    return ;
}