单调栈+STL——51nod1952 栈

题面：51nod1952
首先数据范围是1e7，复杂度上界肯定是$O(n)$
所以我们可以直接往单调栈（或者也可能是队列）这个方面想
然而这个东西要资瓷两端插入，一端弹出，这貌似是个双端单调栈
我一开始的想法是，维护一个单调递减的栈，如果从后面插入，那就从后面插入维护单调性，如果从前面插入，那就与栈底判断是否要插进去，答案就是栈底啦。。。
然而这样有一个很大的Bug，就是弹出的时候就GG了
怎么办呢？我们倒过来不就好了嘛。。。维护一个单调递增的栈，其他都相应地倒过来，答案就是栈顶。
这样弹出的时候就没有什么问题了，比较一下单调栈顶是不是要弹出的元素就好了
这个神奇的单调栈可以用STL的双端队列（deque）来实现，具体操作详见代码

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <deque>
#define int long long
using namespace std;
const int MOD=1e9+7;
inline int read(){
    int k=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9'){k=k*10+ch-'0';ch=getchar();}
    return k*f;
}
deque<int>s,q;
//双端队列s记录的是实际的那个栈的元素情况，q是单调栈（别看我用了q其实我写的时候本以为这是一个单调队列）
int n,A,B,C,a,b,mo;
int x[10000010];
signed main()
{
    n=read();A=read();B=read();C=read();x[0]=read();a=read();b=read();mo=read();
    int ans=0;
    for(int i=1;i<=n;++i){
        x[i]=(x[i-1]*a+b)%mo;
        if(x[i]%(A+B+C)<A||s.size()<2){
            s.push_back(i);//从后面插入
            if(q.empty()||x[q.back()]<=x[i])q.push_back(i);//.back就是最后一个元素
            ans=(ans+x[q.back()])%MOD;
        }else if(A<=x[i]%(A+B+C)&&x[i]%(A+B+C)<A+B){
            s.push_front(i);//从前面插入
            while(!q.empty()&&x[q.front()]<x[i])q.pop_front();//.front就是最前一个元素
            q.push_front(i);
            ans=(ans+x[q.back()])%MOD;
        }else{
            if(q.back()==s.back())q.pop_back();s.pop_back();
            if(!q.empty())ans=(ans+x[q.back()])%MOD;
        }
    }
    printf("%lld",ans);
    return 0;
}