最优化原理是动态规划的基础。
任何一个问题,如果失去了这个最优化原理的支持,就不可能用动态规划方法计算。
能采用动态规划求解的问题都需要满足一定的条件:
(1)问题中的状态必须满足最优化原理;
(2)问题中的状态必须满足无后效性。
所谓的无后效性是指:
“下一时刻的状态只与当前状态有关,而和当前状态之前的状态无关,当前的状态是对以往决策的总结”。
问题求解模式
动态规划所处理的问题是一个多阶段决策问题,一般由初始状态开始,通过对中间阶段决策的选择,达到结束状态。
这些决策形成了一个决策序列,同时确定了完成整个过程的一条活动路线(通常是求最优的活动路线)。
如图所示。
动态规划的设计都有着一定的模式,一般要经历以下几个步骤。
初始状态→│决策1│→│决策2│→…→│决策n│→结束状态
图1动态规划决策过程示意图
(1)划分阶段:
按照问题的时间或空间特征,把问题分为若干个阶段。
在划分阶段时,注意划分后的阶段一定要是有序的或者是可排序的,否则问题就无法求解。
(2)确定状态和状态变量:
将问题发展到各个阶段时所处于的各种客观情况用不同的状态表示出来。
当然,状态的选择要满足无后效性。
(3)确定决策并写出状态转移方程:
因为决策和状态转移有着天然的联系,状态转移就是根据上一阶段的状态和决策来导出本阶段的状态。
所以如果确定了决策,状态转移方程也就可写出。
但事实上常常是反过来做,根据相邻两段各状态之间的关系来确定决策。
(4)寻找边界条件:
给出的状态转移方程是一个递推式,需要一个递推的终止条件或边界条件。
算法实现
动态规划的主要难点在于理论上的设计,也就是上面4个步骤的确定,一旦设计完成,实现部分就会非常简单。
使用动态规划求解问题,最重要的就是确定动态规划三要素:
问题的阶段,每个阶段的状态以及从前一个阶段转化到后一个阶段之间的递推关系。
递推关系必须是从次小的问题开始到较大的问题之间的转化,从这个角度来说,动态规划往往可以用递归程序来实现,不过因为递推可以充分利用前面保存的子问题的解来减少重复计算,所以对于大规模问题来说,有递归不可比拟的优势,这也是动态规划算法的核心之处。
确定了动态规划的这三要素,整个求解过程就可以用一个最优决策表来描述,最优决策表是一个二维表,其中行表示决策的阶段,列表示问题状态,表格需要填写的数据一般对应此问题的在某个阶段某个状态下的最优值(如最短路径,最长公共子序列,最大价值等),填表的过程就是根据递推关系,从1行1列开始,以行或者列优先的顺序,依次填写表格,最后根据整个表格的数据通过简单的取舍或者运算求得问题的最优解。
下面分别以求解最大化投资回报问题和最长公共子序列问题为例阐述用动态规划算法求解问题的一般思路。
1.最大化投资回报问题:
某人有一定的资金用来购买不同面额的债卷,不同面额债卷的年收益是不同的,求给定资金,年限以及债卷面额、收益的情况下怎样购买才能使此人获得最大投资回报。
程序输入约定:
第一行第一列表示资金(1000的倍数)总量,第二列表示投资年限;第二行表示债卷面额总数;从第三行开始每行表示一种债卷,占用两列,前一列表示债卷面额,后一列表示其年收益,如下输入实例,
100001
2
4000400
3000250
程序实现如下,注释几乎说明了一切,所以不再另外分析。
///此数组是算法的关键存储结构,用来存储不同阶段各种债卷
///组合下对应可获取的最大利息。
intsaifa[80005];
///此函数用于计算当前债卷在不同购买额下的最优利息情况,
///注意此时的利息情况是基于上一次债卷的情况下计算得到的,
///也就是说当前利息最优是基于上一次利息最优的基础上计算出来的,
///这也正好体现了动态规划中“最优化原则”:
不管前面的策略如何,
///此后的决策必须是基于当前状态(由上一次决策产生)的最优决策。
/*
动态规划的求解过程一般都可以用一个最优决策表来描述,
对于本程序,以示例输入为例,对于第一年,其最优决策表如下:
0 1 2 3 4 5 6 7 8 9 10(*1000) --
(1)
0 0 0 0 400400400400800800800 --
(2)
0 0 0 250400400500650800900900 --(3)
(1)--表示首先选利息为400的债卷在对应资金下的最优利息。
(2)--表示可用来购买债卷的资金。
(3)--表示在已有状态下再选择利息为300的债卷在对应资金下的最优利息。
注意上面表格,在求购买利息为300的债卷获得的最优收益的时候,
参考了以前的最优状态,以3行8列的650为例,7(*1000)可以
在以前购买了0张4000的债卷的基础上再2张3000的,也可以在以前购
买了1张4000的基础上再买1张3000,经比较取其收益大的,这就是典
型的动态规划中的当前最优状态计算。
本程序中把上面的最优决策二维表用一个一维数组表示