ST表算法（求解区间最值）

最新推荐文章于 2024-07-07 22:25:27 发布

yicoder

最新推荐文章于 2024-07-07 22:25:27 发布

阅读量423

点赞数

分类专栏：算法

本文链接：https://blog.csdn.net/wugufeng0220/article/details/82048220

版权

ST表是一种用于解决区间最值问题的算法，预处理时间为O(nlogn)，查询时间为O(1)，但不支持在线修改。算法通过构建mn[i][j]矩阵表示从j到j+2^i-1的最小值。查询区间最值时，利用定理找到跨越区间中点的位置，以O(1)时间复杂度获取结果。线段树和ST表是两种常见的求解RMQ问题的方法，各有优缺点，适用于不同的场景。

摘要由CSDN通过智能技术生成

ST表就是一个用来解决rmq（区间最值）问题的算法。
ST表不支持在线修改。
预处理时间复杂度O（nlogn），查询时间O（1）。
ST表算法详解（求最小值）：
用mn[i][j]表示从j到j+2^i-1的最小值（长度显然为2^i）。
任意一段的最小值显然等于min（前半段最小值，后半段最小值）。
那么mn[i][j]如何用其他状态来继承呢？
j到j+2^i-1的长度为2^i，那么一半的长度就等于2^(i-1)。
那么前半段的状态表示为mn[i-1][j]。
后半段的长度也为2^(i-1)，起始位置为j+2^(i-1)。
那么后半段的状态表示为mn[i-1][j+2^(i-1)]。
所以：
mn[i][j]=min(mn[i-1][j],mn[i-1][j+2^(i-1)]。

代码如下：

bin[0]=1;
for(int i=1;i<20;i++)
    bin[i]=bin[i-1]*2;//bin[i]表示2的i次方
Log[0]=-1;
for(int i=1;i<=200000;i++)
    Log[i]=Log[i/2]+1;//Log[i]表示log(i)
for(int i=1;i<=n;i++)
    mn[0][i]=a[i];//显然i到i+2^0-1就i一个位置，那么最小值等于自己本身的值
for(int i=1;i<=Log[n];i