ST表概述
ST是解决区间RMQ(区间最值)问题的一种数据结构,它不支持在线修改,预处理\(O(nlogn)\),查询\(O(1)\)
实现
以区间最小值为例子
预处理
\(ans[i][j]\)表示区间\([i,i+2^{j}-1]\)的最小值,同时它可以表示成前半个区间的最小值和后半个区间的最小值
前半个区间是\([i,i+2^{j-1}-1]\),可以表示成\(ans[i][j-1]\),那么后半个区间是\([i+2^{j-1},i+2^{j}-1]\),可以表示成\(ans[i+2^{j-1}][j-1]\)
即
$$
ans[i][j]=min(ans[i][j-1],ans[i+2^{j-1}][j-1])
$$
所以初始化的时间复杂度是\(O(nlogn)\)
实现代码
1 | int en = log2(n); |
查询
假设我们要查询的区间为\([l,r]\),那么区间长度为\(len=r-l+1\)
设\(t=\log(len)\)
我们知道\(2^{\log(a)}>a/2\)
所以\(2^{t}>len/2\)
所以区间\([l,l+2^{t}-1]\)大于等于所求区间的一半,同理从\(r\)往前数\(2^{t}\)的区间也大于等于所求区间长度的一半,那么我们只要求出这两个区间最小值的最小值就是所求区间的最小值
这两个区间我们前面已经预处理出来了,从\(r\)往前数\(2^{t}\)是\(r-2^{t}+1\).
所以所求区间的最小值为\(min(ans[l][t]),ans[r-2^{t}+1][t]\)
实现代码
1 | int t = log2(len); |
例题 POJ-3264
AC代码
1 |
|