动态往序列末尾加数字,每次添加完求序列内所有子区间的RMQ(最小值)之和,强制在线求法,求线性做法。
1.考虑某位置上的数x作为区间最小值出现的次数,一旦插入了一个比x大的数,x的贡献就不再变化。
2.当插入一个数时,只有从末尾往前单调递增的数的贡献才会变化,容易想到用一个单调栈维护。
首先,如果这个数已经被弹出栈了,那么不需要考虑;
而对于栈内的数字,假设它的下标为xi,而它下面的一个数的下标为x i -1,那么根据单调栈的性质,在xi - x i -1中不存在比当前数更小的数,因此每次新加入一个数时
以[xi - 1, xi ]中任意一个数为区间起点,都可以以新数为区间终点构成新的区间,因此它的贡献值会增加。
struct ST { ll val; int idx; }; ST st[10000005]; int n; ll x, y, z, p, b; ll res, pre; int main() { n = readint(); p = readll(); x = readll(); y = readll(); z = readll(); b = readll(); ll now = 0; int top = 0; for (int i = 1; i <= n; i++) { while (top > 0 && b < st[top].val) { pre = (pre - st[top].val * (st[top].idx - st[top - 1].idx) % MOD + MOD) % MOD; top--; } now += b * (i - st[top].idx) % MOD + pre, now %= MOD; res ^= now; pre += b * (i - st[top].idx) % MOD; pre %= MOD; st[++top].val = b; st[top].idx = i; b = (x * now + y * b + z) % p; } Put(res); }