通俗理解动态规划:由浅入深DP并解决LCS问题(23年修订版)

通俗理解动态规划(最初发布于10年年底,后修改于11年年底,23年再次修订)

前言

本文也是有意思,先后经历了三个版本

  1. 最开始发布于2010年年底,标题就叫“三、dynamic programming”,作为十五大算法研究系列的第三篇
  2. 一年后的2011年年底重写,标题改成:通过动态规划算法解最长公共子序列LCS问题
  3. 23年2月因为在写RL笔记中的三大表格求解法,发现本文并不通俗,原因在于本身DP就不是特别好讲懂,LCS问题也不好讲懂,用一个不好讲懂的例子去讲解一个并不好讲懂的算法,这无疑增加初学者的阅读负担
    故再次修订本文的第一部分:增加三个形象易懂的示例,以及全面修订第二部分

第一部分 什么是动态规划

1.1 动态规划两个示例

在RL极简入门笔记里提到,动态规划的核心思想在于将复杂问题的最优解划分为多个小问题的最优解,就像递归一样,且子问题的最优解会被储存起来重复利用

对于大部分文章而言,此时就该上动态规划的定义了,考虑到本文的读者有初学者甚至是文科生,一上来就搬出定义、公式、概念不太友好啊。

对此,我在我维护的一个聚集着国内AI各大咖、中咖、小咖的「Machine Learning读书会」群里问大家,有哪些例子举例说明DP比较形象呢,形象到一个初一小孩 也能看明白的?

很多朋友比如刘鹏老师、达尔、kosora给了我很多建议,说可以通过这些例子以形象说明DP:跳台阶问题、01背包(寻找和为定值的多个数)、字符串的编辑距离

一想确实形象,而且巧的是这三个问题在我15年写的《编程之法:面试和算法心得》里面都有讲(顺带说一句,正在修订准备出第二版,本文所讲的DP算法会作为新的内容之一放进第二版中,第二版中全部的更新内容超过1/3),我们来看下前两个问题

问题1 跳台阶问题

一个台阶总共有n 级,如果一次可以跳1 级,也可以跳2 级。求总共有多少总跳法,并分析算法的时间复杂度。

首先考虑最简单的情况

  • 如果只有1级台阶,那显然只有一种跳法
  • 如果有2级台阶,那就有两种跳的方法了:一种是分两次跳,每次跳1级;另外一种就是一次跳2级

泛化到一般情况,把n级台阶时的跳法看成是n的函数,记为f(n),当n>2时,第一次跳的时候就有两种不同的选择:

  • 一是第一次只跳1级,此时跳法数目等于后面剩下的n-1级台阶的跳法数目,即为f(n-1)
  • 另外一种选择是第一次跳2级,此时跳法数目等于后面剩下的n-2级台阶的跳法数目,即为f(n-2)

因此n级台阶时的不同跳法的总数gif.latex?f%28n%29%3Df%28n-1%29+f%28n-2%29

上述解法用的递归的方法有许多重复计算的工作,事实上,我们可以从后往前推,一步步利用之前计算的结果递推。

初始化时,dp[0]=dp[1]=1,然后递推计算即可:dp[n] = dp[n-1] + dp[n-2]

//1, 1, 2, 3, 5, 8, 13, 21..
int ClimbStairs(int n)
{
	int dp[3] = { 1, 1 };
	if (n < 2)
	{
		return 1;
	}
	for (int i = 2; i <= n; i++)
	{
		dp[2] = dp[0] + dp[1];
		dp[0] = dp[1];
		dp[1] = dp[2];
	}
	return dp[2];
}

更多分析请参见原来的:编程艺术GitHub 2nd

问题2 寻找和为定值的多个数(01背包问题)

输入两个整数n和sum,从数列1,2,3.......n 中随意取几个数,使其和等于sum,要求将其中所有的可能组合列出来。

注意到取n,和不取n个区别即可,考虑是否取第n个数的策略,可以转化为一个只和前n-1个数相关的问题。

  • 如果取第n个数,那么问题就转化为“取前n-1个数使得它们的和为sum-n”,对应的代码语句就是sumOfkNumber(sum - n, n - 1);
  • 如果不取第n个数,那么问题就转化为“取前n-1个数使得他们的和为sum”,对应的代码语句为sumOfkNumber(sum, n - 1)

