浅谈ST表

1，定义：

st表通过O(nlogn)的预处理，可以实现O(1)查询区间可重复贡献问题（可重复贡献问题 是指对于运算opt ，满足 x opt x=x，则对应的区间询问就是一个可重复贡献问题。如RMQ区间最值问题）。但是缺点是不支持修改操作

2,思想

1. 设dp[i][j]表示区间[i,i+(1<<j)-1]的区间最值（长度为1<<j)。
2. 我们在预处理时，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]
3. 发现任意区间[l,r]，设k=log(r-l+1)(向下取整)，区间信息可以由max(dp[l][k],dp[r-(1<<k)+1][k])获得。
4. 因为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)查询可获得答案。
5. 我们还可以预处理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;
}