对ST表的一些简单理解以及总结

什么是ST表？

ST表是一种数据结构，用来解决区间内的一些问题（比如可以求区间最小值、区间最大值），ST表采用的倍增的思想，我们在使用ST表的时候，可以做到o(nlogn)的时间建表，做到用o(1)的时间去查询

ST表是如何构成的？具体形式是？如何推导？

ST表的实现形式是使用了一个二维数组，数组的第一维存储的是当前总共拥有的数字个数，数组的第二维存储的是从第i个数字开始的2^j个数字中的最值，递推边界则是f[i][0] = a[i]

在递推的时候，我们把子区间的长度成倍增长，如果对于一个f[i][j]（从i开始的2^j个数的最大值）我们需要如何求它的最值呢？

我们可以进行一个区间的分解，将一个2^j长度的区间分解成两个2^(j - 1)长度大小的区间

在数轴上面分析一下可得到这样子的形式（因为只有整数点所以存在于两个交界之间的实际上是没有东西的）

 

那么对于其就有如下的式子f[i][j] = max(f[i][j - 1],f[i + 2^(j - 1)][j - 1])

代码实现：

void ST_prework()
{
	for(int i = 1;i <= n;++i) 
	{
		f[i][0] = a[i];
		h[i][0] = a[i];
	}
	int t = log(n) / log(2) + 1;
	for(int j = 1;j < t;++j)
	{
		for(int i = 1;i <= n - (1 << j) + 1;++i)
		{
			f[i][j] = min(f[i][j - 1],f[i + (1<<(j - 1))][j - 1]);
			h[i][j] = max(h[i][j - 1],h[i + (1<<(j - 1))][j - 1]);
		}
	}
}

如何使用ST表进行查询操作呢？

首先如果我们知道两个区间的最值，我们只需要比较这两个区间的值我们就能得到这两个区间并起来的最值，那么我们先计算一个k，满足2 ^ k <= (r - l + 1) <= 2 ^ (k + 1)，因此我们去寻找从l 开始的2^k个数和以r结尾的2^k个数字，一定包含整个区间，并且两者中较大的数字就是整个区间[l,r]的最值

int ST_query(int l,int r)
{
	int k = log(r - l + 1) / log(2);
	int small = min(f[l][k],f[r - (1 << k) + 1][k]); 
	int bigg = max(h[l][k],h[r - (1 << k) + 1][k]);
	return bigg - small;
}