稀疏表（ST / Sparse Table）

RMQ问题：

给定一个序列，每次询问一个区间最小值 / 最大值。

没有修改。

//拿区间最大值来举例。
memset(ans, -INF, sizeof(ans));

for (int i = 1; i <= n; i++)
        ans[i][0] = a[i];

for (int j = 1; (1<<j) <= n; j++) //枚举长度为2^j的区间
        for (int i = 1; i+(1<<j)-1 <= n; i++)　　//枚举区间起点
                ans[i][j] = max(ans[i][j-1], ans[i+(1<<(j-1))][j-1]);　　
　　　　　　　　　　//显然，长度为2^j的区间由2^(j-1)的区间更新。

for (int i = 1; i <= q; i++)
{
        int l, r, k = 0;
        scanf("%d%d", &l, &r);
        while((1<<(k+1)) <= r-l+1) k++;　　
　　　　　　//若2^k+1还是不超过所求区间的长度，那么说明k可以继续加1
        printf("%d\n", max(ans[l][k], ans[r-(1<<k)+1][k]));　　
　　　　　　//两个区间可能有相交的部分，但由于是求最值，所以无影响。
}