【模板】ST稀疏表

• 基本介绍
• 模板题目
• 代码实现

基本介绍

在好奇心的驱使下学习了st表 最后发现没怎么懂 不过我知道它很快 - -

ST表主要用于处理静态区间最大最小值 它能做到预处理O(nlogn) 询问O(1)的时间复杂度

设f[i][j]表示区间[i,i+2^j-1]的最大值 f[i][0]为序列初值
状态转移方程为

$$f[i][j]=max(f[i][j-1],f[i+2^{j-1})][j-1])$$
对于任意一个询问的区间[left,right]我们把它拆成两段长度为2^k的区间 再取最大值 k满足
$$2^k<right-left+1$$
因为k要取最大 所以
$$k=log(right-left+1)$$
我们已经预处理了log1 - logn 也就很好搞了

模板题目

题目背景
这是一道ST表经典题——静态区间最大值
请注意最大数据时限只有0.8s，数据强度不低，请务必保证你的每次查询复杂度为 O(1) O(1)

题目描述
给定一个长度为 N N 的数列，和 M M 次询问，求出每一次询问的区间内数字的最大值。

输入输出格式
输入格式：
第一行包含两个整数 N, M，分别表示数列的长度和询问的个数。
第二行包含 N N 个整数（记为 a​i），依次表示数列的第 i i 项。
接下来 M M行，每行包含两个整数l​i​​ ,r​i，表示查询的区间为[l​i,r​i]
输出格式：
输出包含 M M行，每行一个整数，依次表示每一次询问的结果。

输入输出样例
输入样例：
8 8
9 3 1 7 5 6 0 8
1 6
1 5
2 7
2 6
1 8
4 8
3 7
1 8
输出样例：
9
9
7
7
9
8
7
9

说明
对于30%的数据，满足：1≤N,M≤10
对于70%的数据，满足：1≤N,M≤10^5
​对于100%的数据，满足：1≤N≤10^5,1≤M≤10^6​,a​i∈[0,10^9],1≤li≤r​i≤N

代码实现

#include<iostream>
#include<cstdio>
#include<cctype>
#include<cmath>

    using namespace std;
    #define in = read();
    typedef long long ll;
    typedef unsigned int ui;
    const ll size = 500000 + 1000;

        ui n , m;
        ui f[size][21];

inline ll read(){
        ll num = 0 , f = 1;    char ch = getchar();

        while(!isdigit(ch)){
                if(ch == '-')   f = -1;
                ch = getchar();
        }
        while(isdigit(ch)){
                num = num*10 + ch - '0';
                ch = getchar();
        }

        return num*f;
}

inline ll query(ll left , ll right){
        ui k = log(right - left + 1)/log(2);
        return max(f[left][k] , f[right - (1<<k) + 1][k]);
}

int main(){
        n in;   m in;
        for(register int i=1;i<=n;i++){
                f[i][0] in;
        }

        for(register int j=1;j<=20;j++)
                for(int i=1;i+(1<<j)-1<=n;i++)
                        f[i][j] = max(f[i][j - 1] , f[i + (1<<(j - 1))][j - 1]);

        for(register int i=1;i<=m;i++){
                ll x , y;   x in;   y in;
                printf("%d\n",query(x,y));
        }
}


//COYG