范围最值查询

范围最值查询(英語:Range Minimum Query),是针对数据集的一种条件查询。若给定一个数组,范围最值查询指定一个范围条件,要求取出中最大/小的元素。

,条件为的范围最值查询返回1,它是子数组中最小的元素。

通常情况下,数组A是静态的,即元素不会变化,例如插入、删除和修改等,而所有的查询是以在线的方式给出的,即预先并不知道所有查询的参数。

RMQ问题有预处理之后每次查询的算法[1]

范围最值查询问题(RMQ)与最近公共祖先(LCA)问题有直接联系,它们可以互相转化。RMQ的算法常常应用在严格或者近似子串匹配等问题的处理中。

算法

Sparse Table

建立一个二维数组   的整数值。

在这个数组中   表示范围   中的最大值(例如   中的最大值被计为  )。

建立数组的过程可以在   时间内完成。具体算法类似于动态规划。以下是 C++ 语言描述的代码,数组约定从 0 开始:

void Initialise(vector<int> &Array)
{
	int Length = (int)Array.size();

	// 长度为 0 时,表示数据自身。
	for (int i = 0; i < Length; ++i) F[i][0] = Array[i];
	
	for (int j = 1; (1 << j) <= Length; ++j)
		for (int i = 0; i + (1 << j) - 1 < Length; ++i)
			F[i][j] = min(
				F[i][j - 1], F[i + (1 << (j - 1))][j - 1]
			); // 分成长度相等的两段
}

当我们需要计算一个区间中的最大值(例如   时),我们先求出这个区间的长度(即 8 - 3 + 1 = 6)。

然后我们算出不大于它的最大   值的指数(即 2)。我们要查询分别以 3 开头,和以 8 结尾的两个长度为   的区间的最大值。

显然    也就是(  )的最大值就是   的最大值。查询的时间是常数,代码如下:

int Query(int Left, int Right)
{
	int i = 0;
	
	while (1 << (i + 1) <= Right - Left + 1) ++i;
	
	return min(
		F[Left][i], F[Right - (1 << i) + 1][i]
	);
}

程序预处理的时间复杂度是  的,单次询问的时间复杂度是 的。整个程序的空间复杂度是 

Method of Four Russians

Method of Four Russians英语Method of Four Russians先对数组进行分块,再预处理出每个块里的ST表,以及每个块的最值构成的数组的ST表。然后每次查询时,只需算出中间连续几个块的最小值与两边不完整的块的最小值的最小值。程序预处理的时间复杂度是  的,单次询问的时间复杂度是 的。整个程序的空间复杂度是 。还可以再优化,使预处理的时间复杂度是  的,单次询问的时间复杂度是 的,空间复杂度是 [2]

数据结构

如果使用线段树等数据结构,则可以做到预处理的时间复杂度是  ,单次询问的时间复杂度是 。整个程序的空间复杂度是 。优点是可以支持动态修改。

应用

在Fischer和Heun(2007)中可以找到一些应用。[3]:3

计算树中的最近公共祖先

范围最值查询可被用于解决最近公共祖先问题[4][5]。有根树S中的节点v与w的最近公共祖先是在从根到w和v的路径上最深的公共节点u(其可能是v或w)。 Gabow, Bentley和Tarjan(1984)表明,最近公共祖先问题可以在线性时间内规约到范围最值查询问题。由此可见,与范围最值查询问题一样,最近公共祖先问题可以在常数时间内进行单次查询,并仅使用线性空间[3]

参考资料

  1. ^ Fischer, Johannes; Heun, Volker (2007), "A New Succinct Representation of RMQ-Information and Improvements in the Enhanced Suffix Array.", Proceedings of the International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies, Lecture Notes in Computer Science, 4614, Springer-Verlag, pp. 459–470, doi:10.1007/978-3-540-74450-4_41
  2. ^ Arlazarov et al. 1970.
  3. ^ 3.0 3.1 Fischer, Johannes; Heun, Volker. Combinatorics, Algorithms, Probabilistic and Experimental Methodologies. Proceedings of the International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies. LNCS 4614. Springer: 459–470. 2007. ISBN 978-3-540-74449-8. doi:10.1007/978-3-540-74450-4_41. 
  4. ^ Bender, Michael A.; Farach-Colton, Martín; Pemmasani, Giridhar; Skiena, Steven; Sumazin, Pavel. Lowest common ancestors in trees and directed acyclic graphs (PDF). Journal of Algorithms. 2005, 57 (2): 75–94 [2022-08-23]. doi:10.1016/j.jalgor.2005.08.001. (原始内容存档 (PDF)于2012-01-06). 
  5. ^ Bender, Michael; Farach-Colton, Martín. LATIN 2000: Theoretical Informatics. LATIN 2000: Theoretical Informatics. LNCS 1776. Springer: 88–94. 2000. ISBN 978-3-540-67306-4. doi:10.1007/10719839_9.