DTOJ 4718. 管理

题意

一排 $n$ 个物品，第 $i$ 个物品权值为 $a_i$，请将其分成恰好 $k$ 非空段，且让同段中 $a_i$​ 相同的二元组 $(i,j)$ 尽量少。亦即，假设在第 $i$ 段里权值为 $j$ 物品有 $c(i,j)$ 个，则请最小化 $\sum _{i=1}^k\sum _j\left(\genfrac{}{}{0ex}{}{c(i,j)}{2}\right)$.

对 $20\%$ 的数据，$n\le 100$.

对 $50\%$ 的数据，$n\le 5000$.

对另外 $20\%$ 的数据，$a_i\le 2$.

对所有数据， 2 ≤ n ≤ 1 0 5 ,   1 ≤ k ≤ min ⁡ { n , 20 } ,   1 ≤ a i ≤ n 2\le n\le 10^5,\,1\le k\le \min\{n,20\},\,1\le a_i\le n 2≤n≤105,1≤k≤min{n,20},1≤ai​≤n.

题解

套路题啊，可惜没见过。（其实应该要自己想出来的，本质上还是太菜了）
显然有DP：f[i][j]为前i个分为j段的最小代价，先枚举j，每层由f[x][j-1]转移到f[y][j]，显然有决策单调性（反证法容易证明），但显然不能枚举x的时候直接向右推y（以前我所认识的决策单调性），然后就不会了。
不会就分治啊！（雾
考虑分治找出所有决策点，记目前要找的区间为[l,r]，决策点范围为[x,y]，找出mid的决策点p，可以分治到[l,mid-1,x,p]和[mid+1,r,p,y]，找决策点时，由于最后一段的贡献不能直接算，先保证原本的贡献为x-1对l-1的贡献，然后扫一遍加一下即可，效率$O(knlogn)$。
以下是对决策单调性的小结（之前完全不会啊）：
发现：我一般是感性认知+反证法，目前见过的题好像都OK。
实现：
1.类似双指针那样推，一般比较显然
2.如果最后一段的贡献可以O(1)直接计算，那么考虑每个点会作为后面哪段区间的最优决策点，用一个单调栈（或单调队列，视题目具体要求），每加入一个点，就和栈顶比一下，二分找到边界，查询的时候直接在里面找即可。
3.如果不能，比如本题，就用万能的分治了。