数据结构专题——稀疏表

稀疏表的概念

稀疏表，简称 $ST$，算法的思想为倍增、动态规划，支持在线 $RMQ$，不支持在线修改
时间复杂度：$O(NlogN)$建表，$O(1)$查询

稀疏表的实现

用$$F[i][j]$$表示 $i$ ~ $i+2^j-1$ 范围内的区间最值，区间的长度为 $2^j$
如何构建 $ST$ 呢？以最大值为例子，状态转移方程如下，注意初始化 $F[i][0]$：
$$F[i][j]=max(F[i][j-1],F[i+2^{j-1}][j-1])$$
那么，如何确定 $F$ 第二维的大小？$$k=\lfloor lo{g}_{2}n\rfloor$$
两层循环：
$Forj=1\to k$
$Fori\to n+1-2^j$
$F[i][j]=max(F[i][j-1],F[i+2^{j-1}][j-1])$

稀疏表的使用

若要查询 $[l,r]$ 之间的最大值，首先令：$$k=\lfloor lo{g}_2(r-l+1)\rfloor$$
可得：$$ans=max(F[l][k],F[r-2^k+1][k])$$

【模板】ST 表

题目背景

这是一道 ST 表经典题——静态区间最大值

请注意最大数据时限只有 0.8s，数据强度不低，请务必保证你的每次查询复杂度为 $O(1)$。若使用更高时间复杂度算法不保证能通过。

如果您认为您的代码时间复杂度正确但是 TLE，可以尝试使用快速读入：

inline int read()
{
	int x=0,f=1;char ch=getchar();
	while (ch<'0'||ch>'9'){if (ch=='-') f=-1;ch=getchar();}
	while (ch>='0'&&ch<='9'){x=x*10+ch-48;ch=getchar();}
	return x*f;
}

函数返回值为读入的第一个整数。

快速读入作用仅为加快读入，并非强制使用。

题目描述

给定一个长度为 $N$ 的数列，和 $ M $ 次询问，求出每一次询问的区间内数字的最大值。

输入格式

第一行包含两个整数 $N,M$，分别表示数列的长度和询问的个数。

第二行包含 $N$ 个整数（记为 $a_i$），依次表示数列的第 $i$ 项。

接下来 $M$ 行，每行包含两个整数 $l_i,r_i$，表示查询的区间为 $[l_i,r_i]$。

输出格式

输出包含 $M$ 行，每行一个整数，依次表示每一次询问的结果。

样例 #1

样例输入 #1

8 8
9 3 1 7 5 6 0 8
1 6
1 5
2 7
2 6
1 8
4 8
3 7
1 8

样例输出 #1

9
9
7
7
9
8
7
9

提示

对于 $30\%$ 的数据，满足 $1\le N,M\le 10$。

对于 $70\%$ 的数据，满足 $1\le N,M\le {10}^5$。

对于 $100\%$ 的数据，满足 $1\le N\le {10}^5$，$1\le M\le 2\times {10}^6$，$a_i\in [0,{10}^9]$，$1\le l_i\le r_i\le N$。

#include<iostream>
#include<cmath>

using namespace std;

const int N=1e5+5;
int n,m,l,r,k,k_;

int arr[N];
int f[N][20];

inline int read()
{
	int x=0,f=1;char ch=getchar();
	while (ch<'0'||ch>'9'){if (ch=='-') f=-1;ch=getchar();}
	while (ch>='0'&&ch<='9'){x=x*10+ch-48;ch=getchar();}
	return x*f;
}

void m_init()
{
	int i,j;
	k=log2(n);
	
	for(i=1;i<=n;++i)
		f[i][0]=arr[i];
	
	for(i=1;i<=k;++i)
		for(j=1;j<=n-(1<<i)+1;++j)
			f[j][i]=max(f[j][i-1],f[j+(1<<(i-1))][i-1]);
}

int main()
{
	int i,j;
	
	n=read(),m=read();
	for(i=1;i<=n;++i)
		arr[i]=read();
	
	m_init();
	
	while(m--)
	{
		l=read(),r=read();
		k_=log2(r-l+1);
		printf("%d\n",max(f[l][k_],f[r-(1<<k_)+1][k_]));
	}
	
	return 0;
}