【算法与数据结构】——倍增、ST、RMQ

简介

三种原理倍增、ST、RMQ主要用于解决区间信息维护与查询问题

倍增

倍增，顾名思义就是成倍增加。若问题的状态空间特别大，则一步步递推的算法复杂度太高，可以通过倍增思想，只考察2的整数次幂位置，快速缩小求解范围，直到找到解。

ST

ST(Spare Table,稀疏表)算法采用了倍增思想，在O(nlogn)时间构造一个二维表后，可以在O(1)的时间内查询[l,r]区间的最值，有效解决RMQ（区间最值查询问题）

实现方法

设F[i,j]表示[i,i+$2^j$-1]区间的最值，区间长度为$2^j$。初始化ST时，只需要将长度为$2^j$的区间划分为两个长度为$2^{j-1}$的子区间，然后求两个子区间的最值即可。递推公式F[i,j]=max{F[i,j-1],F[i+$2^{j-1}$,j-1]}。

ST创建

数组长度为n；
确定i和j的范围：i=n;
$2^k\le n<2^{k+1}$

c++ log2() 函数表示以2为底的对数

算法代码:
void ST_create(){
//第一列是数组本身
for(…);
//初始化ST
for(int j = 1;j <= k;j++)
for(int i = 1;i<=n-(i<<j)+1;i++)
{F[i][j]=max(F[i][j-1],F[i+(i<<j-1)][j-1])}
}

ST查询

要查询区间[l,r]的最值，则首先要计算k值，区间长度，$2^k\le r-l+1<2^{k+1}$,然后将查询区间分为两个区间，取两个区间的最值即可，两个区间分别为从l向后的$2^k$个数及从r向前的$2^k$个数，区间可能重叠，但对求最值没有影响。
代码：
int ST_query(int l,int r)
{return max(F[l][k],F[r-(l<<k)+1][k]);}