一、倍增思想
在我们进行递推时,如果状态空间(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)