博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
算法导论——动态规划
阅读量:6275 次
发布时间:2019-06-22

本文共 5600 字,大约阅读时间需要 18 分钟。

  动态规划指的是一个问题可以拆分成多个小的最优子问题,并且这些子问题具有重叠,典型的如斐波那契数列:f(2)=f(1)+f(0),f(3)=f(2)+f(1),f(4)=f(3)+f(2),若使用简单的递归算法求f(4),则f(2)会被计算两次,当计算f(n)时需要计算f(n-1)和f(n-2)而f(n-1)又要计算记一次f(n-2),如此往复时间复杂度为n的指数级别,导致算法效率低下。若能够记录f(2)至f(n-1)的结果,可以保证每一级计算都是O(1)复杂度,整个算法的时间复杂度就能下降至O(n),空间复杂度O(n)。必须保证拆分后的子问题是当前规模下的最优解,才可保证递归逻辑的正确,典型的例子是无权最短路径问题,若已知A到除最终目的地B外的所有点最短路径,则只需遍历寻找与B直接相邻所有点到A最近的一个。

通常动态规划可以分为4个步骤:

  1. 刻画一个最优解的结构特征
  2. 递归地定义最优解的值
  3. 计算最优解的值,通常采用自底向上的方法
  4. 利用计算出的信息构造一个最优解

因此,动态规划的关键是分析子问题的拆分与递归式。下面四个问题来自《算法导论》第三版。

钢条切割

  有一条长度为n的钢条,可以不计成本的切割成多条钢条出售,不同长度与价格关系如下表所示,求如何切割获得最大的利益rn

长度i

1

2

3

4

5

6

7

8

9

10

价格pi

1

5

8

9

10

17

17

20

24

30

以长度n=4为例,分割共有以下几种方案

n=4, r=9

n=1+3, r=9

n=1+1+2, r=7

n=1+1+1+1, r=4

n=2+2, r=10

最佳方案为分成2+2两端,利润为10

 

  对于长度为n的钢条,其可以通过切割获得的最大利益记为rnrn=max(pn,r1+rn-1,r2+rn-2,...rn-1+r1) rn的最大利润可能有两种情况:不切割或者先切为两段,该两段各自的ri+rn-i为最大值。因此可以采用递归的方式,求出rn的值,伪代码如下:

1 int cutRod(p,n){2     if(n==0)3         return 0;4     q=-15     for(i=1;i<=n;i++){6         q=max(q,p[i]+cutRod(p,n-i));7     }8     return q;9 }

  该算法的问题是效率太低,原因在于cutRod(p,i)这个值在不同阶段被分别计算了多次,比如要求长度为2的钢条的最大利益,要计算分割成1+1的利益,这里r1被计算了两次。如果能够记录r1rn-1的值,可以大幅度提交计算效率,这是一种典型的空间换取时间的方法——动态规划算法。

动态规划有两种等价的实现方法:

  第一种,带备忘的自顶向下法。在之间递归算法调用每一层的时候,先检查该值有没有被计算过,若没有,调用并存储;若计算过,直接取出该值。伪代码如下:

