RMQ问题 ST表

最新推荐文章于 2024-10-01 00:00:00 发布

Authur_gyc

最新推荐文章于 2024-10-01 00:00:00 发布

阅读量182

点赞数

本文链接：https://blog.csdn.net/WHY995987477/article/details/96479098

版权

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

RMQ问题

点这里看在线与离线的定义.
RMQ的所有查询都是以在线的方式给出的，即原先并不知道所有查询的参数。

如果不预处理，每次询问都才进行处理，那么算法的复杂度O（qn）是很高的。所以我们要预处理一下，而RMQ问题有通过预处理O(n)使每次查询为O(1) 的算法。

主要方法及复杂度：
1、朴素（即搜索），O(n) - O(qn) online。
2、线段树，O(n)-O(qlogn) online。
3、ST（实质是动态规划），O(nlogn)-O(q) online。
4、RMQ标准算法：先规约成LCA（Lowest Common Ancestor），再规约成约束RMQ，O(n)-O(q) online。

ST 算法 (实质是动态规划)

这是几个要点。
在这里插入图片描述
st[i][j] 表示以 i 开头 i + 2^j 结尾的区间的最值。
初态：st[i][0] = a[i];
状态转移： st[i][j] = min/max (st[i][j-1], st[i+(1<<(j-1))][j-1]);

这两篇博文讲得很好，看他的就OK了。
https://siukwan.sinaapp.com/?p=830#comment-11392
https://criskaa.github.io/2016/10/01/RMQ（ST算法）/
个人理解
这个算法，预处理时通过dp做到全覆盖，询问的时候则将区间分成两个有重叠区域的部分，取最值。

笛卡尔树 LCA

首先根据原数列，建立笛卡尔树，从而将问题在线性时间内规约为LCA问题。LCA问题可以在线性时间内规约为约束RMQ，也就是数列中任意两个相邻的数的差都是+1或-1的RMQ问题。约束RMQ有O(n)-O(1)的在线解法，故整个算法的时间复杂度为O(n)-O(1)。

等学了图论的LCA再来补充

代码

#include<bits.stdc++.h>
using namespace std;
typedef long long ll;
const int maxn = 1e5 + 5;
int n, m;
int a[maxn];
int stmin[maxn][100];

void init()
{
	for (int i = 0; i < n; ++i) 	// 长度为 0 时，表示数据自身。
		stmin[i][0] = a[i];
	
	for (int j = 1; (1 << j) <= n; ++j)
		for (int i = 0; i + (1 << j) - 1 < n; ++i)
			st[i][j] = min(st[i][j - 1], st[i + (1 << (j - 1))][j - 1]); // 分成长度相等的两段
}
int query(int l, int r)
{
	int x = (int)(log(double(r - l + 1)) / log(2.0));
	return min(stmin[l][x], stmin[r - (1 << x) + 1][x]);
}
int main()
{
    scanf("%d %d", &n, &m);
    for(int i = 0; i < n; i++)
    {
        scanf("%d", &a[i]);
    }
    init();
    int l, r;
    for(int i = 0; i < m; i++)
    {
        scanf("%d %d", &l, &r);
        printf("%d %d\n", queru(l, r);
    }
    return 0;
}