其他分享
首页 > 其他分享> > 【DP】决策单调性小记

【DP】决策单调性小记

作者:互联网

何谓决策单调性?

指的就是在最优化 dp 中,状态的最优转移点单调不减的性质。

这使得我们在做 dp 的时候可以减少冗余计算以达到优化的效果。这类优化方法常用于分段问题。

0x01:四边形不等式

设 \(f[i]\) 表示将前 \(i\) 个位置分段的最小代价,\(w(j,i)\) 表示从 \(j\) 转移到 \(i\) 的代价。

若对于 \(a\le b\le c\le d\),满足

\[w(a,c)+w(b,d)\le w(a,d)+w(b,c) \]

我们就说 \(w\) 满足四边形不等式

\(\bullet\) 结论:若 \(w\) 满足四边形不等式,则该 dp 问题具有决策单调性。

采取反证法:设 \(f[i]\) 的最优决策点为 \(p[i]\),且代价函数 \(w\) 满足四边形不等式。假设对于 \(j< i\),有 \(p[i]\le p[j]\),则根据最优性质,有

\[f[p[i]]+w(p[i],i)\le f[p[j]]+w(p[j],i)\qquad (1) \]

又根据四边形不等式,因为 \(p[i]\le p[j]\le j\le i\),所以有

\[w(p[i],j)+w(p[j],i)\le w(p[i],i)+w(p[j],j)\qquad (2) \]

\((1)(2)\)两式相加,两边消去相同项,得到

\[f[p[i]]+w(p[i],j)\le f[p[j]]+w(p[j],j) \]

也就是说,从 \(p[i]\) 转移到 \(j\),比从 \(p[j]\) 转移更优,与我们的假设相悖,故结论得证。

不过在实战中,四边形不等式一般较难证明,暴力输出各决策点的方式确定决策单调性是最方便的

0x02:在 \(\boxed{\mathrm{2D/1D}}\) dp 中的运用

这一类型的 dp 有分 \(k\) 段问题和区间 dp,朴素的 dp 一般是 \(O(n^3)\) 的,如果 \(w\) 满足四边形不等式,则我们可以用决策单调性来优化到 \(O(n^2)\) 的复杂度。

\(\bullet\) 结论:设 \(p_{i,j}\) 表示 \(f_{i,j}\) 的最优决策点,若 \(w\) 满足四边形不等式,则有 \(p_{i,j-1}\le p_{i,j}\le p_{i+1,j}\)。证明略。

例题 1:

\(\circ\) luoguP4767 [IOI2000]邮局

题目大意:一条数轴上有 \(n\) 个村庄,第 \(i\) 个村庄的位置为 \(a_i\),你需要放置 \(m\) 个邮局,使得每个村庄到最近的邮局的距离和最小(\(1\le m\le 300\),\(m\le n\le 3000\),\(a_i\in [1,10000]\))。也就是说这个问题是一个分 \(k\) 段问题。

设 \(f_{i,j}\) 表示在前 \(i\) 个村庄中放 \(j\) 个邮局的最小距离和,\(w(i,j)\) 表示在编号(从小到大)为 \([i,j]\) 的村庄中放一个邮局的代价(显然放在中位数处最优)。有状态转移方程

\[f_{i,j}=\min_{1\le k<i}\{f_{k,j-1}+w(k+1,j)\} \]

先做一遍 \(O(nm^2)\) 的暴力,求出每个状态的最优决策点并输出,我们可以发现满足 \(p_{i,j-1}\le p_{i,j}\le p_{i+1,j}\)

于是我们枚举 \(f_{i,j}\) 的决策点时候,可以枚举 \(k:p_{i,j-1}\le k\le p_{i+1,j}\),复杂度降为 \(O(nm)\)。

由于需要用到 \(f_{i+1,j}\) 的决策点,我们需要倒序枚举 \(i\)。

提交记录

例题 2:

\(\circ\) CF833B The Bakery

