0.前置定义
0.1 子序列
一个给定序列的子序列,就是将给定序列中零个或多个元素去掉之后得到的结果.
例: X = <A, B, C, B, D, B>
Z = (B, C, D, B) 是X的子序列
W = (B, D, A) 不是X的子序列
0.2 公共子序列
给定两个序列X和Y, 如果Z既是X的子序列,又是Y的子序列,称它是X和Y的公共子序列.
0.3 前缀,第i前缀
给定一个序列X = <x1, x2, …, xm>, X的第i前缀是一个序列Xi = <x1, x2, …, xi>, 其中i = 0, 1, …, m.
1. 问题描述
输入: 序列X = <x1, x2, …, xm>, Y = <y1, y2, …, yn>;
输出: X和Y的最长公共子序列(LCS)长度.
2. 问题求解
2.1 最优解的结构
先说结论: 两个序列的LCS与它们的前缀的LCS有关
具体: 设X = <x1, x2, …, xm>, Y = <y1, y2, …, yn> 是两个序列, Z = <z1, z2, …, zk>是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 和 Ym-1 的LCS
即:
- L C S X Y = L C S X m − 1 Y n − 1 + < X m = Y n > LCS_{XY} = LCS_{X_{m-1}Y_{n-1}} + <X_m=Y_n> LCSXY=LCSXm−1Yn−1+<Xm=Yn>(xm = yn)
- L C S X Y = L C S X m − 1 Y LCS_{XY} = LCS_{X_{m-1}Y} LCSXY