标签:mit rac ora 决策 mil 树状数组 ext 搜索 ati
显然是一个三维偏序
$CDQ$?其实不用
我们发现有一维其实没有必要
转化成二维偏序,树状数组维护一下就没了
有显然的$n^{3}dp$:
$$dp_{i,j}=\min\limits_{k=i}^{j}(dp_{i,k-1}+dp_{k+1,j})+sum_{i,j}$$
观察打表发现决策点单调
那么维护一下之前的决策点,每次在$[rt_{i,j-1},rt_{i+1,j}]$之间枚举转移就完了
期望题一定要倒着来$dp$
$dp_{i}=1+ \sum_{j\in son_{i}}dp{j}\times \frac{1}{du_{i}}$
发现需要高斯消元,然而复杂度是$n^{4}$的
我们使用分治消元
具体看迪哥博客
标签:mit rac ora 决策 mil 树状数组 ext 搜索 ati
原文地址:https://www.cnblogs.com/mikufun-hzoi-cpp/p/11764122.html