四边形不等式.pdfVIP

“四边形不等式是一种比较常见的优化动态规划的方法定 义如果对于任意的a1≤a2优化设m[i,j]表示动态规划的状 态量。 m[i,j] 有类似如下的状态转移方程： m[i,j]=min{m[i,k]+m[k,j]}(i≤k≤j)m 满足四边形不等式 是适用这种优化方法的必要条件对于一道具体的题目，我们 首先要证明它满足这个条件，一般来说用数学归纳法证明， 根据题目的不同而不同。通常的动态规划的复杂度是 O(n^3)，我们可以优化到O(n^2) 如果对于任意的 a1≤a2b1≤b2，有 m[a1,b1]+m[a2,b2]≤ m[a1,b2]+m[a2,b1]，那么m[i,j]满足四边形不等式。 我们常有方程 定理 若函数 满足四边形不等式，则 满足决策单调性，即： 记 表示从 转移过来的状态 , 表示最优决策点，有 。 区间类动态规划中，常常遇到形如下面的转移方程： 对于不同的问题， 的边界取值可能不同。这对我们讨论的 问题没有影响（源于华中师大一附中赵爽）。考试时请打表。 定理 若函数 满足四边形不等式（且满足区间包含单调 性？），则 也满足四边形不等式。（用数学归纳法证明） 定理 若 满足四边形不等式，则 满足决策单调性，即：记 表示最优决策点，则有 。 即若函数 满足四边形不等式，则 满足决策单调性。只需枚 举决策 摘自 oi wiki 。 为了更方便地证明一个函数满足四边形不等式，我们有以下 几条性质： 性质 1. 若函数 均满足四边形不等式（或区间包含单调 性），则对于任意 ，函数 也满足四边形不等式（或区间包 含单调性）。 性质 2. 若存在函数 使得 ，则函数 满足 四边形恒等 式 。当函数 单调增加时，函数 还满足区间包含单调性。 性质 3. 设 是一个凸函数，若函数 满足四边形恒等式并 且对区间包含关系具有单调性，则复合函数 也满足四边形 不等式。 性质 4. 设 是一个 单调增加 的凸函数，若函数 满足 四边形不等式并且对区间包含关系具有单调性，则复合函数 也满足四边形不等式和 区间包含单调性 。 凸函数（Convex Function）的定义在国内教材中有分歧， 本文指（可微的）下凸函数，即一阶导数单调增加的函数。 若两函数 均满足四边形不等式（或区间包含单调性），则 其（正系数）线性组合也满足四边形不等式（或区间包含单 调性）。 若存在函数 使得 ，则 满足 四边形恒等式 。当函数 单 调增加时，函数 还满足区间包含单调性。 设 是一个凸函数，若函数 满足四边形恒等式并且对区间包 含关系具有单调性，则其复合函数 也满足四边形不等式。 若 还单调增加，复合函数 也满足区间包含单调性。 为凸函数，其中 单调性互异：满足四边形不等式