一一个基本的模式LCS问题.docVIP

一、一个基本的模式——LCS问题 LCS（最长公共子序列）问题可以简单地描述如下： 一个给定序列的子序列是在该序列中删去若干元素后得到的序列。给定两个序列X和Y，当另一序列Z既是X的子序列又是Y的子序列时，称Z是序列X和Y的公共子序列。例如，若X={A，B，C，B，D，B，A}，Y={B，D，C，A，B，A}，则序列{B，C，A}是X和Y的一个公共子序列，但它不是X和Y的一个最长公共子序列。序列{B，C，B，A}也是X和Y的一个公共子序列，它的长度为4，而且它是X和Y的一个最长公共子序列，因为X和Y没有长度大于4的公共子序列。 最长公共子序列问题就是给定两个序列X={x1,x2,...xm}和Y={y1,y2,...yn}，找出X和Y的一个最长公共子序列。对于这个问题比较容易想到的算法是穷举，对X的所有子序列，检查它是否也是Y的子序列，从而确定它是否为X和Y的公共子序列，并且在检查过程中记录最长的公共子序列。X的所有子序列都检查过后即可求出X和Y的最长公共子序列。X的每个子序列相应于下标集{1,2,...,m}的一个子集。因此，共有2^m个不同子序列，从而穷举搜索法需要指数时间。 事实上，最长公共子序列问题具有最优子结构性质： 设序列X={x1,x2,...,xm}和Y={y1,y2,...,yn}的一个最长公共子序列为Z={z1,z2,...,zk}，则 1.若xm=yn，则zk=xm=yn，且Zk-1是Xm-1和Yn-1的最长公共子序列。2.若xm!=yn且zk!=xm，则Z是Xm-1和Y的最长公共子序列。3.若xm!=yn切zk!=yn，则Z是X和Yn-1的最长公共子序列。通过以上的结论，我们观察到——两个序列的最长公共子序列包含了这两个序列的前缀的最长公共子序列，这为我们将算法的时间复杂度降低到多项式级别埋下了伏笔，因为这两个序列的不同的前缀组合只有O(mn)个。并且，根据以上结论，我们可以得出计算Xi和Yj的最长公共子序列的长度c[i][j]的公式: 当i=0或j=0时，c[i][j]=0。当i,j0且xi=yj时，c[i][j]=c[i-1][j-1]+1。当当i,j0且xi!=yj时，c[i][j]=max{c[i][j-1],c[i-1][j]}。 这样一来，解决这个问题就比较容易了，通过建立递推结构，可以得出下列算法： for (i=1;i=m;++m) 　 c[i][0]=0;for (i=1;i=n;++i) 　 c[0][i]=0;for (i=1;i=m;++i)　{ 　　for (j=1;j=n;++j)　　{　　　if (x[i]==y[j])　　　　c[i][j]=c[i-1][j-1]+1;　　　else if (c[i-1][j]=c[i][j-1])　　　　c[i][j]=c[i-1][j];　　　else　　　　c[i][j]=c[i][j-1];　　}　}X和Y的最长公共子序列的长度就存于c[m][n]中，欲求出具体的子序列，则可通过数组的值用O(m+n)的时间回推，具体的方法不再赘述。