所以其关键代码就是

	list1.push_front(n);      //典型的01背包问题
	SumOfkNumber(sum - n, n - 1);   //“放”n,前n-1个数“填满”sum-n
	list1.pop_front();
	SumOfkNumber(sum, n - 1);     //不“放”n,前n-1个数“填满”sum

问题2的扩展 0-1背包问题

这是一个典型的0-1背包问题,其具体描述为:有gif.latex?N件物品和一个容量为gif.latex?V的背包。放入第gif.latex?i件物品耗费的费用是gif.latex?C_i(也即占用背包的空间容量),得到的价值是gif.latex?W_i,求解将哪些物品装入背包可使价值总和最大。

简单分析下:这是最基础的背包问题,特点是每种物品仅有一件,可以选择放或不放。用子问题定义状态:即gif.latex?F%5Bi%2C%20v%5D表示前gif.latex?i件物品恰放入一个容量为gif.latex?v的背包可以获得的最大价值

对于“将前i件物品放入容量为v的背包中”这个子问题,若只考虑第i件物品的策略(放或不放),那么就可以转化为一个只和前gif.latex?i-1件物品相关的问题。即: 

  • 如果不放第gif.latex?i件物品,那么问题就转化为“前gif.latex?i-1件物品放入容量为gif.latex?v的背包中”,价值为gif.latex?F%5Bi-1%2C%20v%5D
  • 如果放第gif.latex?i件物品,那么问题就转化为“前gif.latex?i-1件物品放入剩下的容量为gif.latex?v-C_i的背包中”,此时能获得的最大价值就是gif.latex?F%5Bi-1%2C%20v-C_i%5D再加上通过放入第i件物品获得的价值gif.latex?W_i

 则其状态转移方程便是:

  • gif.latex?F%5Bi%2C%20v%5D%20%3D%20max%20%5Cleft%20%5C%7B%20F%5Bi-1%2C%20v%5D%2C%20F%5Bi-1%2C%20v-C_i%20%5D%20&plus;%20W_i%20%5Cright%20%5C%7D

伪代码如下:

F[0,0...V] ← 0
for i ← 1 to N
    for v ← Ci to V
        F[i, v] ← max{F[i-1, v], F[i-1, v-Ci] + Wi }

更多分析见原来的编程艺术GitHub

1.2 动态规划的定义与算法流程

通过上述两个例子,相信你已经看出一些端倪,具体而言,动态规划一般也只能应用于有最优子结构的问题。最优子结构的意思是局部最优解能决定全局最优解(对有些问题这个要求并不能完全满足,故有时需要引入一定的近似)。简单地说,问题能够分解成子问题来解决。

动态规划算法一般分为以下4个步骤:

  1. 描述最优解的结构
  2. 递归定义最优解的值
  3. 按自底向上的方式计算最优解的值   //此3步构成动态规划解的基础。
  4. 由计算出的结果构造一个最优解      //此步如果只要求计算最优解的值时,可省略

换言之,动态规划方法的最优化问题的俩个要素:最优子结构性质,和子问题重叠性质

  • 最优子结构
    如果问题的最优解所包含的子问题的解也是最优的,我们就称该问题具有最优子结构性质(即满足最优化原理)。意思就是,总问题包含很多个子问题,而这些子问题的解也是最优的。
  • 重叠子问题
    子问题重叠性质是指在用递归算法自顶向下对问题进行求解时,每次产生的子问题并不总是新问题,有些子问题会被重复计算多次。动态规划算法正是利用了这种子问题的重叠性质,对每一个子问题只计算一次,然后将其计算结果保存在一个表格中,当再次需要计算已经计算过的子问题时,只是在表格中简单地查看一下结果,从而获得较高的效率

1.3 DP与贪心的对比:零钱凑整问题

我在知乎上专门搜了下动态规划,发现高赞的一个回答不错,名叫阮行止的举了一个零钱凑整的例子,如下(为行文简洁,我精简了下描述)

