动态规划 - 最长公共子序列（LCS）

最长公共子序列也是动态规划中的一个经典问题。

有两个字符串 S1 和 S2，求一个最长公共子串，即求字符串 S3，它同时为 S1 和 S2 的子串，且要求它的长度最长，并确定这个长度。这个问题被我们称为最长公共子序列问题。

与求最长递增子序列一样，我们首先将原问题分割成一些子问题，我们用 dp[i][j]表示 S1 中前 i 个字符与 S2 中前 j 个字符分别组成的两个前缀字符串的最长公共子串长度。

显然的，当 i、 j 较小时我们可以直接得出答案，如 dp[0][j]必等于 0。那么，假设我们已经求得 dp[i][j](0<=i<x,0<=j<y)的所有值，考虑如何由这些值继而推得 dp[x][y]，求得 S1 前 x 个字符组成的前缀子串和 S2 前 y 个字符 组成的前缀子串的最长公共子序列长度。若 S1[x] = =S2[y]，即 S1 中的第 x 个字 符和 S2 中的第 y 个字符相同，同时由于他们都是各自前缀子串的最后一个字符， 那么必存在一个最长公共子串以 S1[x]或 S2[y]结尾，其它部分等价于 S1 中前 x-1 个字符和 S2中前 y-1个字符的最长公共子串。所以这个子串的长度比 dp[x-1][y-1] 又增加 1，即 dp[x][y] = dp[x-1][y-1] + 1。

相反的，若 S1[x] != S2[y]，此时其最长 公共子串长度为 S1 中前 x-1 个字符和 S2 中前 y 个字符的最长公共子串长度与 S1 中前 x 个字符和 S2 中前 y-1 个字符的最长公共子串长度的较大者，即在两种 情况下得到的最长公共子串都不会因为其中一个字符串又增加了一个字符长度 发生改变。综上所述， dp[x][y] = max{dp[x-1][y],dp[x][y-1]}。

最长公共子序列的递推条件

假设有两个字符串S1和S2，其中S1的长度为n，S2的长度为m，用dp[i][j]表示S1前i个字符组成的前缀子串与S2前j个字符组成的前缀子串的最长公共子串长度，如下：

dp[0][j] = dp[i][0] = 0，其中j>=0 && j<=m，i>=0 && i<=n;

dp[i][j] = dp[i-1][j-1]+1;(S1[i] = S2[j])

dp[i][j] = max{dp[i-1][j],dp[i][j-1]};(S1[i] != S2[j])

最后可以求得dp[n][m]中保存的值即为两个原始字符串的最长公共子序列长度。

按照上面的公式可以写出最长公共子序列的算法

#include "stdafx.h"
#include <iostream>
#include <string>
using namespace std;

#define MAXSIZE 101
char str1[MAXSIZE];
char str2[MAXSIZE];
//'l'表示dp[i][j] = dp[i][j] = dp[i - 1][j];
//‘q’表示dp[i][j] = dp[i][j] = dp[i - 1][j];
//'u'表示dp[i][j] = dp[i][j - 1];
char path[MAXSIZE][MAXSIZE];
int dp[MAXSIZE][MAXSIZE];

void printLCS(int i, int j)
{
    if (i ==  || j == )
        return;
    if (path[i][j] == 'q')
    {
        printLCS(i - , j - );
        cout << str1[i-] << ' ';
    }
    else if (path[i][j] == 'u')
        printLCS(i - , j);
    else
        printLCS(i, j - );

} 

int main()
{
    int n, m;
    cin >> str1 >> str2;
    n = strlen(str1);
    m = strlen(str2);
    //初始化
    for (int i = ; i < n;i++)
    for (int j = ; j < m; j++)
        dp[i][j] = ;
    for (int i = ; i <= n; i++)
    for (int j = ; j <= m; j++)
    {
        if (str1[i - ] == str2[j - ])
        {
            dp[i][j] = dp[i - ][j - ] + ;
            path[i][j] = 'q';
        }

        else
        {
            if (dp[i - ][j] >= dp[i][j - ])
            {
                dp[i][j] = dp[i - ][j];
                path[i][j] = 'u';
            }

            else
            {
                dp[i][j] = dp[i][j - ];
                path[i][j] = 'l';
            }

        }
    }

    cout << dp[n][m] << endl;
    printLCS(n, m);
    return ;
}

测试实例：

str1 = “abcbdab”;str2 = "bdcaba"。

输出如下：

虽然str1和str2的最长公共子序列有多个，根据dp[n][m]进行递归输出，只输出一个最长公共子序列。