题解 P1295 [TJOI2011] 书架

合集 - 洛谷(30)

1.题解 P3204 [HNOI2010] 公交线路2023-09-192.题解 P1081 [NOIP2012 提高组] 开车旅行2023-09-053.题解 P1477 [NOI2008] 假面舞会2023-08-264.题解 P5234 [JSOI2012] 越狱老虎桥2023-08-235.题解 P6544 [CEOI2014] Cake2023-08-076.题解 P4041 [AHOI2014/JSOI2014] 奇怪的计算器2023-08-037.题解 P4798 [CEOI2015 Day1] 卡尔文球锦标赛2023-08-038.题解 P4799 [CEOI2015 Day2] 世界冰球锦标赛2023-08-03

9.题解 P1295 [TJOI2011] 书架2023-08-01

10.题解 P6281 [USACO20OPEN] Social Distancing S2023-07-2811.题解 P1190 [NOIP2010 普及组] 接水问题2023-07-2812.题解 P3976 [TJOI2015] 旅游2023-07-1813.题解 P8096 [USACO22JAN] Drought G2023-05-2214.题解P7302 [BZOJ2131][NOI1998] 免费的馅饼2023-05-0415.题解 [BZOJ3307] P4556 [Vani有约会]雨天的尾巴 /【模板】线段树合并2023-05-1016.题解 [BZOJ3339] P4137 Rmq Problem / mex2023-04-2717.题解 [SP179][BZOJ2919][Poi1998]Word equations2023-04-2718.题解 P5930 [POI1999] 降水2023-04-2619.题解 BZOJ2720: [Violet 5]列队春游2023-04-2520.题解P3830 [SHOI2012]随机树2023-04-2521.题解 P4755 Beautiful Pair2023-11-0722.题解 P9229 扩展九连环2023-11-1523.题解 P7165 [COCI2020-2021#1] Papričice2024-01-0124.题解 P7169 [eJOI2020 Day1] Exam2024-01-1325.题解「JOI 2014 Final」IOI 馒头2024-01-1526.题解 P9911 [COCI 2023/2024 #2] Kuglice2024-01-2427.题解 P6356 [COCI2007-2008#3] CUDAK2024-01-2928.题解 P7309 [COCI2018-2019#2] Kocka2024-01-3029.题解 P6548 [COCI2010-2011#2] IGRA2024-01-3030.题解 P6491 [COCI2010-2011#6] ABECEDA2024-01-31

收起

传送门

题意

给出一个长度为 $n$ 的序列 $h$，请将 $h$ 分成若干段，满足每段数字之和都不超过 $m$，最小化每段的最大值之和。 (~实际上就是简化题意~)。

分析

这是一个区间划分问题，自然可以想到使用 DP 解决此题。

切分（$n\le {10}^3$）

写这种题毕竟要从暴力打起，我们用 $n^2$ 解决这个 30 分。

f[0]=0;
for(int i=1; i<=n; ++i) {
    int mx=0;
    f[i]=INF;
    for(int j=i; j; --j) {
        if(qzh[i]-qzh[j-1]>m) break;
        mx=max(mx,a[j]);
        f[i]=min(f[i],f[j-1]+mx);
    }
}

时间复杂度：$O(n^2)$。

虽然切的是 30 分，但是却可以拿到 56 分，在开了 O2 后还可以拿到 77 分的高分，（如果是比赛已经可以放弃了）。

正解

我们显然是要优化内层的循环。
动态规划的一个重点就是继承，
令当前需要处理的节点为 $i$， 我们令 ${\mathit{g}}_{i,j}=f_{j-1}+\underset{k=j}{\overset{k\le i}{max}}{a}_k$，
显然 $f_i=\underset{j=1}{\overset{j\le i}{max}}{\mathit{g}}_{i,j}(qz{h}_i-qz{h}_j\le m)$。

接下来就是解决在 ${\mathit{g}}_{i,j}$ 的转移，对于其转移，只会修改后面的 $\underset{k=j}{\overset{k\le i}{max}}{a}_k$，多了一个 $a_i$，那么假如说 $a_i$ 小于原本的，那么 ${\mathit{g}}_{i,j}$ 就不变。
我们仔细观察 $\underset{k=j}{\overset{k\le i}{max}}{a}_k$ 的变化，我们可以发现，我们的 $\underset{k=j}{\overset{k\le i}{max}}{a}_k$ 是单调不增的，是如同阶梯状的。
这也就表示，我们的 ${\mathit{g}}_{i,j}$ 是可以用区间修改的。

归纳一下，我们想要实现：区间的查询维护答案，区间修改维护 $g$ 数组。显然啊，我们用线段树来优化我们的 DP。

为了维护最大值的变化，我们使用一个单调递减的单调栈，这样我们可以实现阶梯型的修改了。

tree.build(1,1,n+1);
f[0]=0;
tree.change(1,1,n+1,1,a[1]);
int it=1;
for(int i=1; i<=n; ++i) {
    while(top&&a[st[top]]<=a[i]) {
        tree.change(1,1,n+1,st[top-1]+1,st[top],a[i]-a[st[top]]);
        --top;
    }
    while(it<=i&&qzh[i]-qzh[it-1]>m) ++it;
    st[++top]=i;
    f[i]=tree.query(1,1,n+1,it,i);
    tree.change(1,1,n+1,i+1,f[i]+a[i+1]);
}
cout<<f[n]; 

时间复杂度：$O(n\log n)$。

总结一下，我们这道题考验了我们动态规划的优化，与单调栈维护最值的作用。