假设你想现在需要用各种1、5、10、20、50、100元面值的人民币凑出某个金额w比如666元,你会怎样尽快凑齐呢

  1. 为了尽快凑齐666元,你会按照各个钞票的金额大小,先用多张100逼近要凑整的金额,其次再用50、20、10、5、1的,在这种策略下,666 = 6×100+1×50+1×10+1×5+1×1,共使用了10张钞票
    这种策略称为贪心,即当需要凑出w时,贪心的策略在于以最快速度让所需凑的剩余金额尽快变小,所以能让w先少100就先让它少100,从而接下来就是继续凑w-100
  2. 但是,如果我们换一组钞票的面值,贪心策略可能就不成立了,比如一个奇葩国家的钞票面额分别是:1、5、11,那我们在凑出15的时候,贪心策略会出错:

    15 = 1 × 11 + 4 × 1
    贪心策略使用了5张钞票,因为贪心策略的纲领是“尽量使接下来要凑的金额更小”。这样,贪心策略在所凑金额w=15时,会优先使用面值11的钞票来把接下来所需凑的剩余金额降到4,但再之后得用到4张1元钞票凑出4

    正确的策略先使用5,所需凑的剩余金额会降为10,虽然剩余金额没有4那么小,但是再凑出10只需要两张5元,最终只需用3张钞票,即
    15 = 5 + 2 × 5

如此我们发现,贪心是一种只考虑只看眼前不看长远的策略,属于鼠目寸光,那怎么避免鼠目寸光呢?总不能直接暴力枚举所有凑出w的方案吧,那样时间复杂度过高。

我们把该问题抽象化建模下,当面对“给定w,凑出w所用的最少钞票是多少张?”这个问题时,可用gif.latex?f%28n%29来表示“凑出n所需的最少钞票数量”,则当所需凑的金额w=15的时候

  • 如果一开始先用11来逼近15,接下来就面对15  -11 = 4的情况,从而之后付出的代价是f(4),最后用掉的钞票总数是
    cost = 1 + f(4)= 1(11元) + 1(1元) + 1(1元) + 1(1元) + 1(1元) = 5
  • 如果一开始只取5来逼近15,则接下来面对15 - 5=10的情况,则
    cost = 1 + f(10) = 1(5元) + 1(5元) + 1(5元) = 3
  • 如果一开始取1来逼近15,则
    cost= 1 + f(14) = 1 + 1(11元) + 1(1元) + 1(1元) + 1(1元) = 5

我们要取的钞票策略自然就是cost值最低的一开始取5的方案,这给了我们一个至关重要的启示:gif.latex?f%28n%29只与 gif.latex?f%28n-1%29gif.latex?f%28n-5%29gif.latex?f%28n-11%29相关,更确切地说:

gif.latex?f%28n%29%20%3D%20min%20%5Cleft%20%5C%7B%20f%28n-1%2Cf%28n-5%29%2Cf%28n-11%29%20%5Cright%20%5C%7D%20&plus;1

第二部分 动态规划算法解LCS问题

通过上文第一部分,我们了解了什么是DP,接下来咱们运用经典的动态规划算法解决LCS问题即最长公共子序列问题

2.1 如何逐步求解最长公共子序列问题LCS

请编写一个函数,输入两个字符串,求它们的最长公共子序列(子序列要求字符是连续的),并打印出最长公共子序列
例如:输入两个字符串BDCABA和ABCBDAB,字符串BCBA和BDAB都是它们的最长公共子序列,则输出它们的长度4,并打印任意一个子序列。

分析:求最长公共子序列(Longest Common Subsequence, LCS)是一道非常经典的动态规划题,因此一些重视算法的公司像MicroStrategy都把它当作面试题。

    事实上,最长公共子序列问题也有最优子结构性质,记:

假定X = <x_1,x_2,\cdots ,x_m>,则gif.latex?X_i%3D%20%3Cx_1%2C%5Ccdots%20%2Cx_i%3E表示X序列的前gif.latex?i个字符 (gif.latex?1%5Cleq%20i%20%5Cleq%20m)

假定gif.latex?Y%3D%3Cy_1%2C%20y_2%2C%5Ccdots%20%2Cy_n%3E, 则gif.latex?Y_j%3D%3Cy_1%2C%5Ccdots%20%2Cy_j%3E表示Y序列的前gif.latex?j个字符 (gif.latex?1%5Cleq%20j%5Cleq%20n)

