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

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]);
}