OI退役笔记-023：数据结构（三）RMQ

RMQ 用于求解区间最值问题。
比如有一个数列，共 1e9 个数字。共计 1e8 次询问区间 [l, r] 中的最大值。(0 ＜ l ≤ r ≤ 1e9)。

RMQ 本质就是分治（二分或倍增）思想。但这些无所谓，只需掌握的就是 RMQ 会将问题转化为：

max{l, ..., r} = max(max{l, ..., mid}, max{mid + 1, ... r});

需要注意的是，前后两段区间可以重复，因为两段区间的长度都是 2^k，k 是使 2^k < r - l + 1 的最大整数。

模板

#include <cstdio>
#define max(a, b)   (((a) > (b)) ? (a) : (b))
 
int n, k, l, r, f[1000001][20], log[1000001];

// f[i][j] 表示区间 [i, i + 1 << j] 中的最大值
// 显然，有 f[i][j] = max(f[i][j - 1], f[i + 1 << (j - 1)][j - 1])
// f[i][0] 存储原数列第 i 项的值，即 f[i][0] = q[i]

inline void mklog()
{
	for (register int i = 2; i <= n; ++i)
		log[i] = log[i >> 1] + 1;
}

void RMQ()
{
	// 每次处理 f[i][j]
	for (register int j = 1; j <= log[n]; ++j)
		// 右端点不能超过 n
		for (register int i = 1; i + (1 << j) - 1 <= n; ++i)
			// 状态方程
			f[i][j] = max(f[i][j - 1], f[i + (1 << (j - 1))][j - 1]);
}

inline int MaxVal(int l, int r)
{
	int p = log[r - l + 1];
	// 两端区间可以重复
	return max(f[l][p], f[r - (1 << p) + 1][p]);
}

作者：Rotch
日期：2021-05-27
修改：2021-05-27