P3195玩具装箱，斜率优化

bsjsaikou10

已于 2023-11-29 12:26:50 修改

阅读量963

点赞数 19

文章标签： c++ c语言

于 2023-11-29 12:26:23 首次发布

本文链接：https://blog.csdn.net/qq_66643845/article/details/134686909

版权

P3195玩具装箱，斜率优化

题面：

[HNOI2008] 玩具装箱

题目描述

P 教授要去看奥运，但是他舍不下他的玩具，于是他决定把所有的玩具运到北京。他使用自己的压缩器进行压缩，其可以将任意物品变成一堆，再放到一种特殊的一维容器中。

P 教授有编号为 $\cdots n$ 的 $n$ 件玩具，第 $i$ 件玩具经过压缩后的一维长度为 $C_i$ 。

为了方便整理，P教授要求：

在一个一维容器中的玩具编号是连续的。
同时如果一个一维容器中有多个玩具，那么两件玩具之间要加入一个单位长度的填充物。形式地说，如果将第 $i$ 件玩具到第 $j$ 个玩具放到一个容器中，那么容器的长度将为 $x=j-i+\sum\limits_{k=i}^{j}C_k$ 。

制作容器的费用与容器的长度有关，根据教授研究，如果容器长度为 $x$ ，其制作费用为 $x-L)^2$ 。其中 $L$ 是一个常量。P 教授不关心容器的数目，他可以制作出任意长度的容器，甚至超过 $L$ 。但他希望所有容器的总费用最小。

输入格式

第一行有两个整数，用一个空格隔开，分别代表 $n$ 和 $L$ 。

第 $2$ 到第 $(n + 1)$ 行，每行一个整数，第 $(i + 1)$ 行的整数代表第 $i$ 件玩具的长度 $C_i$ 。

输出格式

输出一行一个整数，代表所有容器的总费用最小是多少。

样例 #1

样例输入 #1

样例输出 #1

提示

对于全部的测试点， $\leq n \leq 5 \times 10^4$ ， $\leq L \leq 10^7$ ， $\leq C_i \leq 10^7$ 。

Solution:

暴力dp:

观察性质，我们可以很容易的列出一个 $d p$ 状态, $f_i$ 表示我们已经装好了前i个玩具所花费的最小代价

对于这个转移方程，我们可以很容易的发现一个 $d p$ 式子，就是我们去枚举一个 $j$ ,满足条件 $j\in[1,i]$ 表示我们把 $j\sim i$ 的玩具装到了一个箱子里面,那么我们显然有一个方程为 $f_i=min(f_j + (S_i+i-(S_j+j)-1-L)^2)$ ,其中 $S_i$ 表示 $\sum_{k=1}^iC_k$ ,也就是维护了一个前缀和,这样我们发现，我们每次转移是 $\Theta(n)$ 的,所以我们的复杂度为 $\Theta(n^2)$ ,这样显然是我们不可接受的.

斜率优化:

我们把 $f_i=min(f_j + (S_i+i-(S_j+j)-1-L)^2)$ 中的 $S_i+i$ 设为 $g_i$ ,将 $S_j+j$ 设为 $g_j$ 那么我们会得到一个式子就是 $f_i=min(f_j + (g_i-g_j-1-L)^2)$ ,之后我们 $\forall j_1,j_2\in[1,i]$ 并且我们假设 $j_1$ 要比 $j_2$ 更优,那我们就有式子 $f_{j_1}+(g_i-g_{j_1}-1-L)^2>=f_{j_2}+(g_i-g_{j_2}-l-L)^2$ ,我们将这个式子展开化简一下, $设p_{j_1}=g_{j_1}-1-L$ , $j_2$ 同理,然后我们把有 $i$ 的算式移到左边,最后我们会得到一个不等式 $g_i>=\frac{(f_{j_2}+p_{j_2}^2-f_{j_1}+p_{j_1}^2)}{2g_{j_2}-2g_{j_1}}$ ,我们观察这个式子,我们可以发现一些很奇妙的东西,我们令 $f_{j_2}-p_{j_2}^2=y_2,f_{j_1}+p_{j_1}^2=y_1$ ,再令 $2g_{j_2}=x_2,2g_{j_1}=x_1$ ,我们替换一下,会发现原式子变成了 $g_i>=\frac{y_2-y_1}{x_2-x_1}$ ,这不就是点斜式嘛!!!,然后我们发现,我们 $j_1,j_2$ 两个决策点,有且仅当满足上述不等式时 $j_1$ 要更优,所以我们不妨把这些多项式转换成一些点,如下图:

其中两个点分别为我们 $j_1,j_2$ ,红色的线为我们两点之间的斜率,绿色的线为我们 $g_i$ 的斜率,我们发现当且当绿色的线的斜率大于红色的线的斜率时, $j_1$ 才会最优,相反的若绿色的线的斜率小于红色的线的斜率时, $j_2$ 更优,所以我们现在来证明一种特殊情况,如下图:

我们要证明的是,中间的点一定不优,为什么呢,我们发现这是一个上凸包,我们如果想中间的点更优,则需满足 $BC$ 的斜率要小于 $g_i$ 的斜率, $A B$ 的斜率要小于 $g_i$ 的斜率,这是完全矛盾的,所以我们对于每一个上凸包,中间的点一定不能构成答案,所以我们把中间的点删去后,我们最后得到的图一定是斜率单调上升的。