动态规划进阶3教学课件.pptx

动态规划进阶动态规划求解的优化单调队列查询最值队尾删除元素队首添加元素考虑下面的数据结构：一个悲伤的故事……?如果一个后入队的元素值大于一个先入队的元素值，那么那个先入队的元素就再也不可能成为最大值了。干脆更狠一些，直接把这些“没有希望”的元素删去，只留下可能成为最值的元素。单调队列的性质?当然是单调性……不存在最大值单调队列→单调递减最小值单调队列→单调递增直接取出队首元素即为最值如何维护？添加元素如何维护？删除元素不能直接像原本的队列一样删除队首元素，因为原本要删除的元素可能已经提前被删除了。正确做法：记录每个元素入队的次序。记录下一个要删除的元素的入队次序。有则删除，没有不管。时间复杂度？?每个元素至多被删除一次插入、删除、取最值操作均为。单调队列总结优点：简单快局限性：必须满足先进先出性质用途：滑动窗口问题单调队列优化DPHDOJ 3415: Max Sum of Max-K-sub-sequence?给定一个长度为的环形的整数序列，从中选出一个长度最大为的和最大的连续子序列。朴素的状态转移TLE!?序列是环怎么办？直接复制二倍就好了~~时间复杂度转化一下思路?设移项！转化一下思路?两边形式相同！设滑动窗口最值问题用单调队列维护滑动窗口内的最大值。然后用推算出即为答案。单调队列优化DP思路列出朴素的状态转移方程进行适当的变形，使得等号两边形式一致转换为滑动窗口最值问题，使用单调队列维护斜率优化DPHDOJ 3507: Print Article?给定一个长度为的序列，将这个序列划分为一系列的连续子序列，每个子序列的代价记为，求最小的代价和。朴素的状态转移方程?同样设，得到。看起来并没有什么整理的办法。考虑，如果的转移优于，那么 变形，得到转化为斜率问题?设上式变为二维平面上的斜率！不可能成为最优值的点ijk?考虑不可能成为最优值的点????优?考虑不可能成为最优值的点???优??考虑不可能成为最优值的点???优?优?考虑维护可行点集?斜率单调递增维护可行点集?斜率单调递增维护方法类似单调队列获得解??我们所需的应该恰好是下凸函数曲线与斜率为的直线的切点。获得解?由于单调递增，切点的位置也单调递增。当最左侧线段斜率小于删除左侧点。跟单调队列更像了= =斜率优化DP的思想从求最值形式的转移方程中提取状态判优条件。移项分组，得到斜率表示形式。确定点集凸性。类似单调队列维护。思维难度很大，注意体会！四边形不等式优化DP石子合并问题?给定堆石子，每堆石子有一个重量。每次可以合并相邻的两堆石子，重量变成两堆石子的和，代价为两堆石子重量之和。求将所有石子合并成一堆的最小代价。区间DP思想?对于一个区间（注意是闭区间，这里为了方便没有用常用的左闭右开），设合并这个区间的代价为，从这个区间中枚举一个分割点，得到时间复杂度能优化么？直接上结论……?如果一个函数满足当时，，则称满足四边形不等式。如果满足，则称满足区间单调性。对于一个形如的状态转移方程，若满足四边形不等式和区间单调性，则亦满足四边形不等式。于是，可以得到的最小值一定由或的两种情况转移而来。证明过程非常繁琐，有兴趣的话可以搜索《动态规划加速原理之四边形不等式》论文阅读。石子合并问题优化?对于本题，令，则恰好满足了四边形不等式和区间单调性，状态转移可以优化为。四边形不等式加速DP的思路?四边形不等式的题目一般比较容易看出来，发现一个DP问题的状态转移方程具有类似的形式的时候就可以分析项是否符合性质。结论记住就可以，具体证明有兴趣的同学可以看一下。线段树优化DPZOJ 3349: Special Subsequence?给定一个长度为的整数序列，求其中满足相邻两项差绝对值小于的最长子序列长度。后面的我直接在黑板上画了QAQ嗯其实是因为我昨天研究了一晚上斜率优化结果发现没时间做了= =