RMQ用于区间快速查找最值,适用于期间数值无更改的情况。其预处理的复杂度为O(nlogn),查询的时间复杂度为O(1),对比于线段树的预处理O(nlogn),查询O(logn)来说,在某些情况下有着其独到的优势。
RMQ原理就是在原来的数组上跑一个dp,我们以查询最大值为例,它的状态定义是这样的:
dp[ i ][ j ]:下标从i开始,长度为2^j的区间的最大值。显然dp[ i ][ 0 ]就是下标是i的那个数字本身。
下面给出其转移方程:
dp[ i ][ j ] = max( dp[ i ][ j - 1 ], dp[ i + 2 ^ j ][ j - 1 ] )
对于询问区间[ i ~ j ]的最大值Max:
设k = log( j - i + 1 ) / log( 2 )
Max = max( dp[ i ][ k ], dp[ j - 2 ^ k + 1 ][ k ] )
上述过程的具体代码如下:
#include <cstdio>
#include <algorithm>
#include <iostream>
#include <cstring>
#include <queue>
#include <ctime>
#include <cmath>
#include <set>
#define eps 1e-10
#define MAXN 500010
#define INF 2*0x3f3f3f3f
using namespace std; int num[MAXN], dp[MAXN][30], n, l, r; int pow(int a, int p) { //求a^p这里用了快速幂,实际用应该用一个数组预处理一下
if (p == 0) return 1;
int ans = pow(a, p / 2);
ans *= ans;
if (p % 2) ans *= a;
return ans;
} int main() {
//freopen("in.in", "r", stdin);
//freopen("out.out", "w", stdout);
scanf("%d", &n);
for (int i = 1; i <= n; i++)
scanf("%d", &num[i]); for (int i = 1; i <= n; i++) //对dp[i][0]进行初始化
dp[i][0] = num[i]; for (int j = 1; pow(2, j) <= n; j++) //上文说的转移方程
for (int i = 1; i + pow(2, j) - 1 <= n; i++)
dp[i][j] = max(dp[i][j - 1], dp[i + pow(2, j - 1)][j - 1]); scanf("%d %d", &l, &r); //求区间[l~r]之间的最大值 int k = log(r - l + 1) / log(2);
int ans = max(dp[l][k], dp[r - pow(2, k) + 1][k]);
printf("ans is : %d\n", ans); return 0;
}
RMQ问题在处理LCA中有着巨大的用处,其一种在线方法就是使用dfs+RMQ来求两个子节点的最近公共祖先问题,其大致做法就是按照访问的顺序把每个点的时间戳放入一个数组中,这样u和v的公共祖先就是数组中u和v之间时间戳最小的点,这里可以之间用RMQ在O(1)的时间内得到答案了。