浅谈决策单调性在1D1D动态规划中的运用

news/2024/7/10 4:34:32 标签: 动态规划, 优化, 1D1D, 决策单调性

1D1D动态规划是指状态数为O(n),每个状态的决策数为O(n),直接求解的复杂度为O(n^2)的动态规划方程。但这种方程往往都能够通过一些合理的组织和决策优化到O(n log n)甚至O(n)的。
由于博主比较弱所以只分析下面几种情况(其他的等会了有时间再补)

优化">1.斜率优化

很奇怪我最开始接触的竟然是这个效率最高的但适用性最窄的优化
具体来讲,每一个决策可以看做一个二维平面上的点,某两个决策的优劣性可以通过他们之间的斜率得出
并且随着决策的不断进行,我们所用来比较的斜率也是单调变化的
这样我们就可以把决策点做成一个凸包,用单调队列维护就可以了

2.CDQ分治

既然我们已经知道了决策时单调的,如果我们一个决定决策的复杂度不高,并且不依赖于其他的决策,那么我们可以分治进行。
具体来说,我们每次暴力找出mid处的决策点,然后分治左右区间进行,这样就减少了每次决策的复杂度。
但这种做法的适用性也不高,如果你一个决策的决定依赖于其他决策,那么就GG了。

决策单调性">3.决策单调性

终于讲到我主要想讲的东西了
假入我们只知道最简单的一个性质,就是决策单调性,那么我们要怎么做?
我们先来看一个实例:
最开始我们已经确定了1号点的状态,那么全局的决策就变成了:
11111111111111(这里的每个数字表示每个点的决策点)
那么我们就可以得出2号点的状态,接着它对全局的影响:
11111111222222
接下来3号点的状态我们也可以得出,假如它对全局的影响是
11111111222222
33333333333
我们可以发现,最终我们的全局决策会变为:
11133333333333
就是决策2已经没有用了!
那么我们的做法也就出来了,维护一个队列,维护当前的每一个决策,相邻的两个决策所能控制的区间相接。
那么我们从队尾往前依次比较每一个决策点,如果当前决策在全局看来都比队尾决策优,那么队尾决策就是没有用的,出队。
否则我们就要二分一个转折点,表示从这个转折点开始,新决策比队尾决策优,然后将新决策入队。
这样我们就做到O(n log n)来维护每一个决策点对于全局的影响。
注意如果队头能影响的区间已经决策完了,那么队头出队。


http://www.niftyadmin.cn/n/942120.html

相关文章

模板整理: 高斯消元

表示不会线性基,只会最最辣鸡的高斯消元(应该够了吧QAQ) 高斯消元只要会手动模拟考场推也是可以的。。 主要想法就是找对角线,一个个往下找, 如果当前这个(i,i)的值非0,就其它行全部消去第i列&#xff0…

10.27~10.28 NOIP(伪)模拟总结

阿栓出的好题,比完赛发现自己智商下线了。。。 然而鞋垫还是接近AK了真的强Orz 感觉自己还是姿势水平不够高,一些奇怪的套路题就能区分开我和其他选手QwQ T1很快想到了正解,但是复杂度分析错了。 一次询问做到O(Sz[x]Sz[y])是很简单的&am…

[51nod1447]好记的字符串

Description 给出n个字符串&#xff0c;每个字符串长度均为m 一个字符串为好记的当且仅当它存在一个位置&#xff0c;使得这个位置上它的字符和其他所有串不一样 你每次可以修改某一个字符串中的某一个位置&#xff0c;代价为ai,j 求把所有串变成好记的的最小代价 n,m<…

整理: 动态规划---相关优化

注意以下内容都是在我的认知范围内&#xff0c;有错误在所难免…… 1.矩阵乘法优化&#xff0c; 具体一点地&#xff0c;比如当前dp状态是多维&#xff0c; 那么把后面几维装压变成一维&#xff0c; 比如f[i][j]&#xff0c;而i1~n&#xff0c;j1~m&#xff0c; 把它写成f…

模板整理: 图论---最小生成树

最小/大生成树是个非常厉害的知识点&#xff0c; 题目可以出得很巧&#xff0c; 记住它的最优子结构性质&#xff0c;并且很多时候性质有大用&#xff08;例如货车运输&#xff09; 稀疏图Kruskal&#xff0c;稠密图&#xff08;有时候&#xff09;Prim. 求最小生成树一般都…

[51nod1920]空间统计学

Description 给出m维平面上的n个点&#xff0c;每个点的每维坐标在[0,3]范围内 对于i0~3m&#xff0c;求曼哈顿距离为i的点对数量 n<200000,m<9 Solution 被鞋垫教做题QwQ我真是太菜了 才不是什么FWT呢 考虑状压Dp&#xff0c;压4进制m位 Fi,j,s表示考虑完前i为&…

模板整理: 图论---二分图匹配

二分图要记住的性质&#xff1a;(n为点数) 二分图最大匹配二分图最小点覆盖 n-二分图最大点独立集 n-二分图最小边覆盖 题型&#xff1a;求二分图匹配型&#xff1b;判断一张图是否为二分图&#xff08;染色&#xff09;型。 求二分图最大匹配的方法&#xff1a;匈牙利算…

[51nod1551]集合交易

Description 给出n个集合&#xff0c;每个集合有代价&#xff0c;可正可负。 现在让你选出一些集合&#xff0c;使得这些集合的交集大小等于选出集合的数量 保证所有集合中任意k个集合的并集大于等于k 求最小代价 n<300,ai<n Solution 让我们来看看这个猎奇条件有…