教你彻底学会动态规划——进阶篇

在我的上一篇文章中已经详细讲解了动态规划的原理和如何使用动态规划解题。本篇文章，我将继续通过例子来让大家更加熟练地使用动态规划算法。

    话不多说，来看如下例题，也是在动态规划里面遇到过的最频繁的一个题，本题依然来自于北大POJ：

    最长公共子序列（POJ1458)

    给出两个字符串，求出这样的一个最长的公共子序列的长度：子序列中的每个字符都能在两个原串中找到， 而且每个字符的先后顺序和原串中的先后顺序一致。

    Sample Input

    abcfbc abfcab

    programming    contest

    abcd    mnp

    Sample Output

    4

    2

    0

    解题思路：设输入的两个串为s1,s2, 设MaxLen(i,j)表示:：s1的左边i个字符形成的子串，与s2左边的j个字符形成的子串的最长公共子序列的长度(i,j从0 开始算），则MaxLen(i,j) 就是本题的“状态” （如果还不懂“状态”是什么意思，可以参考我上一篇文章）

    假定 len1 = strlen(s1),len2 = strlen(s2），那么题目就是要求   MaxLen(len1,len2)

    显然：

    MaxLen(n,0)  = 0  ( n= 0…len1）

    MaxLen(0,n)  = 0  ( n=0…len2）

    于是，我们可以得到如下的递推公式：  

[cpp] view plain copy

1. if ( s1[i-1] == s2[j-1] ) //s1的最左边字符是s1[0]     
2.     MaxLen(i,j) = MaxLen(i-1,j-1) + 1;   
3. else    
4.     MaxLen(i,j) = Max(MaxLen(i,j-1),MaxLen(i-1,j) );   

    时间复杂度O(mn) m,n是两个字串长度

   

    S1[i-1]!= s2[j-1]时，MaxLen(S1,S2)不会比MaxLen(S1,S2j-1) 和MaxLen(S1i-1,S2)两者之中任何一个小，也不会比两者都大。

    通过上面的分析，我们很简单就可以写出如下的代码：  

[cpp] view plain copy

1. #include <iostream>   
2. #include <cstring>   
3. using namespace std;   
4.   
5. char sz1[1000];   
6. char sz2[1000];   
7. int maxLen[1000][1000];   
8. int main(){    
9.     while( cin >> sz1 >> sz2 ) {     
10.         int length1 = strlen( sz1);     
11.         int length2 = strlen( sz2);     
12.         int nTmp;     
13.         int i,j;     
14.         for( i = 0;i <= length1; i ++ )      
15.             maxLen[i][0] = 0;     
16.         for( j = 0;j <= length2; j ++ )      
17.             maxLen[0][j] = 0;   
18.         for( i = 1;i <= length1;i ++ ) {      
19.             for( j = 1; j <= length2; j ++ ){       
20.                 if( sz1[i-1] == sz2[j-1] )            
21.                     maxLen[i][j] =  maxLen[i-1][j-1] + 1;       
22.                 else             
23.                     maxLen[i][j] = max(maxLen[i][j-1],maxLen[i-1][j]);      
24.             }     
25.         }     
26.         cout <<  maxLen[length1][length2] << endl;    
27.     }    
28.     return 0;    
29. }   

    然后提交我们的代码，一次AC。

   

   

    接下来我们再来看一道典型的例题：

    最长上升子序列(百练2757)

    一个数的序列ai，当a1 < a2 < ... < aS的时候，我们称这个序列是上升的。对于给定的一个序列(a1, a2, ..., aN)，我们可以得到一些上升的子序列(ai1, ai2, ..., aiK)，这里1 <= i1 < i2 < ... < iK <= N。比如，对于序列(1, 7, 3, 5, 9, 4, 8)， 有它的一些上升子序列，如(1, 7), (3, 4, 8)等等。这些子序列中最长的长度是4，比如子序列(1, 3, 5, 8).。

    你的任务，就是对于给定的序列，求出最长上升子序列的长度。

    输入数据

    输入的第一行是序列的长度N (1 <= N <= 1000)。第二行给出序列中的N个整数，这些整数的取值范围都在0到10000。

    输出要求

    最长上升子序列的长度。

    输入样例

    7

    1 7 3 5 9 4 8

    输出样例

    4

    解题思路

    1.找子问题

    “求序列的前n个元素的最长上升子序列的长度”是个子问题，但这样分解子问题，不具有“无后效性”，因为假设F(n) = x,但可能有多个序列满足F(n) = x。有的序列的最后一个元素比 an+1小，则加上an+1就能形成更长上 升子序列；有的序列最后一个元素不比an+1小……以后的事情受如何达到状态n的影响，不符合“无后效性” ，因此我们必须换一种思路来解决此问题。

    “求以ak（k=1, 2, 3…N）为终点的最长上升子序列的长度”，一个上升子序列中最右边的那个数，称为该子序列的 “终点”。虽然这个子问题和原问题形式上并不完全一样，但是只要这N个子问题都解决了，那么这N个子问题的解中， 最大的那个就是整个问题的解。

    2.确定状态

    子问题只和一个变量—— 数字的位置相关。因此序列中数的位置k就是“状态”，而状态 k 对应的“值”，就是以ak做为“终点”的最长上升子序列的长度。 状态一共有N个。

    3.找出状态转移方程

     maxLen (k)表示以ak做为“终点”的

    最长上升子序列的长度那么：

    初始状态：maxLen (1) = 1

    maxLen (k) = max { maxLen (i)：1<=i < k 且 ai < ak且 k≠1 } + 1       若找不到这样的i,则maxLen(k) = 1

    maxLen(k)的值，就是在ak左边，“终点”数值小于ak ，且长度最大的那个上升子序列的长度再加1。因为ak左边任何“终点”小于ak的子序列，加上ak后就能形成一个更长的上升子序列。

    有了这个思路，我们就可以很轻松地写出代码了。然而，即使到了这里，我们依然还能从两个方向解决这道题，我们可以将它们分别称为“人人为我”递推型动归和“我为人人”递推型动归 。请看下面的讲解：

    “人人为我”递推型动归

    状态i的值Fi由若干个值 已知的状态值Fk,Fm,..Fy 推出，如求和，取最大值

   

    根据这个方向，我们不难写出如下代码：  

[cpp] view plain copy

1. #include <iostream>   
2. #include <cstring>   
3. #include <algorithm>   
4. using namespace std;   
5.   
6. const int  MAXN =1010;   
7. int a[MAXN];   int maxLen[MAXN];   
8.   
9. int main(){     
10.     int N;     
11.     cin >> N;    
12.     for( int i = 1;i <= N;++i){     
13.         cin >> a[i];     
14.         maxLen[i] = 1;    
15.     }    
16.     for( int i = 2; i <= N; ++i){ //每次求以第i个数为终点的最长上升子序列的长度     
17.         for( int j = 1; j < i; ++j)  //察看以第j个数为终点的最长上升子序列      
18.             if( a[i] > a[j] )       
19.                 maxLen[i] = max(maxLen[i],maxLen[j]+1);     
20.     }    
21.     cout << * max_element(maxLen+1,maxLen + N + 1 );    
22.     return 0;   
23. } //时间复杂度O(N2)  

    下面是我这段代码的提交结果：

   

    “我为人人”递推型动归

    状态i的值Fi在被更新（不一定是 最终求出）的时候，依据Fi去更 新（不一定是最终求出）和状态i 相关的其他一些状态的值 Fk,Fm,..Fy

   

    根据这个方向，我们又可以写出如下代码：  

[cpp] view plain copy

1. #include <iostream>   
2. #include <cstring>   
3. #include <algorithm>   
4. using namespace std;   
5.   
6. const int  MAXN =1010;   
7. int a[MAXN];   
8. int maxLen[MAXN];     
9.   
10. int main(){     
11.     int N;     
12.     cin >> N;    
13.     for( int i = 1;i <= N;++i){     
14.         cin >> a[i];     
15.         maxLen[i] = 1;    
16.     }    
17.     for( int i = 1; i <= N; ++i)      
18.         for( int j = i + 1; j <= N; ++j )  //看看能更新哪些状态的值      
19.             if( a[j] > a[i] )       
20.                 maxLen[j] = max(maxLen[j],maxLen[i]+1);    
21.     cout << * max_element(maxLen+1,maxLen + N + 1 );    
22.     return 0;  
23. } //时间复杂度O(N2)   

    下面是我这段代码的提交结果：

   

    接下来，就要进行一个总结了：

    动规的三种形式

    1）记忆递归型

    优点：只经过有用的状态，没有浪费。递推型会查看一些 没用的状态，有浪费。

    缺点：可能会因递归层数太深导致栈溢出，函数调用带来额外时间开销。总体来说，比递推型慢。

    2) “我为人人”递推型

    没有什么明显的优势，有时比较符合思考的习惯。个别特殊题目中会比“人人为我”型节省空间。

    3）“人人为我”递推型

    在选取最优备选状态的值Fm,Fn,…Fy时， 有可能有好的算法或数据结构可以用来显 著降低时间复杂度。