1 int memoizedCutRod(p,n){ 2     r[n+1] //用于记录r0到rn-1的值 3     for(i=0;i<=n;i++){ 4         r[i]=-1; 5     } 6     return memoizedCutRodAux(p,n,r); 7 } 8  9 int memoizedCutRodAux(p,n,r){10     if(r[n]>=0)11         return r[n];12     if(n==0)13         q=0;14     else15     {16         q=-1;17         for(i=0;i<=n;i++){18             q=max(q,p[i]+ memoizedCutRodAux(p,n-i,r));19         }20     }21     r[n]=q;22     return q;23 }

  第二种,自底向上法,将一个问题分成规模更小的子问题,从小到大进行求解,当求解至原问题时,所需的值都已求解完毕。对于分割铁棒问题来说,从长度为1一直求解至长度为n时最佳分割方案的收益。由于rn=max(pn,r1+rn-1,r2+rn-2,...rn-1+r1),只需计算出r1rn-1的值,便可计算出rn的值。伪代码如下:

1 int bottomUpCutRod(p,n){ 2     r[n+1] //用于记录r0到rn-1的值 3     s[n+1]//若要输出分割长度,则需要记录不同长度最大利润的分割情况 4     r[0]=0; 5     for(j=1;j<=n;j++){ 6         q=-1; 7         for(i=1;i<=j;i++){ 8             //针对长度为j时,遍历所有的分割情况,寻找到最佳的结果 9             if(p[i]+r[j-i]>q){10                 q= p[i]+r[j-i];11                 s[j]=i;//记录分割位置12             }13         }14         r[j]=q;15     }16     return r[n];17 }18 void printCutRod(s,n){19     if(s[n]!=0)20         printCutRod(s,s[n]);21     printf("%d ",s[n]);//此处输出的为所有的分割位置22 }

矩阵链乘法

  矩阵相乘是符合结合律的, A1A2A3= A1(A2A3),但是两者的计算规模可能是不同的。假设三个矩阵的大小分别是 10*100、100*5、 5*50,则 A1A2A3的计算次数为 10*100*5+10*5*50=7500,而 A1(A2A3)的计算规模为 100*5*50+10*100*50=75000,两者相差了 10 倍的规模。对于一组给定的矩阵相乘A1A2A3 ⋯ An要求出如何进行乘法结合可以进行最少的计算次数。

  下面使用形如A1∗n来表示A1A2A3 ⋯ An的最终乘积结果。对于A1∗n的最少计算式,其必定在Ak 处进行了分割 (A1A2A3 ⋯ Ak)(Ak+1Ak+2 ⋯ An),总计算次数为 m,i, j- = min{m,i, k- +m,k + 1, j- + pi−1pkpj}, i ≤ k < j,故必须要先求出A1A2A3 ⋯ Ak和Ak+1Ak+2 ⋯ An各自的最少计算次数然后遍历计算出最小值。 因此可以采用自 1 int matrixChainOrder(p){

2     n=p.length-1; 3     m[n][n],s[n][n];//m记录矩阵链各自的最少计算次数,s记录最少时分割位置 4     for(i=0;i<=n;i++) 5         m[i][i]=0; 6     for(l=2;l<=n;l++){
//l限制矩阵链的长度,先计算出所有2个矩阵相乘的最少次数,然后是3个矩阵,直至n个矩阵 7 for(i=1;i<=n-l+1;i++){ 8 j=i+l-1; 9 m[i][j]=INFI;10 // m[i,j]=min{m[i,k]+m[k+1,j]+p_(i-1) p_k p_j },i≤k

1. 如果xm = yn,则zk = xm = yn且Zk−1是Xm−1和Yn−1的一个 LCS

2. 如果xm ≠ yn且zk ≠ xm,则 Z 是Xm−1和 Y 的一个 LCS
3. 如果xm ≠ yn且zk ≠ yn,则 Z 是 X 和Yn−1的一个 LCS
用 c[i, j] 表 示XiYj 的 LCS 长 度 , 可 列 出 递 归 式

1 int lcsLength(X,Y){ 2     m=X.length; 3     n=Y.length; 4     b[m][n];//记录最优解的构造 5     c[m+1][n+1]; 6     for(i=1;i<=m;i++) 7         c[i][0]-0; 8     for(j=0;j<=n;j++) 9         c[0][j]=0;10     for(i=1;i<=m;i++){11         for(j=1;j<=n;j++){12             if(x[i]==y[i]){13                 c[i][j]=c[i-1][j-1]+1;14                 b[i][j]="↖";15             }16             else if(c[i-1][j]>=c[i][j-1]){17                 c[i][j]=c[i-1][j];18                 b[i][j]="↑";19             }20             else{21                 c[i][j]=c[i][j-1];22                 b[i][j]="←";23             }24         }25     }26     printLcs(b,X,m,n);27     return c[n];28 }29 30 void printLcs(b,X,i,j){31     if(i==0||j==0)32         return;33     if(b[i][j]=="↖"){34         printLcs(b,X,i-1,j-1);35         print x[i];36         return;37     }38     if(b[i][j]=="↑"){39         printLcs(b,X,i-1,j);40         return;41     }42     printLcs(b,X,i,j-1);43 }

最优二叉搜索树

对于搜索树来说,不同节点的搜索频率是不同的,节点离根越远搜索时间就越长,所以我们希望将搜索频率高的节点放在离根近的位置,使得整体的效率期望值最优。但是,并不是简单地把搜索频率最高的点做根节点就行了,其余节点的深度增加反而可能导致整体效率降低,极端情况最小值搜索频率最高,若作为根节点,整棵树的平衡性很差,反而容易导致搜索效率的降低。

对于一个二叉搜索树,有n个关键字k1,k2,...,kn和n+1个伪关键字d0,d1,d2,...dn,其中d0代表小于k1的搜索结果,d1是大于k1小于k2的搜索结果,搜索k是成功的搜索,而搜索d是失败的搜索,所以d一定是叶子节点且di和di-1一定是ki的两个子节点。对这样节点的最优二叉搜索树来说,他含有根节点和两棵子树,包含连续的关键字ki,ki+1,...,kj和对应的伪关键字,该子树必定是对应规模的最优二叉搜索树,否则只需将该规模下的最优二叉搜索树替换该子树就会产生搜索期望值更小的树,这与最优二叉树的假设矛盾。对于特殊情况j=i-1时,树不包含实际关键字,仅含有伪关键字di-1。p为关键字的搜过概率,q为伪关键字的搜索概率,对于一般情况,需要从ki,ki+1,...,kj中选择根节点kr来构造最优二叉搜索树。当该树成为目标结果的子树时,因在子树的期望值基础上增加所有点的概率之和,因为每个点的深度都增加了1。对于给点的节点条件,只需寻找到使左右子树的期望值加上所有节点概率之和最小即为最优二叉搜索树(左右子树所有节点加上根节点的权是1),因此可以对期望搜索代价列出递归式

1 double optimal-bst(p,q,n){ 2     e[n+2][n+1];//e[1..n+1][0..n]记录期望值 3     w[n+2][n+1];//w[1..n][0..n]记录i到j的概率和避免重复计算 4     root[n+1][n+1];//root[1..n][1..n]记录所有树的根节点 5     for(i=1;i<=n+1;i++){ 6         //初始化j=i-1的特殊情况 7         e[i][i-1]=q[i-1]; 8         w[i][i-1]=q[i-1]; 9     }10     for(l=1;l<=n;l++){
//l表示关键字的个数,先计算1个实际关键字的树,然后2个依次增加11 for(i=1;i<=n-l+1;i++){12 j=i+l-1;13 e[i][j]=INFI;14 w[i][j]=w[i][j-1]+p[i]+q[j];//计算w[i][j]15 for(r=i;r<=j;r++){16 t=e[i][r-1]+e[r+1][j]+w[i][j];//计算e[i,r-1]+e[r+1,j]+w(i,j)17 if(t

 

个人GitHub地址: https://github.com/GrayWind33

转载地址:http://hrgpa.baihongyu.com/

你可能感兴趣的文章
Git 常用操作和流程
查看>>
Serverless五大优势,成本和规模不是最重要的,这点才是
查看>>
如何利用MongoDB实现高性能,高可用的双活应用架构?
查看>>
oc和swift混编项目,oc类和swift类互相访问
查看>>
Nginx 极简入门教程!
查看>>
iOS BLE 开发小记[4] 如何实现 CoreBluetooth 后台运行模式
查看>>
Item 23 不要在代码中使用新的原生态类型(raw type)
查看>>
为网页添加留言功能
查看>>
JavaScript—数组(17)
查看>>
Android 密钥保护和 C/S 网络传输安全理论指南
查看>>
以太坊ERC20代币合约优化版
查看>>
Why I Began
查看>>
同一台电脑上Windows 7和Ubuntu 14.04的CPU温度和GPU温度对比
查看>>
linux下查看和添加PATH环境变量
查看>>
js数组的操作
查看>>
springmvc Could not write content: No serializer
查看>>
Python系语言发展综述
查看>>
新手 开博
查看>>
借助开源工具高效完成Java应用的运行分析
查看>>
163 yum
查看>>