约束RMQ的解法
将A分解为长度为l=[(log N)/2]的块。设A'[i]为第i块中的最小值,B[i]为该最小值的位置。A'[i]和B[i]的长度均为N/l, 所以用ST算法处理A'数组的时空复杂度均为O(N/l*log(N/l))=O(N/logN*(logN-logl))=O(N)。预处理之后,对任意多连续的块进行的查询都能在O(1)时间内实现。余下的问题是如何进行块内查询。
此后,每次查询可以分为两种情况:
1、块内查询,答案已经被预处理出,只要在数组中找到它即可。
2、块间查询,可以分解为2个块内查询,和一个A'上的RMQ,三者的时间复杂度都是O(1)。
综上,我们给出了一个预处理时间为O(n),查询时间为O(1)的在线RMQ算法。
参考资料: