稀疏表的概念
稀疏表,简称
S
T
ST
ST,算法的思想为倍增、动态规划,支持在线
R
M
Q
RMQ
RMQ,不支持在线修改
时间复杂度:
O
(
N
l
o
g
N
)
O(NlogN)
O(NlogN)建表,
O
(
1
)
O(1)
O(1)查询
稀疏表的实现
用
F
[
i
]
[
j
]
F[i][j]
F[i][j]表示
i
i
i ~
i
+
2
j
−
1
i+2^j-1
i+2j−1 范围内的区间最值,区间的长度为
2
j
2^j
2j
如何构建
S
T
ST
ST 呢?以最大值为例子,状态转移方程如下,注意初始化
F
[
i
]
[
0
]
F[i][0]
F[i][0]:
F
[
i
]
[
j
]
=
m
a
x
(
F
[
i
]
[
j
−
1
]
,
F
[
i
+
2
j
−
1
]
[
j
−
1
]
)
F[i][j]=max(F[i][j-1],F[i+2^{j-1}][j-1])
F[i][j]=max(F[i][j−1],F[i+2j−1][j−1])
那么,如何确定
F
F
F 第二维的大小?
k
=
⌊
l
o
g
2
n
⌋
k=\lfloor log_2n\rfloor
k=⌊log2n⌋
两层循环:
F
o
r
j
=
1
→
k
\quad\quad For\ j=1\rightarrow k
For j=1→k
F
o
r
i
→
n
+
1
−
2
j
\quad\quad\quad\quad For\ i\rightarrow n+1-2^j
For i→n+1−2j
F
[
i
]
[
j
]
=
m
a
x
(
F
[
i
]
[
j
−
1
]
,
F
[
i
+
2
j
−
1
]
[
j
−
1
]
)
\quad\quad\quad\quad\quad\quad F[i][j]=max(F[i][j-1],F[i+2^{j-1}][j-1])
F[i][j]=max(F[i][j−1],F[i+2j−1][j−1])
稀疏表的使用
若要查询
[
l
,
r
]
[l,r]
[l,r] 之间的最大值,首先令:
k
=
⌊
l
o
g
2
(
r
−
l
+
1
)
⌋
k=\lfloor log_2(r-l+1)\rfloor
k=⌊log2(r−l+1)⌋
可得:
a
n
s
=
m
a
x
(
F
[
l
]
[
k
]
,
F
[
r
−
2
k
+
1
]
[
k
]
)
ans=max(F[l][k],F[r-2^k+1][k])
ans=max(F[l][k],F[r−2k+1][k])
【模板】ST 表
题目背景
这是一道 ST 表经典题——静态区间最大值
请注意最大数据时限只有 0.8s,数据强度不低,请务必保证你的每次查询复杂度为 O ( 1 ) O(1) 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 N N 的数列,和 $ M $ 次询问,求出每一次询问的区间内数字的最大值。
输入格式
第一行包含两个整数 N , M N,M N,M,分别表示数列的长度和询问的个数。
第二行包含 N N N 个整数(记为 a i a_i ai),依次表示数列的第 i i i 项。
接下来 M M M 行,每行包含两个整数 l i , r i l_i,r_i li,ri,表示查询的区间为 [ l i , r i ] [l_i,r_i] [li,ri]。
输出格式
输出包含 M M 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 % 30\% 30% 的数据,满足 1 ≤ N , M ≤ 10 1\le N,M\le 10 1≤N,M≤10。
对于 70 % 70\% 70% 的数据,满足 1 ≤ N , M ≤ 10 5 1\le N,M\le {10}^5 1≤N,M≤105。
对于 100 % 100\% 100% 的数据,满足 1 ≤ N ≤ 10 5 1\le N\le {10}^5 1≤N≤105, 1 ≤ M ≤ 2 × 10 6 1\le M\le 2\times{10}^6 1≤M≤2×106, a i ∈ [ 0 , 10 9 ] a_i\in[0,{10}^9] ai∈[0,109], 1 ≤ l i ≤ r i ≤ N 1\le l_i\le r_i\le N 1≤li≤ri≤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;
}