1,定义:
st表通过O(nlogn)的预处理,可以实现O(1)查询区间可重复贡献问题(可重复贡献问题 是指对于运算opt ,满足 x opt x=x,则对应的区间询问就是一个可重复贡献问题。如RMQ区间最值问题)。但是缺点是不支持修改操作
2,思想
- 设dp[i][j]表示区间[i,i+(1<<j)-1]的区间最值(长度为1<<j)。
- 我们在预处理时,dp[i][j]=max(dp[i][j-1],dp[i+(1<<(j-1)][j-1])得到区间信息等于[i,i+(1<<(j-1)-1]+[i+(1<<(j-1)),i+1<<j-1]==dp[i][j]
- 发现任意区间[l,r],设k=log(r-l+1)(向下取整),区间信息可以由max(dp[l][k],dp[r-(1<<k)+1][k])获得。
- 因为2^k<=r-l+1,所以[l,l+(1<<k)-1)在区间[l,r]内,[r-(1<<k)+1,r-(1<<k)+1+(1<<k)-1]=[r-(1<<k)+1,r]也在区间内,而且两个区间一定可以完全覆盖[l,r]。所以O(1)查询可获得答案。
- 我们还可以预处理log[1]~log[n],从而减少查询时间
P3865 【模板】ST 表
#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define endl "\n"
const int N = 3e5 + 10;
int dp[N][30],lg[N];
void mysolve()
{
int n,m;
cin>>n>>m;
for(int i=1; i<=n; ++i)cin>>dp[i][0];//dp[i][0]=[i,i-1+1]=[i,i]
lg[1]=0;
for(int i=2; i<=n; ++i)lg[i]=lg[i>>1]+1;//预处理lg
for(int j=1; j<=lg[n]; ++j)for(int i=1; i+(1<<j)-1<=n; ++i)dp[i][j]=max(dp[i][j-1],dp[i+(1<<(j-1))][j-1]);//预处理st表
int l,r;
while(m--)
{
cin>>l>>r;
int k=lg[r-l+1];
cout<<max(dp[l][k],dp[r-(1<<k)+1][k])<<endl;//区间查询
}
}
int32_t main()
{
std::ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
ll t=1;
//cin >> t;
while (t--)
{
mysolve();
}
system("pause");
return 0;
}