区间最大/小值#ST算法

ST算法

ST表（Sparse Table，稀疏表）是一种简单的数据结构，主要用来解决RMQ（区间最大/最小值查询）问题。 它主要应用倍增的思想，可以实现 O ( n log ⁡ n ) O(n\log n) 预处理、 O ( 1 ) O(1) 查询。

其思想就是保存以i为起点的某段数据的最小值。

f[i][j]=min(f[i][j-1],f[i+2^(j-1)][j-1])

• 首先，f[i][j-1] 表示从位置 i 开始，跳跃 2^(j-1) 步后所能达到的位置中的最小值。
• 接着，f[i+2^(j-1)][j-1] 表示从位置 i+2^(j-1)（即从 i 跳跃 2^(j-1) 步后的位置）开始，再跳跃 2^(j-1) 步后所能达到的位置中的最小值。
• 因此，取这两个位置的最小值，就得到了从位置 i 开始，跳跃 2^j 步后所能达到的位置中的最小值。

代码示例：

蓝桥杯：求区间最大值

#include<bits/stdc++.h>
using namespace std;
#define IOS ios::sync_with_stdio(false);cin.tie(nullptr);cout.tie(nullptr);
#define maxn 110000
int a[maxn], f[maxn][30];
int main() {
	IOS; 
	int n, q;cin >> n >> q; 
	
	for (int i = 1; i <= n; ++i) {
		cin >> a[i];
		f[i][0] = a[i];
	}
	
	// 计算f数组
	for (int j = 1; j <= (int)(log(n * 1.0) / log(2.0)); ++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]);
	
	auto query = [&](int l, int r) {
		int k = (int)(log((r - l + 1) * 1.0) / log(2.0));
		return max(f[l][k], f[r - (1 << k) + 1][k]);
	};
	
	// 处理查询
	while (q--) {
		int l, r;
		cin >> l >> r;
		cout << query(l, r) << endl;
	}
	
	return 0;
}