假定gif.latex?Z%3D%3Cz_1%2Cz_2%2C%5Ccdots%20%2Cz_k%3E%20%5Cin%20LCS%28X%2CY%29

  • gif.latex?x_m%3Dy_n(最后一个字符相同),则不难用反证法证明:该字符必是X与Y的任一最长公共子序列gif.latex?Z(设长度为gif.latex?k)的最后一个字符,即有gif.latex?z_k%20%3D%20x_m%20%3D%20y_n且显然有gif.latex?Z_%7Bk-1%7D%5Cin%20LCS%28X_%7Bm-1%7D%2CY_%7Bn-1%7D%29,即Z的前缀gif.latex?Z_%7Bk-1%7Dgif.latex?X_%7Bm-1%7Dgif.latex?Y_%7Bn-1%7D的最长公共子序列

    此时,问题化归成求gif.latex?X_%7Bm-1%7Dgif.latex?Y_%7Bn-1%7D的LCS的长度:gif.latex?LCS%28X%2CY%29等于gif.latex?LCS%28X_%7Bm-1%7D%2CY_%7Bn-1%7D%29的长度加1,相当于最后在gif.latex?LCS%28X_%7Bm-1%7D%2CY_%7Bn-1%7D%29的尾部加上gif.latex?x_m%28%3Dy_n%29 

  • gif.latex?x_m%5Cneq%20y_n(最后一个字符不同),则亦不难用反证法证明:要么gif.latex?Z%5Cin%20LCS%28X_%7Bm-1%7D%2C%20Y%29,要么gif.latex?Z%5Cin%20LCS%28X%20%2C%20Y_%7Bn-1%7D%29
    由于gif.latex?z_k%5Cneq%20x_mgif.latex?z_k%5Cneq%20y_n其中至少有一个必成立,若gif.latex?z_k%5Cneq%20x_m则有gif.latex?Z%5Cin%20LCS%28X_%7Bm-1%7D%2C%20Y%29,类似的,若gif.latex?z_k%5Cneq%20y_n则有gif.latex?Z%5Cin%20LCS%28X%20%2C%20Y_%7Bn-1%7D%29

    此时,问题化归成求gif.latex?X_%7Bm-1%7Dgif.latex?Y的LCS,及gif.latex?Xgif.latex?Y_%7Bn-1%7D的LCS
    从而gif.latex?LCS%28X%2CY%29的长度为两个公共子序列中的较长者:gif.latex?max%5Cleft%20%5C%7B%20LCS%28X_%7Bm-1%7D%20%2C%20Y%29%2C%20LCS%28X%20%2C%20Y_%7Bn-1%7D%29%20%5Cright%20%5C%7D

    由于上述当gif.latex?x_m%5Cneq%20y_n的情况中,求gif.latex?LCS%28X_%7Bm-1%7D%20%2CY%29的长度与gif.latex?LCS%28X%20%2C%20Y_%7Bn-1%7D%29的长度,这两个问题不是相互独立的:两者都需要求gif.latex?LCS%28X_%7Bm-1%7D%2CY_%7Bn-1%7D%29的长度。另外两个序列的LCS中包含了两个序列的前缀的LCS,故问题具有最优子结构性质且具有子问题重叠性质,可以考虑用动态规划法 

