动态规划——min/max的单调性优化总结

一般形式:

$max\{min(ax+by+c,dF(x)+eG(y)+f)\},其中F(x)和G(y)是单调函数。$

$min\{max(ax+by+c,dF(x)+eG(y)+f)\},其中F(x)和G(y)是单调函数。$

(以下用第一种形式讨论)

(1)dF(x)随ax的增大而增大,eG(y)随by的增大而增大。

ax和by均取最大值。

(2)dF(x)随ax的增大而增大,eG(y)随by的增大而减小。

ax一定取最大值,ax和dF(x)变成常数。

此时变成:

$H(y)=max\{min(by+c,eG(y)+f)\}$

H(y)是个单峰函数。

(3)dF(x)随ax的增大而减小,eG(y)随by的增大而增大。

与(2)类似。

(4)dF(x)随ax的增大而减小,eG(y)随by的增大而减小。

从小到大枚举ax,当ax变大时,dF(x)随着变小:

$max\{min(ax↑+by+c,dF(x)↓+eG(y)+f)\}$

如果by也跟着变大,那么eG(y)随着变小:

$max\{min(ax↑+by↑+c,dF(x)↓+eG(y)↓+f)\}$

由于我们取的是min,这样并没有什么卵用。

所以by只能变小。

$max\{min(ax↑+by↓+c,dF(x)↓+eG(y)↑+f)\}$

所以随着我们从小到大枚举ax,ay单调递减。

枚举ax时,ax和dF(x)变成常数。

此时变成:

$H(y)=max\{min(by+c,eG(y)+f)\}$

H(y)是个单峰函数。

时间: 2024-10-03 22:49:23

动态规划——min/max的单调性优化总结的相关文章

min/max优化,count ,group by

min/max优化 在表中,一般都是经过优化的. 如下地区表 id area pid 1 中国 0 2 北京 1 ... 3115 3113 我们查min(id), id是主键,查Min(id)非常快. 但是,pid上没有索引, 现在要求查询3113地区的min(id); select min(id) from it_area where pid=69; 试想 id是有顺序的,(默认索引是升续排列), 因此,如果我们沿着id的索引方向走, 那么  第1个 pid=69的索引结点,他的id就正好是

dp单调性优化

跟着书上的思路学习dp的单调性优化觉得还是很容易想的. 数据范围: dp,数据范围是百万,这应该是O(n)的算法了. 首先不难想到设f[i]表示到第i个百米所能达到的最大能量,那么f[n]即为所求. f[i]=max(f[i],f[j]+s[i]-s[j]-cost[i]);这个地方s数组是能量的前缀和,然后发现需要多加一层循环来枚举j,这个时候就是O(n^2)的算法了. 这样的话,就只有40分了,毕竟看分做题.这分给的还是很良心的. 考虑优化首先我们发现状态转移方程可以这样变f[i]=max{

P3515 [POI2011]Lightning Conductor[决策单调性优化]

给定一序列,求对于每一个$a_i$的最小非负整数$p_i$,使得$\forall j \neq i $有$ p_i>=a_j-a_i+ \sqrt{|i-j|}$. 绝对值很烦 ,先分左右情况单独做.现在假设j都在i左边,则$p_i=max{a_j-a_i+ \sqrt{i-j}}=max{a_j+ \sqrt{i-j} }-a_i$.带根号,不易斜率优化,考虑证决策单调性. 假设最优决策为j,j之前的任意决策称之为$j'$,则有 $f[j]+\sqrt{i-j} \geqslant f[j']

dp 单调性优化总结

对于单调性优化其实更多的是观察dp的状态转移式子的单调性 进而用优先队列 单调队列 二分查找什么的找到最优决策 使时间更优. 对于这道题就是单调性优化的很好的例子 首先打一个暴力再说. f[i][j]表示前i个木匠刷前j个木板所得到的最大价值 f[i][j]=max(f[i][j],f[i-1][j]); f[i][j]=max(f[i][j],f[i][j-1]) f[i][j]=max(f[i][j],f[i-1][k]+(j-k)*r(j));(k<t(j)<=j)&&(

LINQ to SQL语句之Select/Distinct和Count/Sum/Min/Max/Avg (转)

Select/Distinct操作符 适用场景:o(∩_∩)o- 查询呗. 说明:和SQL命令中的select作用相似但位置不同,查询表达式中的select及所接子句是放在表达式最后并把子句中的变量也就是结果返回回来:延迟. Select/Distinct操作包括9种形式,分别为简单用法. 匿名类型形式.条件形式.指定类型形式.筛选形式.整形类型形式. 嵌套类型形式.本地方法调用形式.Distinct形式. 1.简单用法: 这个示例返回仅含客户联系人姓名的序列. var q = from c i

51nod 1001 数组中和等于k的数对(单调性优化)

给出一个整数K和一个无序数组A,A的元素为N个互不相同的整数,找出数组A中所有和等于K的数对.例如K = 8,数组A:{-1,6,5,3,4,2,9,0,8},所有和等于8的数对包括(-1,9),(0,8),(2,6),(3,5). Input 第1行:用空格隔开的2个数,K N,N为A数组的长度.(2 <= N <= 50000,-10^9 <= K <= 10^9) 第2 - N + 1行:A数组的N个元素.(-10^9 <= A[i] <= 10^9)  Outp

linqtosql(GroupBy/Having/Count/Sum/Min/Max/Avg操作符)

Group By/Having操作符 适用场景:分组数据,为我们查找数据缩小范围. 说明:分配并返回对传入参数进行分组操作后的可枚举对象.分组:延迟 1.简单形式:var q = from p in db.Products group p by p.CategoryID into g select g; 语句描述:使用Group By按CategoryID划分产品. 说明:from p in db.Products 表示从表中将产品对象取出来.group p by p.CategoryID in

Google interview question: count bounded slices(min/max queue)

Question: A Slice of an array said to be a Bounded slice if Max(SliceArray)-Min(SliceArray)<=K. If Array [3,5,6,7,3] and K=2 provided .. the number of bounded slice is 9, first slice (0,0) in the array Min(0,0)=3 Max(0,0)=3 Max-Min<=K result 0<=2

LINQ to SQL语句(3)之Count/Sum/Min/Max/Avg

1.简单形式: 得到数据库中客户 的数量: var q = db.Customers.Count(); 2.带条件形 式: 得到数据库中未断货产品的数量: var q = db.Products.Count(p => !p.Discontinued); LongCount 说明 :返回集合中的元素个数,返回LONG类型:不延迟.对于元素个数较多的集合可 视情况可以选用LongCount来统计元素个数,它返回long类型,比较精确.生成 SQL语句为:SELECT COUNT_BIG(*) FRO