总结的动归理论.docVIP

可以采用手动模拟！然后既然判断使用动归！记住一个特点??子状态已经求出我们不用考虑子问题是什么！只看当前状态就行了！模拟找出动归的循环方法！树型动归一般是用求解的。 ?归就是枚举出所有的状态，然后用一个大数组记录 我们可以用一个表来记录所有已解的子问题的答案。不管该子问题以后是否被用到，只要它被计算过，就将其结果填入表中。这就是动态规划法的基本思路。 且某些子问题可能被重复多次计算，因此将计算过的子问题的结果保存。一般，放入表中。 动态规划的显著特征是:无后效性,有边界条件,且一般划分为很明显的阶段. 下面给出动态规划时间复杂度的决定因素：时间复杂度=状态总数*每个状态转移的状态数*每次状态转移的时间[1] ?最优性原理 作为整个过程的最优策略，它满足：相对前面决策所形成的状态而言，余下的子策略必然构成“最优子策略”。 无后效性实质是：在后面的引用前面的结果也可以不用！！ 给定某一阶段的状态，则在这一阶段以后过程的发展不受这阶段以前各段状态的影响，所有各阶段都确定时，整个过程也就确定了。这个性质意味着过程的历史只能通过当前的状态去影响它的未来的发展，这个性质称为无后效性。 具体地说，如果一个问题被划分各个阶段之后，阶段 I 中的状态只能由之前的有限步状态通过状态转移方程得来，与其他状态没有关系，特别是与未发生的状态没有关系，这就是无后效性。 像MOD 4=0 就必须引用前面的结果！所以他不是DP啊！！ 使用动态程序设计方法解题的步骤 1、确定问题的研究对象，即状态。选定的状态必须满足如下两点： ⑴状态必须完全描述出事物的性质，两个不同事物的状态是不同的； ⑵必须存在状态与状态之间的“转移方程”，以便我们可以由初始状态逐渐转化为目标状态。 由于状态是描述事物性质的量，所以我们应该以上述要求为标准，具体情况具体分析； 2、划分阶段，确定阶段之间的状态转移方程； 3、考察此问题可否用动态程序设计方法解决，即问题是否具备最优子结构和无后效性的特征 4、如果发现问题目前不能用动态程序设计方法解决，则调整阶段的划分和状态的定义，使其具备最优子结构和无后效性的特征。 精神实质：减少重复计算和减少冗余。 动态规划递归方程是迭代方式来求解 描述阶段的变量称为阶段变量。阶段的划分，一般是根据时间和空间{如果没有应该去构造，使变量之间建立联系}的自然特征来进行的，但要便于问题转化为多阶段决策。恰当的选取状态变量和决策变量及定义最优值函数，从而把一个大问题转化成一组同类型的子问题。一般地，状态变量的选择是从过程演变的特点中寻找。 建立动态规划模型，就是分析问题并建立问题的动态规划基本方程。为此，必须满足以下条件： 1、将问题的过程划分成恰当的阶段； 2、正确选择状态变量Sk，使它既能描述过程的演变，又要满足无后效性； 3、确定决策变量dk及每阶段的允许决策集合Dk(Sk)； 4、正确写出状态转移方程； 5、正确写出指标函数Vk,n的关系式，它应具有以下三个性质； （1）是定义全过程和所有后部子过程上的数量函数； （2）具有可分离性，并满足递推关系，即 Vk,n(Sk,dk,…Sn+1)=f (Sk,dk,Vk+1,n) （3）函数f（Sk,dk,Vk+1,n）对于Vk+1,n要求严格单调。 以上五点是正确写出动态规划基本方程的要素。 对于当前阶段的某个状态，必定有有上个阶段的子问题的某一批状态通过对应的决策变换而来，这些子问题的一批状态通过对应的决策应用，就导致了状态转移，新的状态就是当前阶段的某个状态。由于这个新状态的子状态可能不止一个，所以决策后的对应局部解也可能不止一个，在这些解中取一个最优解，就是当前阶段当前状态的最优解，这个求最优解的过程可用一个表达式来描述，这个表达式就是状态转移方程。 动态规划决策过程示意图 (1)划分阶段：按照问题的时间或空间特征，把问题分为若干个阶段。在划分阶段时，注意划分后的阶段一定要是有序的或者是可排序的，否则问题就无法求解。????(2)确定状态和状态变量：将问题发展到各个阶段时所处于的各种客观情况用不同的状态表示出来。当然，状态的选择要满足无后效性。????(3)确定决策并写出状态转移方程：因为决策和状态转移有着天然的联系，状态转移就是根据上一阶段的状态和决策来导出本阶段的状态。所以如果确定了决策，状态转移方程也就可写出。但事实上常常是反过来做，根据相邻两段各状态之间的关系来确定决策。????(4)寻找边界条件：给出的状态转移方程是一个递推式，需要一个递推的终止条件或边界条件。 如果用i表示当前需求解的阶段号（有时为了描述的方便，i也可表示当前阶段的前一个阶段），j表示当前阶段各个状态（或者说是阶段的各个节点编号），k表示前一阶段各个子状态能选择的策略，用f[I,j]表示起点1到第i阶