换言之,你只需要求以下4个方面的解:

  1. gif.latex?x_m%3Dy_n,则gif.latex?z_k%20%3D%20x_m%20%3D%20y_ngif.latex?Z_%7Bk-1%7Dgif.latex?X_%7Bm-1%7Dgif.latex?Y_%7Bn-1%7D的最长公共子序列,则需要求gif.latex?LCS%28X_%7Bm-1%7D%2CY_%7Bn-1%7D%29%20&plus;%201
      其中gif.latex?X_%7Bm-1%7D%20%3D%3Cx_1%2C%20x_2%2C%5Ccdots%20%2Cx_%7Bm-1%7D%3Egif.latex?Y_%7Bn-1%7D%3D%3Cy_1%2Cy_2%2C%5Ccdots%20%2Cy_%7Bn-1%7D%3Egif.latex?Z_%7Bk-1%7D%3D%3Cz_1%2C%20z_2%2C%5Ccdots%20%2Cz_%7Bk-1%7D%3E
  2. gif.latex?x_m%5Cneq%20y_ngif.latex?z_k%5Cneq%20x_m,则gif.latex?Zgif.latex?X_%7Bm-1%7Dgif.latex?Y的最长公共子序列,则需要求gif.latex?LCS%28X_%7Bm-1%7D%20%2C%20Y%29
  3. gif.latex?x_m%5Cneq%20y_ngif.latex?z_k%5Cneq%20y_n ,则gif.latex?Zgif.latex?Xgif.latex?Y_%7Bn-1%7D的最长公共子序列,则需要求gif.latex?LCS%28X%20%2C%20Y_%7Bn-1%7D%29
  4. 最后针对上述2和3的结果取其更大值:gif.latex?max%5Cleft%20%5C%7B%20LCS%28X_%7Bm-1%7D%20%2C%20Y%29%2C%20LCS%28X%20%2C%20Y_%7Bn-1%7D%29%20%5Cright%20%5C%7D 

现在我们来建立子问题的最优值的递归关系,用gif.latex?c%5Bi%2Cj%5D记录序列gif.latex?X_igif.latex?Y_j的最长公共子序列的长度,当gif.latex?i%3D0gif.latex?j%3D0时,空序列是gif.latex?X_igif.latex?Y_j的最长公共子序列,故gif.latex?c%5Bi%2Cj%5D%3D0,最终由定理可建立递归关系如下:

c[i,j] = \begin{cases} 0 & \text{ if } i=0\ or \ j = 0\\ c[i-1,j-1] + 1 & \text{ if } i,j>0\ and\ x_i = y_j \\ max(c[i-1,j],c[i,j-1]) & \text{ if } i,j>0\ and\ x_i \neq y_j \end{cases}

可以看到,计算时间是随输入长度指数增长的,相当于有gif.latex?O%28m*n%29个不同的子问题,因此,用动态规划算法自底向上地计算最优值能提高算法的效率。

接下来,我们考虑代码实现,首先定义计算最长公共子序列长度的DP算法gif.latex?LCS_%7BLENGTH%7D%28X%2CY%29

  1. 以序列gif.latex?X%3D%3Cx_1%2C%20x_2%2C%5Ccdots%20%2Cx_m%3Egif.latex?Y%3D%3Cy_1%2C%20y_2%2C%5Ccdots%20%2Cy_n%3E作为输入
    比如下图所示,竖向的gif.latex?X可定义为gif.latex?GCGCAATG,横向的gif.latex?Y可定义为gif.latex?GCCCTAGCGA
    向上走一格,意味着:gif.latex?x-1 
    向左边走一格,意味着:gif.latex?y-1 
    向左上斜着走一格,意味着:gif.latex?x-1%2Cy-1

    fa21579308534d93be2f044bc5d76906.png

  2. 输出两个数组gif.latex?c%5B0..m%20%2C0..n%5Dgif.latex?b%5B1..m%20%2C1..n%5D
    其中gif.latex?c%5Bi%2Cj%5D存储gif.latex?X_igif.latex?Y_j的最长公共子序列的长度,gif.latex?b%5Bi%2Cj%5D记录指示gif.latex?c%5Bi%2Cj%5D的值是由哪一个子问题的解达到的,这在构造最长公共子序列时要用到
     

    gif.latex?b%5Bi%2Cj%5D中遇到"↖"时(意味着gif.latex?x_i%3Dy_i是LCS的一个元素),表示gif.latex?X_igif.latex?Y_j的最长公共子序列是由gif.latex?X_%7Bi-1%7Dgif.latex?Y_%7Bj-1%7D的最长公共子序列在尾部加上gif.latex?xigif.latex?y_j得到的子序列

    gif.latex?b%5Bi%2Cj%5D中遇到"↑"时,表示gif.latex?X_igif.latex?Y_j的最长公共子序列和gif.latex?X_%7Bi-1%7Dgif.latex?Y_j的最长公共子序列相同

    gif.latex?b%5Bi%2Cj%5D中遇到"←"时,表示gif.latex?X_igif.latex?Y_j的最长公共子序列和gif.latex?X_igif.latex?Y_%7Bj-1%7D的最长公共子序列相同

    当然,有时候左上、左、上三者中有多个同时达到最大,可以任取其中之一,也可以定义为一个优先级,比如左上 > 左 > 上

  3. 最后,gif.latex?Xgif.latex?Y的最长公共子序列的长度记录于gif.latex?c%5Bm%2Cn%5D

