设X={x1,x2,...,xm},Y={y1,y2,...,yn},Z={z1,...,zk},Z为X和Y的LCS
若xm=yn,则zk=xm=yn, Zk-1 为 Xm-1 和 Yn-1 的LCS
若xm!=yn,设zk!=xm, Z 为 Xm-1 和 Y 的LCS
若xm!=yn,设zk!=yn, Z 为 X 和 Yn-1 的LCS
设C(i,j)为Xi和Yj的LCS长度
当i==0或j==0时,C(i,j)=0
当A[i]=B[j]时,C(i,j)=C(i-1,j-1)+1;
当A[i]!=B[j]时,C(i,j)=max{C(i-1,j),C(i,j-1)}
标记函数
下面介绍一个实例:设s1={1,3,4,5,6,7,7,8},s2={3,5,7,4,8,6,7,8,2},要想打印其公共序列,需要倒着往回推。往回推有上图中的三种方向。
此题有两个解,首先介绍一种解。(当c[m-1][n]==c[m][n-1]时,往上推导){3,4,6,7,8}
从c[8][9]开始倒推,s1[8]!=s2[9],所以倒推到c[8][8],(c[8][8]>c[7][9],c[8][9]的值来源于c[8][8]),
s1[8]=s2[8],所以s1[8]为公共解的一部分,并倒推到c[7][7],
s1[7]=s2[7],所以s1[7]为公共解的一部分,并倒推到c[6][6],
s1[6]!=s2[6],倒推到c[5][6](c[5][6]==c[6][5],两个方向相等时,默认向上走)
。。。。倒推到第一行或第一列回溯结束
另一种解。(当c[m-1][n]==c[m][n-1]时,往左推导){3,5,7,7,8}