算法竞赛：数据结构篇--st表

        st表是算法竞赛中比较常用的数据结构，其实现都和倍增的思想相关。本文主要介绍st表的原理，可以解决的问题和相关操作的代码实现。

st表（支持建表和查询，不支持修改的静态数据结构）

适用问题：RMQ问题（即区间最值查询问题）

        对于一般的RMQ(区间最值查询问题)，最朴素(暴力)的思想是扫描整个目标区间，然后求出最大值，这样的方法是o(n)的，基本上算法竞赛中能见到的有关区间查询的问题都会TLE。如果使用树状数组或线段树来维护区间信息，则会大大减小时间复杂度，他们的查询操作都是o(logn)的时间复杂度。但是有的问题会比较刁钻，就是要求在o(1)的时间复杂度内查询出目标区间内的最值。而st表就是为了实现此目的而设计的。

原理：倍增思想

        对于一个有n个元素的，给定的静态数组A，我们构造st表：st[i][j]，其中st[i][j]表示的信息是A中下标在子区间[i , i + 2^j -1]内的全部元素的最大值(属性暂定为最大值，还可以是其他的属性，只以其为例)。现在这个数组中的一个数字就可以直接代表原数组中一个区间的信息，这种思想是非常重要的，树状数组，线段树，主席树等等都是应用了此种思想的。

支持的操作：建树和查询

建树代码：

int st[N][M];
void build()
{
	//初始化第一层
	for (int i = 1; i <= n; i ++) st[i][0] = A[i];
	//应用类似于动态规划的思想，使用状态转移方程进行预处理
	for (int j = 1; j < M; j ++)
		for (int i = 1; i <= n - (1 << (j - 1)) + 1; i++)
			st[i][j] = max(st[i][j - 1], st[i + (1 << (j - 1))][j - 1];
}

  查询代码：

int query(int l, int r)
{
	int s = log(r - l + 1) / log(2);
	return max(st[l][s], st[r - (1 << s) + 1][s];
}

代码供读者参考，操作的原理比较简单，仅涉及简单的数学计算，可以很快的推导。