P7482 不条理狂诗曲 题解【纯思路】

阅读须知

本文章仅提供解题思路！

题意

给定长度为 $n$ 的非负整数序列 $a$，求
$$\sum _{l=1}^n\sum _{r=l}^{n}f(l,r)$$
，其中 $f(l,r)$ 表示从 $a$ 序列的区间 $[l,r]$ 选择若干不相邻的数的和的最大值。结果对 $10^9+7$ 取模。

• 原题链接：P7482 不条理狂诗曲

思路

求所有区间的权值和提示我们使用分治。

考虑分治。设当前处理的区间为 $[l,r]$，令 $mid=\lfloor \frac{l+r}{2}\rfloor$，我们将子区间分为三种：

• 左右端点都在 $[l,mid]$ 上；
• 左右端点都在 $[mid+1,r]$ 上；
• 左端点在 $[l,mid]$ 上，右端点在 $[mid+1,r]$ 上。

前两种子区间可以分治递归求解。对于第三种子区间，我们令 $f{0}_L$ 表示以 $L$ 开始不取 $mid$ 时 $[L,mid]$ 的最大权值，$f{1}_L$ 表示以 $L$ 开始取 $mid$ 时 $[L,mid]$ 的最大权值。相对应的，令 $g{0}_R$ 表示以 $R$ 结束不取 $mid+1$ 时 $[mid+1,R]$ 的最大权值，$g{1}_R$ 表示以 $R$ 结束取 $mid+1$ 时 $[mid+1,R]$ 的最大权值。

对于所有 $L$ 和 $R$，我们可以用类似 dp 的方法预处理出 $f{0}_L,f{1}_L,g{0}_R,g{1}_R$，此时当前区间产生对答案的贡献即为
$$\sum _{l\le L\le mid}\sum _{mid+1\le R\le r}\max (f{0}_L+g{1}_R,f{1}_L+g{0}_R)$$
。考虑 $f{0}_L+g{1}_R\ge f{1}_L+g{0}_R$ 的情况，移项得 $f{0}_L-f{1}_L\ge g{0}_R-g{1}_R$。于是我们可以将 $L$ 按 $f{0}_L-f{1}_L$ 排序，$R$ 按 $g{0}_R-g{1}_R$ 排序，使用双指针计算对应贡献。

另一种情况是对称的，处理方法相似。

时间复杂度 $O(n{\log }^{2}n)$。