ST表用来处理一类静态区间问题,只要该区间符合性质: f ( L , R ) = f ( f ( L , a ) , f ( b , R ) ) ( a > = b ) f(L,R)=f(f(L,a),f(b,R))\;\;(a>=b) f(L,R)=f(f(L,a),f(b,R))(a>=b)
可知此处ab部分区间是可以有重叠的
函数max,min,gcd,lcm等这些均符合该性质 即 f ( a , a ) = a f(a,a)=a f(a,a)=a
只能解决静态的问题
利用了区间dp的思想
RMQ区间最值问题
O ( n l o g n ) O(nlogn) O(nlogn)预处理 O ( 1 ) O(1) O(1)询问
d p i , j dp_{i,j} dpi,j定义为左端点为 i i i,长度为 2 j 2^j 2j的区间所求值,也就是区间 [ i , i + 2 j − 1 ] [i,i+2^j-1] [i,i+2j−1]
状态转移方程为: d p i , j = m a x ( d p i , j − 1 , d p i + 2 j − 1 , j − 1 ) dp_{i,j}=max(dp_{i,j-1},dp_{i+2^{j-1},j-1}) dpi,j=max(dpi,j−1,dpi+2j−1,j−1)
vector<int> arr; //数组下标从1开始方便处理
vector<vector<int>> dp;
int n;
void pre()
{
for (int i = 1; i <= n; i++)dp[i][0] = arr[i]; //初始化 表示长度为1的时候是自身
for (int j = 1; j <= log2(n); j++) //枚举区间长度j
for (int i = 1; i + (1 << j) - 1 <= n; i++) //枚举起点i
dp[i][j] = max(dp[i][j - 1], dp[i + (1 << (j - 1))][j - 1]);
}
int query(int l, int r)
{
int len = log2(r - l + 1); //保证区间重叠且不超过l r
return max(dp[l][len], dp[r - (1 << len) + 1][len]);
}