算法分析与设计实践 - 作业9 - LCS算法

1.问题

LCS算法，特别要求举例时采用不同于讲义的数据进行推导。

设X和Y是两个序列，如果Z既是X的子序列，也是Y的子序列，则称Z是X和Y的公共子序列，求X和Y的最长公共子序列。

2.解析

Xi=<x1,x2,…,xi>
Yj=<y1,y2,…,yj>
Zk=<z1,z2,…,zk>
如果Zk是Xi和Yj的最长公共子序列
（1）xi = yj，那么zk = xi = yj，Zk-1是Xi-1和Yj-1的最长公共子序列
（2）xi ≠ yj，那么zk ≠ xi，Zk-1是Xi-1和Yj的最长公共子序列
（3）xi ≠ yj，那么zk ≠ yi，Zk-1是Xi和Yj-1的最长公共子序列

举例：
X=<A,B,C,D,A>
Y=<B,A,C,B>
m=0-5
n=0-4
（1）i=1
a) j=1 X.A<>Y.B:C[1,1]=max{C[1,0],C[0,1]}=0,删除y
b) j=2 X.A= =Y.A:C[1,2]=C[0,1]+1=1,删除两个
c) j=3 X.A<>Y.C:C[1,3]=max{C[1,2],C[0,3]}=1,删除y
d) j=4 X.A<>Y.B:C[1,4]=max{C[1,3],C[0,4]}=1,删除y
（2）i=2
a) j=1 X.B= =Y.B:C[2,1]=C[1,0]+1=1,删除两个
b) j=2 X.B<>Y.A:C[2,2]=max{C[2,1],C[1,2]}=1,删除y
c) j=3 X.B<>Y.C:C[2,3]=max{C[2,2],C[1,3]}=1,删除y
d) j=4 X.B= =Y.B:C[2,4]=C[1,3]+1=2,删除两个
（3）i=3
a) j=1 X.C<>Y.B:C[3,1]=max{C[3,0],C[2,1]}=1,删除x
b) j=2 X.C<>Y.A:C[3,2]=max{C[3,1],C[2,2]}=1,删除y
c) j=3 X.C= =Y.C:C[3,3]=C[2,2]+1=2,删除两个
d) j=4 X.C<>Y.B:C[3,4]=max{C[3,3],C[2,3]}=2,删除y
（4）i=2
a) j=1 X.D<>Y.B:C[4,1]=max{C[4,0],C[3,1]}=1,删除x
b) j=2 X.D<>Y.A:C[4,2]=max{C[4,1],C[3,2]}=1,删除y
c) j=3 X.D<>Y.C:C[4,3]=max{C[4,2],C[3,3]}=2,删除x
d) j=4 X.D<>Y.B:C[4,4]=max{C[4,3],C[3,4]}=2,删除y
（5）i=2
a) j=1 X.A<>Y.B:C[5,1]=max{C[5,0],C[4,1]}=1,删除x
b) j=2 X.A==Y.A:C[5,2]=C[4,1]+1=2,删两个
c) j=3 X.A<>Y.C:C[5,3]=max{C[5,2],C[4,3]}=2,删除y
d) j=4 X.A<>Y.B:C[5,4]=max{C[5,3],C[4,4]}=2,删除y

（1）X=5，Y=4
查表(5,4) “2；删除y”
X=<A,B,C,D,A>
Y=<B,A,C,B>
=>
X=<A,B,C,D,A>
Y=<B,A,C>
（2）X=5，Y=3
查表(5,3) “2；删除y”
X=<A,B,C,D,A>
Y=<B,A,C>
=>
X=<A,B,C,D,A>
Y=<B,A>
（3）X=5，Y=2
查表(5,2) “2；删除两个”
X=<A,B,C,D,A>
Y=<B,A>
=>
X=<A,B,C,D>
Y=< B>
输出A
（4）X=4，Y=1
查表(4,1) “1；删除x”
X=<A,B,C,D>
Y=< B>
=>
X=<A,B,C>
Y=< B>
（4）X=3，Y=1
查表(3,1) “1；删除x”
X=<A,B,C>
Y=< B>
=>
X=<A,B>
Y=< B>
（5）X=2，Y=1
查表(2,1) “1；删两个”
X=<A,B>
Y=< B>
=>
X=< A>
Y=<>
输出B
（6）X=1，Y=0
算法结束，最终输出<B,A>

3.设计

4.分析

T(n)=O(mn)

5.码源

源码地址： https://github.com/chaoxing0910/ex9