ST表介绍

1. 简介

ST表是求解RMQ问题的一种算法, RMQ问题是 Range Maximum(Minimum) Query 的缩写, 意思是查询区间最大(最小)值。

它使用倍增的思想和动态规划的原理, 优点是速度更快, 做到$O(n\log n)$的预处理速度, $O(1)$的单次查询速度。

ST算法是一个离线算法, 是指使用它的前提是没有修改操作。用于解决"可重复贡献问题", 是指每个元素会对答案贡献多次, 像求最大最小值计算多次也不会有影响, 可以使用ST算法, 但比如求和这类问题就不能使用了

2. ST算法流程

2.1 预处理

用$a[\mathrm{1...}n]$表示一组数据, 设$f[i,j]$表示从$a[i]$到$a[i+2^j-1]$范围内最大值, 也就是从$a[i]$向后数$2^j$个数的最大值, 可以得到$f[i][0]=a[i]$。
把$f[i,j]$范围两部分, 每部分的长度为$2^{j-1}$, 可以得到状态转移方程: $f[i][j]=\max (f[i][j-1],f[i+2^{j-1}][j-1])$
参考代码(下标从1开始):

void build(){
	for(int i = 1;i <= n;i++){
		f[i][0] = a[i];
	}
	for(int j = 1;(1 << j) <= n;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]);
		}
	}
}

注意: 加减的优先级大于位运算

2.2 询问

假设要询问区间$[l_i,r_i]$的最大值, 则先求出最大的$x$, 满足$2^x\le r_i-l_i+1$, 那么区间$[l_i,r_i]=[l_i,l_i+2^x-1]\bigcup [r_i-2^x+1,r_i]$。
两个区间元素个数都为$2^x$, 所以$[l_i,r_i]$的最大值为$\max (f[l_i][x],f[r_i-2^x+1][x])$, 可以在$O(1)$内计算出来。
两个区间有交集, 但是对于求区间最值没有影响, 这就是ST算法只适用于求区间最值的原因
参考代码:

int find(int l, int r){
	int k = log2(r - l + 1)	//要用到<cmath>头文件
	int ans = max(f[l][k], f[r - (1 << x) + 1][x]);
}

2.3 技巧

有一个小技巧(其实我老师不大支持):
$cmath$库中$log2$函数效率不高, 还可以用$O(N)$, 递推出$1$~$n$这$n$种区间长度对应的$k$值, 设$log[d]$表示$\lfloor lo{g}_{2}d\rfloor$, 则$log[d]=log[\frac{d}{2}]+1$
参考代码:

log[0] = -1;
for(int i = 1;i <= n;i++){
	log[i] = log(i / 2) + 1;
}

3. 例题

01 序列
稍微思考就可以应用ST表

Kolekcjoner Bajtemonów 2
稍微难一点


感谢收看, 国庆快乐