ST算法(倍增)(用于解决RMQ)

时间:2022-01-09 21:21:52

ST算法

在RMQ(区间最值问题)问题中,我了解到一个叫ST的算法,实质是二进制的倍增。

ST算法能在O(nlogn)的时间预处理后,用O(1)的时间在线回答区间最值。

f[i][j]表示从i位起的2^j个数中的最大(最小)数,即[i,i+2^j-1]中的最大(最小)值,从其定义中可以看出来。

下面的实现代码以最大值为例:

预处理:

void preST(int len){
for(int i=;i<=len;i++) f[i][]=i;
int m=log(len)/log()+;
for(int j=;j<m;j++)
for(int i=;i<=(len-(<<j)+);i++)
f[i][j]=max(f[i][j-],f[i+(<<(j-))][j-]);
//[i,i+2^j-1]最大值即是 i~i+2^(j-1)和 i+2^(j-1)~i+2^(j-1)+2^(j-1) 这两半区间的较大值
}

询问:

int queryST(int l,int r){
int k=log(r-l+)/log(); //保证k满足 2^k<r+l-1<=2^(k+1)
return max(f[l][k],f[r-(<<k)+][k]);
}