【模板】范围最小值RMQ

范围最小值问题（RMQ）。给定一个n个元素的数组A1, A2, ,,, , An,设计一个数据结构，支持Query(L, R):计算[L, R]中A数组元素的最小值。

采用Tarjan的Sparse-Table算法，预处理时间O(nlogn), 查询O(1)，常数很小。

令d(i, j) 表示从i开始的，长度为2^j的一段元素中的最小值，则可以递推计算d(i, j) = min{d(i, j - 1), d(i + 2^j-1, j - 1)}，具体可以自己模拟一下。

void RMQ_init(int n)
{
	for (int i = 1;i <= n;i++)
		d[i][0] = a[i];
	for (int j = 1;(1 << j) <= n;j++)
		for (int i = 1;i + (1 << j) - 1 <= n;i++)
			d[i][j] = std::min(d[i][j - 1], d[i + (1 << (j - 1))][j - 1]);
}
int RMQ(int l, int r)
{
	int k = 0;
	while ((1 << (k + 1)) <= r - l + 1) k++;
	return std::min(d[l][k], d[r - (1 << k) + 1][k]);
} 

更详细的解释参见这。