最长公共子序列问题

最长公共子序列问题

  问题描述：给定两个序列$X,Y$(可以把它们视作字符串),求他们的最长公共子序列。例如$X="BCAB",Y="BDACB"$,其最长公共子序列为$BCB,BAB$。一个给定序列的子序列，就是将给定序列零个或多个元素去掉之后的序列。例如$X="BAC"$,它有$B,A,C,BA,BC,AC,BAC$，六个子序列。如何利用动态规划求解这个问题？（最长公共子序列问题，Longest common subsequence，LCS)

  求解动态规划问题，首先都要找到它是否满足最优子结构特征(最优子结构特征是指最优化问题的最优解可以由子问题的最优解组合得到)。

  假设$X=x_1{x}_1{x}_2\dots \dots x_n,Y=y_1{y}_1{y}_2\dots \dots y_m$，假设其最长公共子序列为$Z=z_1{z}_2\dots \dots z_k$。

  考虑$x_n=y_m$时的情况，假设$x_n=y_m\ne z_k$,那么$\text{LCS}(X,Y)=\text{LCS}(X_{n-1},Y_{m-1})$,则存在$\text{LCS}(X_{n-1},Y_{m-1})+x_n$的更长的子序列，因此，$x_n=y_m$时，$x_n=y_m=z_k$。

  当$x_n\ne y_m$时，可以得到$Z=\max (\text{LCS}(X_{n-1},Y_m),\text{LCS}(X_n,Y_{m-1}))$(取两者较长的那个)。

  综上得到：
$$Z=\{\begin{array}{ll}\text{LCS}(X_{n-1},Y_{m-1})+x_n& x_n=y_m\\ \max (\text{LCS}(X_{n-1},Y_m),\text{LCS}(X_n,Y_{m-1}))& x_n\ne y_m\end{array}$$
上述可以说明这个问题满足最优子结构特征。但是如果通过存储$\text{LCS}(X_i,Y_j)$来自顶向上的求解该问题，存储开销较大。可以通过储存$\text{LCS}(X_i,Y_j)$的长度，以及存储每一步是从哪来的标识，来解决这个问题，具体如下：

首先可以得到
$$c[i,j]=\{\begin{array}{ll}0& i\ast j=0\\ c[i-1,j-1]+1& x_i=y_j\\ \max (c[i-1,j],c[i,j-1]))& x_i\ne y_j\end{array}$$
$c[i,j]$表示$LCS(X_i,Y_j)$的长度，其中$i\ast j=0$时,表示空序列与任何序列的最长公共子序列长度为0。

另外为了构造出$LCS(X,Y)$，做一个标识，有
$$s[i,j]=\{\begin{array}{ll}-1& i\ast j=0,寻找尽头标识\\ 0& x_i=y_j,标识找到最长公共子序列的元素\\ 1& x_i\ne y_j,c[i-1,j]>c[i,j-1],标识下一个元素应在LCS(X_{i-1},Y_j)\\ 2& x_i\ne y_j,c[i-1,j]<c[i,j-1]，标识下一个元素应在LCS(X_i,Y_{j-1})\end{array}$$
C++实现代码：
代码下载

#include <iostream>
#include <string>
#include <vector>
using namespace std;

string LCS(string X,string Y){
    if(X.size()==0||Y.size()==0) return string();
    int n = X.size()+1,m = Y.size()+1;
    int c[n][m],s[n][m];
    //空序列与任何序列最长为0
    for(int i=0;i<n;++i) {c[i][0] = 0; s[i][0] = -1;}
    for(int i=0;i<m;++i) {c[0][i] = 0; s[0][i] = -1;}

    //根据迭代公式，自底向上更新c,s数组
    for (size_t i = 1; i < n; ++i)
    {
        for (size_t j = 1; j < m; ++j)
        {
            //判断此时序列尾字符是否相等
            if(X[i-1]==Y[j-1]) {
                c[i][j] = c[i-1][j-1]+1;
                s[i][j] = 0;
            }else{
                if(c[i-1][j]>c[i][j-1]){
                    c[i][j] = c[i-1][j];
                    s[i][j] = 1;
                }else{
                    c[i][j] = c[i][j-1];
                    s[i][j] = 2;
                }
            }
        }
        
    }
    
    //通过c,s数组构造LCS
    string ans(c[n-1][m-1],'a');
    --n;--m;
    while(s[n][m]!=-1){
        if(s[n][m]==0) {ans[c[n][m]-1]=X[n-1];--n;--m;}
        else if(s[n][m]==1){--n;}
        else if(s[n][m]==2){--m;}
    }
    return ans;
    
}


int main(){
    string X = "BCADB";
    string Y = "BADB";
    cout<<X<<"与"<<Y<<"的最长公共子序列："<<endl;
    cout<<LCS(X,Y)<<endl;
    system("pause");
    return 0;
}

Reference

《算法导论》，第十五章