杂（倍增）

一、倍增思想

在我们进行递推时，如果状态空间（ans出现的所有可能集合）很大，通常线性递推无法满足时间和空间复杂度的要求

那么我们可以通过成倍增长的方式，只递推状态空间在2的整数次幂位置上的值作为代表，当我们需要其他位置上的值时，我们通过“任意整数可以表示成若干个2的次幂项的和”这一性质，对答案进行相加求解，这也就要求我们递推的问题的状态空间关于2的次幂具有可划分性

倍增与二进制划分两个思想相互结合，降低了求解很多问题的时间和空间复杂度，快速幂就是其中一个体现

例如：现在需要从A到B，距离未知（可能到达1e9），一步可以走任意长度，并且走了之后知道有没有超过B，用最少的步骤计算出AB之间距离

倍增思想：从A尝试1m、2m、4m、8m、16m……直到超过B点（比如1024m的时候超过B点）那么我们在512m的时候停下来，重复尝试1m、2m、4m、8m、16m……，直到走到B点

二、ST表

对如求区间最值问题（RMQ问题），我们可以用ST表进行预处理，时间复杂度O(nlogn)，然后以O(1)时间来回答

ST表本质时dp表，我们用dp[i][j]来存储数组在子区间[i, i + 2 ^ j - 1]里的最值，也就是从i开始的2 ^ j个数的最大值，显然递推边界就是当j = 0时，dp[i][0] = a[i]

当我们需要[l, r]之间的最值时，我们需要计算出一个k，使k满足2 ^ k < r - l + 1 <= 2 ^ (k + 1)，也就是使2的k次幂小于区间长度的最大的k，那么从l开始的2^k个数和以r结尾的2^k个数一定覆盖了整个区间[l, r]，二者中的最大值就是区间的最大值

int dp[maxn][20], a[maxn];
int n;
void ST_prework()        //预处理
{
	for (int i = 1; i <= n; i++)
		dp[i][0] = a[i];

	int t = log(n) / log(2);    //相当于log2(n)

	for (int j = 1; j <= t; j++)
		for (int i = 1; i <= n - (1 << j) + 1; i++)
			dp[i][j] = min(dp[i][j - 1], dp[i + (1 << (j - 1))][j - 1]);
}
int ST_query(int l, int r)    //查询l到r区间最值
{
	int k = log(r - l + 1) / log(2);
	return min(dp[l][k], dp[r - (1 << k) + 1][k]);
}

三、树上倍增

可以用来求最近公共祖先（LCA）