这种方法是按照反序来找LCS的每一个元素的。由于每个数组单元的计算耗费O(1)时间,算法gif.latex?LCS_%7BLENGTH%7D耗时gif.latex?O%20%28mn%29,代码如下

Procedure LCS_LENGTH(X,Y);
begin
  m:=length[X];
  n:=length[Y];
  for i:=1 to m do c[i,0]:=0;
  for j:=1 to n do c[0,j]:=0;
  for i:=1 to m do
    for j:=1 to n do
      if x[i]=y[j] then
        begin
          c[i,j]:=c[i-1,j-1]+1;
          b[i,j]:="↖";
        end
      else if c[i-1,j]≥c[i,j-1] then
        begin
          c[i,j]:=c[i-1,j];
          b[i,j]:="↑";
        end
      else
        begin
          c[i,j]:=c[i,j-1];
          b[i,j]:="←"
        end;
  return(c,b);
end;

下面的算法gif.latex?LCS%28b%2CX%2Ci%2Cj%29实现根据gif.latex?b的内容打印出gif.latex?X_igif.latex?Y_j的最长公共子序列,通过算法的调用gif.latex?LCS%28b%2CX%2Clength%5BX%5D%2Clength%5BY%5D%29,便可打印出序列X和Y的最长公共子序列

Procedure LCS(b,X,i,j);
begin
  if i=0 or j=0 then return;
  if b[i,j]="↖" then
    begin
      LCS(b,X,i-1,j-1);
      print(x[i]); {打印x[i]}
    end
  else if b[i,j]="↑" then LCS(b,X,i-1,j) 
                      else LCS(b,X,i,j-1);
end; 

在算法gif.latex?LCS中,每一次的递归调用使gif.latex?igif.latex?j减1,因此算法的计算时间为gif.latex?O%20%28m&plus;n%29

再举个例子,设所给的两个序列为gif.latex?X%3D%3CA%2CB%2CC%2CB%2CD%2CA%2CB%3Egif.latex?Y%3D%3CB%2CD%2CC%2CA%2CB%2CA%3E,由算法gif.latex?LCS_%7BLENGTH%7Dgif.latex?LCS%28b%2CX%2Ci%2Cj%29计算出的结果如下图所示:  

02bc0a98bb82421aa1ecbb25d6014a06.png

再来说明下此图(参考算法导论)

  • gif.latex?LCS_%7BLENGTH%7D计算出表c和b,第gif.latex?i行和第gif.latex?j列中的方块包含了gif.latex?c%5Bi%2Cj%5D的值以及指向gif.latex?b%5Bi%2Cj%5D的箭头,在gif.latex?c%5B7%2C6%5D的项4,表的右下角为gif.latex?Xgif.latex?Y的一个gif.latex?LCS%3CB%2CC%2CB%2CA%3E的长度
    对于gif.latex?i%2Cj%3E0,项gif.latex?c%5Bi%2Cj%5D仅依赖于:是否有gif.latex?x_i%3Dy_i及项gif.latex?c%5Bi-1%2Cj%5Dgif.latex?c%5Bi%2Cj-1%5D的值,这几个项都在gif.latex?c%5Bi%2Cj%5D之前计算
  • 为了重构一个LCS的元素,从右下角开始跟踪gif.latex?b%5Bi%2Cj%5D的箭头即可,这条路径标示为阴影,这条路径上的每一个“↖”对应于一个使gif.latex?x_i%3Dy_i为一个LCS的成员的项
    所以根据上述图所示的结果,程序将最终输出:“B C B A”,或“B D A B”

