P8776

P8776
形式化题意：
给定一个数组，要求修改连续k个数，改值任意，使得最后最长不下降子序列最大

显然改动任意位置都一定不会更劣，考虑枚举改动位置求出最优，形式化

\[\max_{a_i<a_j,i < L,j>R,R-L+1=K}(dp_i+g_j+K) \]

时间复杂度\(O(n^2 \log n)\)，因为对于\(i,j\)合并是一件麻烦的事情。
从形式化的式子可以看出重要对象，以及需要枚举对象。容易发现K只是贡献一个常数项，真正难维护的合并，至于对下标的限制，可以直接枚举j代替。因此考虑枚举j式子可以转化成

\[\max_{a_i<a_j,j-i>K}(dp_i+g_j+K) \]

那么显然双指针+线段树即可。但是并不是所有j都有i的，因此对于边界情况特判即可
小结：形式化式子