【转】 1D/1D动态规划优化初步

1D/1D动态规划优化初步

  所谓1D/1D动态规划，指的是状态数为O(n)，每一个状态决策量为O(n)的动态规划方程。直接求解的时间复杂度为O(n2)，但是，绝大多数这样的方程通过合理的组织与优化都是可以优化到O(nlogn)乃至O(n)的时间复杂度的。这里就想讲一讲我对一些比较初步的经典的优化方法的认识。

  本文中不想进行过多的证明与推导，主要想说明经典模型的建立、转化与求解方法。

  由于本人认识与水平相当有限，如果出现什么错误与疏漏，还请大牛多多指正。另外，也希望大牛们更多地向我们介绍一下有关动态规划优化的更深入的东西。

  

  本文中使用两种方式表示一个函数：f(x)与f[x]，用方括号表示的函数值可以在规划之前全部算出（常量），而用圆括号表示的函数值必须在规划过程中计算得到（变量）。无论是什么函数值一经确定，在以后的计算中就不会更改。

经典模型一：

  相信这个方程大家一定是不陌生的。另外，肯定也知道一个关于决策单调性的性质：

  假如用k(x)表示状态x取到最优值时的决策，则决策单调性表述为：

  ，当且仅当：

  ，对于这个性质的证明读者可以在任意一篇讲述四边形不等式的文章中找到，所以这里不再重复。而且，从实战的角度来看，我们甚至都不需要验证w函数的这个性质，最经济也是最可靠的方法是写一个朴素算法打出决策表来观察（反正你总还是要对拍）。当然，有的时候题目要求你做一点准备工作，去掉一些明显不可能的决策，然后在应用决策单调性。这是上述性质也许会有点用处。

  正如前文中所述，我们关注的重点是怎样实现决策单调性。有了决策单调性，怎样高效地实现它呢？很容易想到在枚举决策的时候，不需要从1开始，只要从k(x-1)开始就可以了，但�%