【斜率优化】BZOJ3437 小P的牧场
Description
小P在MC里有n个牧场,自西向东呈一字形排列(自西向东用1…n编号),于是他就烦恼了:为了控制这n个牧场,他需要在某些牧场上面建立控制站,每个牧场上只能建立一个控制站,每个控制站控制的牧场是它所在的牧场一直到它西边第一个控制站的所有牧场(它西边第一个控制站所在的牧场不被控制)(如果它西边不存在控制站,那么它控制西边所有的牧场),每个牧场被控制都需要一定的花费(毕竟在控制站到牧场间修建道路是需要资源的嘛~),而且该花费等于它到控制它的控制站之间的牧场数目(不包括自身,但包括控制站所在牧场)乘上该牧场的放养量,在第i个牧场建立控制站的花费是ai,每个牧场i的放养量是bi,理所当然,小P需要总花费最小,但是小P的智商有点不够用了,所以这个最小总花费就由你来算出啦。
Input
第一行一个整数 n 表示牧场数目
第二行包括n个整数,第i个整数表示ai
第三行包括n个整数,第i个整数表示bi
Output
只有一行,包括一个整数,表示最小花费
Sample Input
42 4 2 4
3 1 4 2
Sample Output
9样例解释
选取牧场1,3,4建立控制站,最小费用为2+(2+1*1)+4=9。
1<=n<=1000000, 0 < a i ,bi < = 10000
Hint
Source
KpmCup#0 By Greens题意
一列农场,从左到右,一个农场被标记的代价为,不标记的代价为其中为比大的第一个被标记的农场。
最后一个农场必须被标记。
求最小花费。
思路
很明显一个dp
也很容易想到状态和转移方程而且不会想歪
设表示前个牧场中,第个牧场标记/不标记的最小花费。
讨论一下如果标记
- 枚举前一个被标记的牧场是,那么打标记就需要统计不标记的花费。
就是 - 是整个序列里面第一个打标记的,没有前一个了。
可以当作第一个标记是第个牧场。
那么
看下来似乎没有什么用,而且我们的答案也不需要于是乎我们压掉一维
让表示强制标记的最小花费,有
时间复杂度
怎么可能过得了嘛。。。
从最里面开始,考虑先优化
好像可以用前缀和
定义
那么就有
优化了一个
了,再努力一下。
这个里面拆开括号之后,一共有四项两项仅和有关,一项仅和有关,一项都有关。
想到斜率优化。
我们可以知道,对于不同的我们得出的和不一定相同,而我们就是要遍历所有的求出最小值。
那么我们假设有两个值,只有他们之中较小的那个能产生贡献。
不妨设那么根据前缀和的定义我们可以得知
如果比更优,也就是
展开一下,
最后这个式子看上去有点眼熟,他分子和分母都是一个二项式,其中一项只和有关,一项只和有关。
我们能不能把他们看做两个点
那么那个分式是什么意思?因为互不相同,所以那个分式是不是可以表示直线的斜率?
那么我们就清楚了,比优当且仅当的斜率小于
反过来想一下,如果过点作一条斜率为的直线,比优当且仅当在直线之下
就像这幅图,的斜率是,那么只要在下面那么的斜率就小于了,那么就比优了。
然后我们考虑一下这些点,因为我们在求,所以的点的都应该已经求出来了。然后剩下的都只是一些前缀和,是常数。
所以我们可以在坐标系里面标出所有的
因为他们的横坐标单调递增,所以我们画出来的图可能长这样:
(x轴不是直的就告诉你他们的横坐标并不是线性关系,因此斜率为的直线看上去并不像一个象限平分线)
理论上只要足够大,那么这些点有朝一日都会比优。因为只要足够大,那么做一条直线,除了之外所有的点都在直线以下,就都比优。
但是在某些场合,比如不够大的情况下,就是最有用的。
所以我们才要保存下所有的点,从里面选取最优的。
但是一旦我们的增大到比直线的斜率大,并且,那么只要能选就能选,所以可以舍弃不顾。
那么什么样的一个点是可以舍弃的呢?
"上凸"的点
并不是说所有斜率优化的题都要舍弃上凸包,但是这道题要舍弃的是上凸包。看看下面的分析就知道为什么了:
假如现在有三个点,且
“上凸”只是一个形象的描述,我们把他转化为数学语言。
如果直线的斜率是,直线的斜率是,如果,我们就会说折线是上凸的。
如果说比优,那么就等价于,然后由可以得出, 也比优。
那么和哪个更优呢?我们可以发现,如果在处做一条斜率为的直线,由于,所以线段是在直线下面的,也就是说点在直线下面,比更优。
也就是说,只要比优,那么一定会有比优。所以点作为一个上凸的结点可以删除。
所以说我们要保存的结点就是一段“下凸”包。直线意味着斜率相同,也就是相同贡献,不保存可以节省空间。
为什么我们要保存一个包呢?因为随着的不断增大,原来一些没用的点可能会变成有用了,所以我们要保存下来以后用。
于是乎我们得到了一个由一个现在有用以及一些将来有用和一些过去有用的点组成的下凸包:
大概长成这样子。
怎么维护这个下凸包呢?我们可以用一个栈来储存包中的结点。
现在新来了一个点(就相当于处理完了,之后就可以用来更新后面的点,就需要把他放入栈中备用)
本来是下凸包,包中相邻的点的斜率单调递增。新来了一个点(蓝色),就有可能破坏了这个下凸包的性质
那么怎么办呢?我们根据上面的分析,所有上凸的点都是没用的,所以我们可以理所当然的从栈顶把“上凸”的点删去。
然后再看一下,发现还是上凸。
那就一直弹出到不上凸。
这个过程翻译成数学语言就是:
- 若栈中结点个数小于两个,则直接插入。
- 否则,设最后一个入栈的结点(栈顶)和倒数第二个入栈的结点的斜率为,设新的点和栈顶的斜率为,若则弹出栈顶,否则进入4
- 重复执行2直到或栈中结点个数小于两个
- 将新的点插入到栈顶(压入栈中)。
这样我们就可以维护一个上凸包
于是乎我们得到了一个由一个现在有用以及一些将来有用和一些过去有用的点组成的下凸包:
这里陈述得很仔细,只有一个点是现在有用的。我们知道过一个点作斜率为的直线,那么在这条直线以下的点都比这个点优。
那么有一句看上去废话的话:
一个点最优当且仅当不存在另一个点比他更优
然后翻译成几何语言就是
一个点最优当且仅当不存在任何一个点在直线以下, 这里直线就是指过这个点作斜率为的直线。
那么现在我们有一个下凸折线,怎么找到这个最优的点呢?
我们可以转化为这段折线和斜率为的直线的关系。因为这条直线是过某个折线上的点的,所以这条直线必定和折线有交点。
这就有两种情况:相交和相切。
如果是相交那么就有两个交点,又因为这是一条折线所以一定有一个结点作为“拐点”在直线以下,这就说明这条直线经过的点并不是最优的。
如果是相切,那么这是一个下凸包,而且斜率,我们可以很直观看出这条直线下面没有任何点了。
因此最优的点就是折线和斜率为的直线相切的点。
这个点有什么特点呢?我们仔细观察一下上图右边的情况。
不难发现这个点和前面的点的斜率小于,和右边的点的斜率大于
如果碰到等于的情况。。。随便选哪个吧。
然后这个折线的斜率是单调递增的,因此我们可以用二分的方法找到这个点。
总结一下,我们首先要用单调栈来维护一个下凸包。然后求解的时候就在栈里面通过二分的方式找到切点,可以证明是最小的。因此一次求解的时间复杂度是。之后把点压入栈中。
这样的时间复杂度就是
结束了?怎么可能。
我们真的有必要每次都二分一下吗?注意到我们求解中是单调递增的,也就是那条直线的斜率是单调递增的。
想想我们学平面凸包的时候,有一道题叫做最小矩形覆盖(LGP3187)。这道题给了我们思路,一个下凸包,斜率单调递增。配上一条单调递增的折线,他们的切点的横坐标也一定是单调递增的。
这是因为随着直线的斜率递增,切点和前后两个点的斜率也要对应增加。因此在切点前面的点一定不会成为最优决策,完全就可以删去。
那么就好像上面那个图一样
绿色框住的点是可以删去的,因为他们和下一个点的连线的斜率小于当前,不可能成为切点了。
当前的切点在增大到大于他和下一个点的连线的斜率的时候也会被删去。
那么我们每次的切点就变成了这条折线中未被删除的第一个点。
我们稍微修改一下,不用单调栈,用单调队列
用数学语言把这一过程加以表述,当我们处理完要将加入下凸包时
- 若队列中结点个数小于两个,则直接插入。
- 否则,设最后一个入队的结点(队尾)和倒数第二个入队的结点的斜率为,设新的点和队尾的斜率为,若则弹出队尾,否则进入4
- 重复执行2直到或队中结点个数小于两个
- 将新的点插入到队尾(加入队列)。
这个加入队列的过程和压入栈的过程是一模一样的。但是我们用双端单调队列就可以去除队头一些已经没用的点。当我们要处理而要找切点时
- 若队列中结点个数小于两个,则队头结点为切点
- 否则,设队头结点和队列第二个结点的斜率为,若则弹出队头。否则进入4
- 重复执行2直到或队列中仅剩一个结点
- 队头结点为所求切点。
(完了,真的完结了)
我们来分析一下时间复杂度。我们处理每个点的时候会弹出一些结点,同时加入一个结点。所以我们最多加入个结点,当然最多就只能弹出个结点,因此我们的时间复杂度是级别的
非常优越。
注意一个小细节,我们判断更优的条件是,这样就有可能出现浮点数。由于浮点数运算很慢(精度问题暂时不需要考虑,这方面还是可靠的),大概是整数运算的5-20倍。因此我们在日常书写代码的过程中尽量避免出现浮点数。所以我们可以把这个条件改成
同样,我们程序过程中求斜率来比较的时候也最好化成整数相乘的方式来比较,这样整个程序的常数会小很多。
最后说一下一些细节,因为最后一个必须标记,因此答案就是。然后只有一个的时候他必须被标记,因此初始状态就是,然后入队。
代码
施工中...施工完毕
#include <cstdio>
const int N=1<<20;
int a[N],b[N],n;
long long int st[N],sp[N],dp[N];
int deque[N],be,ed;
template <typename T>
T read(T* n=0x0)
{
T x=0;
char ch=getchar();
while(ch<'0' or ch >'9') ch=getchar();
while(ch>='0' and ch <='9')
{
x=(x<<1)+(x<<3)+(ch^48);
ch=getchar();
}
if(n) *n=x;
return x;
}
#define x(i) sp[i]
#define y(i) (dp[i]+st[i])
inline int get(const int i)
{
// (y(be+1)-y(be))/(x(be+1)-x(be))<=i
while(ed-be>1 and (y(deque[be+1])-y(deque[be])<=i*(x(deque[be+1])-x(deque[be])))) ++be;
return deque[be];
}
inline void append(const int i)
{
// ((y(ed-1)-y(ed-2))/(x(ed-1)-x(ed-2))>=(y(i)-y(ed-1))/(x(i)-x(ed-1)))
while(ed-be>1 and ((y(deque[ed-1])-y(deque[ed-2]))*(x(i)-x(deque[ed-1]))>=(y(i)-y(deque[ed-1]))*(x(deque[ed-1])-x(deque[ed-2])))) --ed;
deque[ed++]=i;
return;
}
#undef x
#undef y
int main()
{
read(&n);
for(register int i=1;i<=n;++i) read(&a[i]);
for(register int i=1;i<=n;++i) read(&b[i]);
// be careful the i below should be long long int
// or the result of the operation will be int, leading to wrong answer
for(register long long int i=1;i<=n;++i) st[i]=st[i-1]+b[i]*i;
for(register int i=1;i<=n;++i) sp[i]=sp[i-1]+b[i];
deque[ed++]=0;
for(register int i=1;i<=n;++i)
{
#define f(i,j) ((sp[i-1]-sp[j])*i-(st[i-1]-st[j]))
const int k=get(i);
dp[i]=dp[k]+f(i,k)+a[i];
append(i);
#undef f
}
printf("%lld\n",dp[n]);
return 0;
}
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 在鹅厂做java开发是什么体验
· 百万级群聊的设计实践
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战
· 永远不要相信用户的输入:从 SQL 注入攻防看输入验证的重要性
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析