【八校联考2013】军训

题目大意

有一个长度为$n$的二元组数组，要求把它划分为若干段，不妨设划分出了$m$段，二元组$i$的第一个数为$a_i$，第二个数为$b_i$，要求在满足

$\sum_{i=0}^{m-1}(max_{j=l_i}^{r_i}a_j)<=limitA$

的情况下，最小化

$max_{i=0}^{m-1}(\sum_{j=l_i}^{r_i}b_j)$

其中$n<=20000$

---

分析

答案显然可以二分，记为$limitB$，然而二分后直接乱塞显然是$0$分的。
考虑$dp$，记$f_i$表示将$i$之前的塞好了的组的和的最小值。
$O(n^2)$的转移很显然。

$f_i = max_{j<i,\sum_{l=j+1}^{i}b_l<limitB}(f_j+max_{k=j+1}^{i}a_k)$

然而总时间复杂度$O( nlog^2n)$无法接受。
考虑两个决策$k$和$l$且$k<l$，实际上它们转移给后面的状态的值可以分成两部分，第一部分是$f_k$和$f_l$，这部分只会修改一次。第二部分是每组中的最大值，记为$maxi_k$和$maxi_l$，若$maxi_k\neq maxi_l$，那么影响$maxi_k$的值的二元组必定在$j$之前，否则必定在$j$之后。也就是说一旦$maxi_k=maxi_l$那么他们再也不可能不相等，我们可以将它们捆绑在一起更新第二部分的值。

然后不妨用线段树来维护决策$f_j+max_{k=j+1}^{i}a_k$的值。那么计算$f_i$的时间复杂度降到了$O(logn)$。而维护这个值我们也是分开两部分维护，对于第一部分是简单的单点查询和维护最小值，第二部分是区间修改，再维护一个和的最小值，这道题就做完了。

由于我们每一次需要合并若干个组，然后将它们的$maxi$统一赋值。而$n$个组最多只需要合并成一个。那么合并以及对$maxi$维护的的总的复杂度是$O(nlogn)$的。

时间复杂度$O(nlog^2n)$，空间复杂度$O(n)$。

---

后记

这道题我在比赛时想的是用单调队列来维护决策。然而无法处理转移决策范围的问题。也就是说最优决策不一定能选到。其实这里用线段树就可以简单地回避了这个问题了，只是我没有去想如何很好的维护这个值，也有一点受之前做这类题目的影响吧。然而维护这个值并不是特别难的。

这道题算是对线段树使用的一个不错的技巧题。