Luogu P3865 【模板】ST表

(Luogu) (P3865) 【模板】(ST)表

ST 表是用于解决 可重复贡献问题 的数据结构。

可重复贡献问题 是指对于运算(opt)，满足(x opt x=x)，则对应的区间询问就是一个可重复贡献问题。例如，最大值有(max(x,x)=x)，(gcd) 有(gcd(x,x)=x)，所以(RMQ) 和区间(GCD)就是一个可重复贡献问题。像区间和就不具有这个性质，如果求区间和的时候采用的预处理区间重叠了，则会导致重叠部分被计算两次，这是我们所不愿意看到的。另外，(opt)还必须满足结合律才能使用(ST)表求解。

(RMQ)是英文 (Range Maximum/Minimum Query)的缩写，表示区间最大（最小）值。解决(RMQ)问题有很多种方法，可以参考 RMQ 专题 。

——引自(OI) (Wiki)

(ST)表适用于没有修改的区间最大值问题，当然如果数据强度不高，树状数组和线段树也是一个很好地选择。

树状数组做法

线段树做法（(cal {LZ})有话说：大概是自己的线段树常数太大，并不能快乐的(AC)

(ST)表基于倍增的思想，可以做到(O(nlogn))预处理，(O(1))查询。

记录(ST[i][j])为从(j)开始往后数(2^i)个这些数的最大值

显然(ST[i][j])可以递推求出：(ST[i][j]=max(ST[i-1][j],ST[i-1][j+2^{i-1}]);)

初始：(ST[0][i]=a[i];)

求一个区间([l,r])的最大值：

(frak{a}).求出区间长度：(k=l-r+1)；

(frak{b}).记录(p=log_2k)；

(frak{c}).求这个区间的最大值(max(ST[p][l],ST[p][r-2^p+1]))；

(log_2x)的处理：

Log[0]=-1;
for(int i=1;i<=n;++i) 
    Log[i]=Log[i>>1]+1;

---

#include<bits/stdc++.h>
#define N 100005
#define K 21

using namespace std;

int m,n,p,k,ST[K+1][N],a[N],Log[N];

inline int read() {
	int ans=0;
	char last=' ',ch=getchar();
	while(ch>'9'||ch<'0') last=ch,ch=getchar(); 
	while(ch>='0'&&ch<='9') ans=(ans<<1)+(ans<<3)+ch-'0',ch=getchar();
	if(last=='-') ans=-ans;
	return ans;
}

int Find(int l,int r)
{
    int x=Log[r-l+1];
    return max(ST[x][l],ST[x][r-(1<<x)+1]); 
}

int main() {
    n=read();m=read();
    Log[0]=-1;
    for (int i=1;i<=n;++i) {
		ST[0][i]=read();
		Log[i]=Log[i>>1]+1;
	}
    for (int i=1;i<=K;++i)
        for (int j=1;j+(1<<i)-1<=n;++j)
                ST[i][j]=max(ST[i-1][j],ST[i-1][j+(1<<(i-1))]);                                                       
    for(int i=1,l,r;i<=m;++i) {
        l=read();r=read();
        printf("%d
",Find(l,r));
    }
    return 0;   
}