ST表简介 （洛谷P3865、洛谷P2251）

算法用途

Sparse Table，又称ST表，稀疏表。运用倍增的思想，可以解决RMQ，LCA等问题。其优点是在线查询。预处理复杂度为O(nlogn)，查询复杂度为O(1)。

算法思想

运用倍增的思想，num[i][j]表示区间[i,i+(1 << <script type="math/tex" id="MathJax-Element-1"><<</script>j)]的值。然后进行预处理求出num数组。

算法实现

以求最大值为例：

① 对于预处理，有如下转移方程式：

num[i][j]=max(num[i][j-1],num[i+(1<<j-1)][j-1]);
           

这是什么东西啊？？

我们来推一遍：

其实只是把[i,i+(1 << <script type="math/tex" id="MathJax-Element-2"><<</script>j)]这个区间给分成两块，一块是[i,i+(1 << <script type="math/tex" id="MathJax-Element-3"><<</script>j-1)],另一块是[i+(1 << <script type="math/tex" id="MathJax-Element-4"><<</script>j-1),i+(1 << <script type="math/tex" id="MathJax-Element-5"><<</script>j)]（i+(1 << <script type="math/tex" id="MathJax-Element-6"><<</script>j)==i+(1 << <script type="math/tex" id="MathJax-Element-7"><<</script>j-1)+(1 << <script type="math/tex" id="MathJax-Element-8"><<</script>j-1)）。

所以这个区间的最大值就是这两个区间的最大值的较大者。

然后就推好啦！

② 对于查询[x,y]之间的最大值，我们可以这样：

int j=log2(y-x+1);
printf("%d\n",max(num[x][j],num[y-(1<<j)+1][j]));
           

这又是什么东西？？

我们再来推一遍：

num[x][j]表示[x,x+(1 << <script type="math/tex" id="MathJax-Element-17"><<</script>j)]这段区间，本来是刚好的，但是因为j是向下取整的，因此不一定取得完。取到的区间长度实际为1 << <script type="math/tex" id="MathJax-Element-18"><<</script>j-1。此时我们可以从y-(1 << <script type="math/tex" id="MathJax-Element-19"><<</script>j-1)=y-(1 << <script type="math/tex" id="MathJax-Element-20"><<</script>j)+1这个点开始取（取重了也没事），取相同的长度。然后在这两者之间取较大者即可。

模板

以洛谷P3865 为例：

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#define MAXN 150000
using namespace std;
int n,m;
int num[MAXN+][];
inline char readc(){
    static char buf[],*l=buf,*r=buf;
    if (l==r) r=(l=buf)+fread(buf,,,stdin);
    if (l==r) return EOF;
    return *l++;
}
int _read(){
    int num=; char ch=readc();
    while (ch<'0'||ch>'9') ch=readc();
    while (ch>='0'&&ch<='9'){ num=num*+ch-; ch=readc(); }
    return num;
}
void make(){
    for (int i=;i<;i++)
        for (int j=;j+(<<i)-<=n;j++)
            num[j][i]=max(num[j][i-],num[j+(<<i-)][i-]);
}
int main(){
    n=_read(); m=_read();
    for (int i=;i<=n;i++)
        num[i][]=_read();
    make();
    for (int i=;i<=m;i++){
        int x=_read(),y=_read();
        int j=log2(y-x+);
        printf("%d\n",max(num[x][j],num[y-(<<j)+][j]));
    }
    return ;
}
           

再来个最小值（洛谷P2251）：

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#define MAXN 1500000
using namespace std;
int num[MAXN+][],q[MAXN+5];
int n,m;
inline char readc(){
    static char buf[],*l=buf,*r=buf;
    if (l==r) r=(l=buf)+fread(buf,,,stdin);
    if (l==r) return EOF;
    return *l++;
}
int _read(){
    int num=; char ch=readc();
    while (ch<'0'||ch>'9') ch=readc();
    while (ch>='0'&&ch<='9') { num=num*10+ch-; ch=readc(); }
    return num;
}
void make(){
    for (int j=;j<=;j++)
        for (int i=;i<=n;i++)
            num[i][j]=min(num[i][j-],num[i+(<<j-)][j-]);
}
int main(){
    n=_read(); m=_read();
    for (int i=;i<=n;i++)
        num[i][]=_read();
    make();
    for (int i=;i<=n-m+;i++){
        int x=i,y=m+i-;
        int j=log2(y-x+);
        q[i]=min(num[x][j],num[y-(<<j)+][j]);
    }
    for (int i=;i<=n-m+;i++)
        printf("%d\n",q[i]);
    return ;
}