RMQ问题与ST算法

RMQ(Range Minimum/Maximum Query)问题是求区间最值问题。

对于长度为 n 的数组 A，进行若干次查询，对于区间 [L,R] 返回数组A中下标在 [L,R] 中的最小（大）值。

可以用线段树来解决这个问题，预处理的复杂度是 O(nlogn)，查询的复杂度是 O(logn)。

更好的解法是ST算法。Sparse_Table算法，即稀疏表算法，这个方法可以在 O(nlogn) 的预处理后达到 O(1) 的查询代价。

这个算法非常容易实现。

定义 F[ i, k ] 表示从 i 开始的，长度为 2^k 的区间内元素的最小值。

当 k = 0 时，F[ i, 0 ] 的值显然就是A[ i ] 的值。

而 k > 0 时，对于从 i 开始的长度为 2^k 的区间，它的最小值显然是从 i 开始的长度为 2^(k-1) 的区间中的最小值与从 i+2^(k-1)开始的长度为 2^(k-1) 的区间中的最小值中更小的那一个。

则有递推公式 F[ i, k ] = min{ F[ i, k-1 ], F[ i+2^(k-1), k-1] }

由于 2^k<=n，因此 F 数组中的元素个数不会超过 nlogn，而每个元素都可以在O(1)的时间内计算出，因此总时间为O(nlogn)。

int F[maxn][20];
//元素从1编号到n
void RMQ_init(int A[],int n){
    for (int i=1;i<=n;i++) F[i][0]=A[i];
    for (int k=1;(1<<k)<=n;k++)
        for (int i=1;i+(1<<k)-1<=n;i++)
            F[i][k]=min(F[i][k-1],F[i+(1<<(k-1))][k-1]);
}

对于查询操作 [L,R]，定义 k 为满足 2^k<=R-L+1 的最大整数。

则以L开头的长度为 2^k 的区间与以R结尾的长度为 2^k 的区间，能够完整的覆盖区间 [L,R]。

因此这两个区间的最小值中更小的那一个就是所查询的区间 [L,R] 的最小值。

int RMQ(int L,int R){
    int k=0;
    while ((1<<(k+1))<=R-L+1) k++;
    return min(d[L][k],d[R-(1<<k)+1][k]);
}

ST 算法也可以求出最值所在的下标，只要将 F 数组中储存的值变为数组 A 的下标即可。