2.2 进一步分析:算法改进、代码实现、时间复杂度

    对于一个具体问题,按照一般的算法设计策略设计出的算法,往往在算法的时间和空间需求上还可以改进。这种改进,通常是利用具体问题的一些特殊性。

  1. 例如,在算法gif.latex?LCS_%7BLENGTH%7Dgif.latex?LCS中,可进一步将数组b省去。事实上,数组元素gif.latex?c%5Bi%2Cj%5D的值仅由gif.latex?c%5Bi-1%2Cj-1%5D%2Cc%5Bi-1%2Cj%5D%2Cc%5Bi%2Cj-1%5D三个值之一确定,而数组元素gif.latex?b%5Bi%2Cj%5D也只是用来指示gif.latex?c%5Bi%2Cj%5D究竟由哪个值确定。
  2. 因此,在算法LCS中,我们可以不借助于数组b而借助于数组c本身临时判断gif.latex?c%5Bi%2Cj%5D的值是由gif.latex?c%5Bi-1%2Cj-1%5D%2Cc%5Bi-1%2Cj%5D%2Cc%5Bi%2Cj-1%5D中哪一个数值元素所确定,代价是Ο(1)时间。
  3. 既然gif.latex?b对于算法gif.latex?LCS不是必要的,那么算法gif.latex?LCS_%7BLENGTH%7D便不必保存它。这一来,可节省gif.latex?%5CTheta%20%28mn%29的空间,而gif.latex?LCS_%7BLENGTH%7Dgif.latex?LCS所需要的时间仍然分别是gif.latex?O%28mn%29gif.latex?O%28m&plus;n%29。不过,由于数组c仍需要gif.latex?O%20%28mn%29的空间,因此这里所作的改进,只是在空间复杂性的常数因子上的改进 

    另外,如果只需要计算最长公共子序列的长度,则算法的空间需求还可大大减少。事实上,在计算gif.latex?c%5Bi%2Cj%5D时,只用到数组gif.latex?c的第gif.latex?i行和第gif.latex?i-1行。因此,只要用2行的数组空间就可以计算出最长公共子序列的长度。更进一步的分析还可将空间需求减至gif.latex?min%28m%2C%20n%29

最后给出此LCS的最终代码,参考如下:

// LCS.cpp : 定义控制台应用程序的入口点。
//

//copyright@zhedahht
//updated@2011.12.13 July
#include "stdafx.h"
#include "string.h"
#include <iostream>
using namespace std;

// directions of LCS generation
enum decreaseDir {kInit = 0, kLeft, kUp, kLeftUp};

void LCS_Print(int **LCS_direction, 
	char* pStr1, char* pStr2, 
	size_t row, size_t col);

// Get the length of two strings' LCSs, and print one of the LCSs
// Input: pStr1         - the first string
//        pStr2         - the second string
// Output: the length of two strings' LCSs
int LCS(char* pStr1, char* pStr2)
{
	if(!pStr1 || !pStr2)
		return 0;

	size_t length1 = strlen(pStr1);
	size_t length2 = strlen(pStr2);
	if(!length1 || !length2)
		return 0;

	size_t i, j;

	// initiate the length matrix
	int **LCS_length;
	LCS_length = (int**)(new int[length1]);
	for(i = 0; i < length1; ++ i)
		LCS_length[i] = (int*)new int[length2];

	for(i = 0; i < length1; ++ i)
		for(j = 0; j < length2; ++ j)
			LCS_length[i][j] = 0;

	// initiate the direction matrix
	int **LCS_direction;
	LCS_direction = (int**)(new int[length1]);
	for( i = 0; i < length1; ++ i)
		LCS_direction[i] = (int*)new int[length2];

	for(i = 0; i < length1; ++ i)
		for(j = 0; j < length2; ++ j)
			LCS_direction[i][j] = kInit;

	for(i = 0; i < length1; ++ i)
	{
		for(j = 0; j < length2; ++ j)
		{
			//之前此处的代码有问题,现在订正如下:
			if(i == 0 || j == 0) 
			{ 
				if(pStr1[i] == pStr2[j]) 
				{ 
					LCS_length[i][j] = 1; 
					LCS_direction[i][j] = kLeftUp; 
				} 
				else 
				{ 
					if(i > 0) 
					{ 
						LCS_length[i][j] = LCS_length[i - 1][j]; 
						LCS_direction[i][j] = kUp; 
					} 
					if(j > 0) 
					{ 
						LCS_length[i][j] = LCS_length[i][j - 1]; 
						LCS_direction[i][j] = kLeft; 
					} 
				} 
			}
			// a char of LCS is found, 
			// it comes from the left up entry in the direction matrix
			else if(pStr1[i] == pStr2[j])
			{
				LCS_length[i][j] = LCS_length[i - 1][j - 1] + 1;
				LCS_direction[i][j] = kLeftUp;
			}
			// it comes from the up entry in the direction matrix
			else if(LCS_length[i - 1][j] > LCS_length[i][j - 1])
			{
				LCS_length[i][j] = LCS_length[i - 1][j];
				LCS_direction[i][j] = kUp;
			}
			// it comes from the left entry in the direction matrix
			else
			{
				LCS_length[i][j] = LCS_length[i][j - 1];
				LCS_direction[i][j] = kLeft;
			}
		}
	}
	LCS_Print(LCS_direction, pStr1, pStr2, length1 - 1, length2 - 1); //调用下面的LCS_Pring 打印出所求子串。
	return LCS_length[length1 - 1][length2 - 1];                      //返回长度。
}

