题面: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;
}