一、概述
ST表适用于可重复贡献问题,即对于运算opt,满足x opt x = x,则对应的区间询问就是一个可重复贡献问题,例如max( x , x ) = x , gcd( x , x ) = x
ST表应用最广泛的领域便是解决RMQ问题:给定n个数,m个询问,对于每个询问,需要回答区间[ l , r ]中的最大值或最小值(可以采用两个数组同时进行处理)。
基于倍增的思想,ST表可以实现O(nlogn)下进行预处理,并在O(1)时间内回答每个询问。如果仅仅进行区间最值查询,ST表的效率完全吊打线段树;但是,相比于线段树,ST表并不支持修改操作,无论是单点修改还是区间修改都不支持。
二、模板
P3865 【模板】ST 表 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)
#include<bits/stdc++.h>
using namespace std;
const int N = 1e5 + 10, L = 30;
int stmax[N][L], stmin[N][L];
int lg2[N];
int main() {
int n, m; cin >> n >> m;
lg2[0] = -1;
for (int i = 1; i <= n; i++) {
cin >> stmax[i][0];
stmin[i][0] = stmax[i][0];
lg2[i] = lg2[i >> 1] + 1; //log2向下取整
}
for (int j = 1; (1 << j) <= n; j++) {
for (int i = 1; (i + (1 << j) - 1 <= n); i++) {
stmax[i][j] = max(stmax[i][j - 1], stmax[i + (1 << (j - 1))][j - 1]);
stmin[i][j] = min(stmin[i][j - 1], stmin[i + (1 << (j - 1))][j - 1]);
}
}
while (m--) {
int l, r; cin >> l >> r;
int x = lg2[r - l + 1];
int ma = max(stmax[l][x], stmax[r - (1 << x) + 1][x]);
int mi = min(stmin[l][x], stmin[r - (1 << x) + 1][x]);
cout << ma << '\n';
}
}