区间转化为点
前缀和与差分
通过预处理将区间操作转化为对点的操作,降低难度
其中差分思想应用较广,只要有二元性,就可以考虑差分。
如类似于加减这样的互逆的操作可用差分维护;如果一个点只有两种状态,或一个数在改变前后的奇偶性相反,都可以考虑差分。
P2882 [USACO07MAR]Face The Right Way G
每头牛只有前后两个状态,相当于0和1,因此可以通过差分的方式来(O(1))维护翻转
P4556 [Vani有约会]雨天的尾巴 /【模板】线段树合并
高维前缀和
没完全懂
压缩一维的大小
离散化
主要有两种类型
第一是问题不在意具体数值,只在意数值之间的大小关系
第二是题目中满足一些性质,可将一大段取值区间内的情况等价成一个点
离散化的方式也很多,有排序、二分、map、平衡树等
对两维的询问,利用单调性降维
two-pointers
维护两个指针(l,r)每次确定区间的左端点,让(r)不断向右移动,直到满足条件停下,维护一下答案
这里的单调性定义很宽,可以是决策单调,影响单调等
题目只要求合法的状态数,而如果当前状态合法,那么右端点右面的所有状态也合法,这意味着在同一种客栈中进行选择是有单调性的。因此可以two-pointers,若判断当前状态合法,左指针右移,不合法,右指针右移。
换研究对象
恒等式类
一个恒等式,如 (A_i=B_i-C_i),求 (A_i) 的最大值,可转化为枚举(B_i),求(C_i)的最小值
实际上,枚举(B_i)相当于把(B_i)定为常量,然后就可以通过计算比较易得的(C_i)的最小值来求(A_i)的最大值
如果我们发现了相关的恒等式,都可以参考上面的方法,来转换研究对象
在OI中,常见的恒等式不多,除了题目中给的以外,大概有:
前缀和 (A[l , r]=su m[r]-sum[l-1])
差分 (delta[i]=A[i]-A[i-1])
最短路中的不等式 (Min+w[x]<=dis[v[x]])
预处理好前缀和后,枚举(i),再查找 ([i-m,i)) 前缀和数组的最小值 ,此时 (sum[i]-min)就是最大值
正难则反
直接求解问题困难的时候,可以尝试反过来想
如选一些数使他们的和最大,等价于删去一些数,使删去的数之和最小
选出数字之和最大等价于删去数字之和最小,而由题意,任意连续(k)个数中至少有一个数被删去。定义(f[i])为前i个数中删去的数的最小和,则(f[i]=minf[i-k+1,i-1]+a[i])
本题要求序列中长度为(T-S)的子序列的最大平均值。
显然
(overline{X_{max}}>=overline{X})
(overline{X_{max}}-overline{X}>=0)
((T-S)overline{X_{max}}-(T-S)overline{X}>=0)
所以我们可以将原序列全部减去当前平均值,问题转化为判断是否存在一个长度在([S,T])范围内的区间它的和为正,如果有说明还有更大的平均值。
因此可以二分答案
根据题目性质将问题简化
奇偶性反转
P2882 [USACO07MAR]Face The Right Way G
每头牛只有前后两个状态,相当于0和1,因此可以通过差分的方式来(O(1))维护翻转
利用性质减少计算量
题目只要求合法的状态数,而如果当前状态合法,那么右端点右面的所有状态也合法,可以直接用这种颜色的客栈数减去指针算出后面的合法状态数,减少了计算量。
多维最值降维
在一个(n imes n) 的矩阵中,如果 (a) 既是行中的最值,又是列中的最值,那么 (a) 一定是整个矩阵中的最值。
我们可以先对每行进行长度为 (n) 的滑动窗口,得到每个(n imes n) 矩阵的行最值,这些最值构成一个行最值矩阵。再对行最值矩阵的每列进行长度为 (n) 的滑动窗口,这样就得到了每个(n imes n) 矩阵的最值,枚举计算答案即可