// Print a LCS for two strings
// Input: LCS_direction - a 2d matrix which records the direction of 
//                        LCS generation
//        pStr1         - the first string
//        pStr2         - the second string
//        row           - the row index in the matrix LCS_direction
//        col           - the column index in the matrix LCS_direction
void LCS_Print(int **LCS_direction, 
	char* pStr1, char* pStr2, 
	size_t row, size_t col)
{
	if(pStr1 == NULL || pStr2 == NULL)
		return;

	size_t length1 = strlen(pStr1);
	size_t length2 = strlen(pStr2);

	if(length1 == 0 || length2 == 0 || !(row < length1 && col < length2))
		return;

	// kLeftUp implies a char in the LCS is found
	if(LCS_direction[row][col] == kLeftUp)
	{
		if(row > 0 && col > 0)
			LCS_Print(LCS_direction, pStr1, pStr2, row - 1, col - 1);

		// print the char
		printf("%c", pStr1[row]);
	}
	else if(LCS_direction[row][col] == kLeft)
	{
		// move to the left entry in the direction matrix
		if(col > 0)
			LCS_Print(LCS_direction, pStr1, pStr2, row, col - 1);
	}
	else if(LCS_direction[row][col] == kUp)
	{
		// move to the up entry in the direction matrix
		if(row > 0)
			LCS_Print(LCS_direction, pStr1, pStr2, row - 1, col);
	}
}

int _tmain(int argc, _TCHAR* argv[])
{
	char* pStr1="abcde";
	char* pStr2="acde";
	LCS(pStr1,pStr2);
	printf("\n");
	system("pause");
	return 0;
}

    程序运行结果如下所示:

282f49bf6529447d9b56b414e8f3eb50.png

算法导论上指出,

  1. 最长公共子序列问题的一个一般的算法、时间复杂度为gif.latex?O%28mn%29。然后,Masek和Paterson给出了一个lgn%29时间内执行的算法,其中gif.latex?n%5Cleq%20m,而且此序列是从一个有限集合中而来。在输入序列中没有出现超过一次的特殊情况中,Szymansk说明这个问题可在gif.latex?O%5Cleft%20%28%20%28n&plus;m%29lg%28n&plus;m%29%20%5Cright%20%29内解决
  2. 一篇由Gilbert和Moore撰写的关于可变长度二元编码的早期论文中有这样的应用:在所有的概率pi都是0的情况下构造最优二叉查找树,这篇论文给出一个gif.latex?O%28n%5E3%29时间的算法。Hu和Tucker设计了一个算法,它在所有的概率pi都是0的情况下,使用gif.latex?O%28n%29的时间和gif.latex?O%28n%29的空间,最后,Knuth把时间降到了gif.latex?O%28nlgn%29

更多可参考《算法导论》一书第15章 动态规划问题,或参考:程序员编程艺术第十一章、最长公共子序列(LCS)问题

评论 61
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

v_JULY_v

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值