C++最大数

题目描述

现在请求你维护一个数列，要求提供以下两种操作：

1.查询操作。

语法：Q L

功能：查询当前数列中末尾 L 个数中的最大的数，并输出这个数的值。

限制：L 不超过当前数列的长度。(L>0)

2.插入操作。

语法：A n

功能：将 n 加上 t，其中 t 是最近一次查询操作的答案（如果还未执行过查询操作，则 t=0），并将所得结果对一个固定的常数 D 取模，将所得答案插入到数列的末尾。

限制：n 是整数（可能为负数）并且在长整范围内。

注意：初始时数列是空的，没有一个数。

输入格式

第一行两个整数，M 和 D，其中 M 表示操作的个数，D 如上文中所述。

接下来的 M 行，每行一个字符串，描述一个具体的操作。语法如上文所述。

输出格式

对于每一个查询操作，你应该按照顺序依次输出结果，每个结果占一行。

解题思路

本解法的核心在于我们需要维护一个后缀最大值，利用maxv[l]表示从l到数列的末尾，这个区间中的最大值。

显然维护这样一个东西是O(m)的(因为是后缀所以每一次添加一个数都要从后往前重新维护一遍)，我们又有m次操作，复杂度就变成了O(m^2)

考虑分块，如何使这个维护变得更容易呢？我们可以将操作暂存当暂存数达到一个量级S了就把maxv这个数组重构，推导一下，由于A和Q的操作总数加起来是M那可以认为A和Q的操作数的期望都是M/2，很容易可以算出该算法的复杂度的渐进上界约为$$O(M*{M\over S}+MS)\ge O({M\sqrt{M}})$$均值一下，再省略个常数就差不多了。

根据均值不等式易知，当这两项相等时，可取到等号。此时$$S={\sqrt{M}}$$（可以通过求根公式推出） ，这样的话算法的时间复杂度就被我们O(m^2)打到了O(M根号M​) 。

然后没当存储的操作数达到S就重构一下maxv数组，对于一个询问就先在暂存数组中暴力扫，然后多余的再在maxv中查询，这种分块还是很好写的，而且码量非常小。

解题代码如下：

#include <cstdio>
#include <iostream>
#include <vector>
#include <cmath>
using namespace std;

const int maxn = 2e5 + 20;
const long long minINF = (1<<64);
int m, d, m_size, top;
long long temp, n, maxv[maxn];//maxv是一个后缀最大值 maxv[l]表示区间[l,top]中的最大值
vector<long long> val;
char opt[3];

void reverse(){//每S个A操作进行一次约为O(M/2S)
    for(int i = 0; i < val.size(); i++)//O(S)
        maxv[++top] = val[i];
    for(int i = top-1; i >= 1; i--)
        maxv[i] = max(maxv[i], maxv[i+1]);;//O(M/2)
    val.clear();
}

long long query(int len){//可算作M/2次操作O(M/2)
    long long ans = minINF;
    for(int i = val.size() - 1; i >= 0 && len >= 0; len--,i--)
        ans = max(ans, val[i]);//先在当前存储的操作中查找O(S)
    if(len > 0)//如果len很大继续在maxv中O(1)查找
        ans = max(ans, maxv[top-len+1]);//maxv[top-(len-1)]表示倒数len个数中的最大值
    return ans;
}

int main(){
    scanf("%d%d", &m, &d);
    m_size = (1+(int)sqrt(1+2*m));
    while(m--){
        scanf("%s%lld", opt, &n);
        if(opt[0] == 'A'){
            val.push_back((n+temp)%d);
            if(val.size() > m_size)
                reverse();
        }else{
            scanf("%lld", &n);
            temp = query(n);
            cout << temp <<endl;
        }
    }
    return 0;
}