题目大意:将一个长度为 \(n\) 的序列分为 \(k\) 段,使得总价值最大。一段区间的价值表示为区间内不同数字的个数。(\(n\leq 35000,k\leq 50\))

还是熟悉的分 \(k\) 段问题,\(f_{i,j}\) 表示前 \(i\) 个位置分 \(j\) 段,状态转移方程直接出来

\[f_{i,j}=\min_{1\le k<i}\{f_{k,j-1}+w(k+1,j)\} \]

我们发现 \(w\) 是个数颜色问题,具有决策单调性(大概就是区间越长越亏),但并不能快速的得出。

注意到每次转移都是由第 \(j-1\) 层转移到第 \(j\) 层,也就是说同层之间不会转移,我们可以用上一层区间 \([0,n-1]\) 的结果去转移当前区间 \([1,n]\) 的结果,连续做 \(k\) 次,不就得到答案了吗?

考虑一种分治做法,记 \(solve(ql,qr,L,R)\) 表示从上一次分治的 \([L,R]\) 转移到 \([ql,qr]\)。对于 \(mid=\lfloor\frac{ql+qr}{2}\rfloor\),我们可以先求出它的最优决策点 \(p\),由决策单调性可知,\([ql,mid)\) 一定由 \([L,p]\) 转移而来,\((mid,qr]\) 一定由 \([p,R]\) 转移而来。

对于 \(w\) 的计算,由数颜色我们想到类似莫队的方法转移,维护当前左右端点 \(tl,tr\),随着分治移动,时间复杂度 \(O(n\log n)\),\(k\) 次分治就是 \(O(nk\log n)\)。

提交记录

也就是说,当 \(w\) 的贡献难算时,可采用分治的方法

但注意,分治方法仅适用于一轮决策用上一轮结果转移的情况,如果同层转移则不可用。

习题:

\(\circ\) CF868F Yet Another Minimization Problem

\(\circ\) P5574 [CmdOI2019]任务分配问题

\(\circ\) P4072 [SDOI2016]征途

0x03: 在 \(\boxed{\mathrm{1D/1D}}\) dp 中的运用

状态转移方程一般形如 \(f_i=\min\{f_{j-1}+w(j,i)\}\),也就是一个分段问题(不过段数不限),这类问题就不能使用分治(因为是同层转移),而是使用二分队列/二分栈维护决策点

例题:

\(\circ\) P1912 [NOI2009] 诗人小G

设 \(S_i\) 表示前 \(i\) 句诗加上 \((i-1)\) 个空格的长度,则 \(w(j,i)=|S_i-S_{j-1}-1-L|^P\) 表示将从 \(j\) 到 \(i\) 的诗句单独分成一行的代价。

通过暴力发现 \(w\) 满足四边形不等式,考虑决策单调性优化。

我们维护最优决策点 \(p_i\) ,由于满足决策单调性,对于两个决策点 \(x,y\ (x<y)\),我们一定能找到个分界点 \(k\),使得在 \(k\) 之前(\(< k\))用 \(x\) 转移优于 \(y\),在 \(k\) 之后(\(\ge k\))用 \(y\) 转移优于 \(x\)。

于是我们可以维护一个三元组 \((l,r,x)\),表示在区间 \([l,r]\) 中用 \(x\) 转移较优。根据优劣,对决策点维护个单调队列。

具体地,假设当前在位置 \(i\),我们取队头为最优转移,则队头 \((l_{head},r_{head},q_{head})\) 出队的前提是 \(r_{head}<i\)。对于队尾的三元组 \((l_{tail},r_{tail},q_{tail})\),我们能踢掉他的前提是 \(q_{tail}\) 和 \(i\) 的分界点 \(k\le l_{tail}\)。插入 \(i\) 即插入 \((k+1,n,i)\)。

事实上也不用那么麻烦地维护个三元组,记录队列中相邻两点的分界点即可。

提交记录

标签:le,dp,决策,DP,四边形,转移,单调,小记
来源: https://www.cnblogs.com/RuntimeErr/p/16599957.html