动态规划(2): 最长公共子序列(LCS)问题

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 = <x₁, x₂, …, x_m>, X的第i前缀是一个序列X_i = <x₁, x₂, …, x_i>, 其中i = 0, 1, …, m.

1. 问题描述

输入: 序列X = <x₁, x₂, …, x_m>, Y = <y₁, y₂, …, y_n>;
输出: X和Y的最长公共子序列(LCS)长度.

2. 问题求解

2.1 最优解的结构

先说结论: 两个序列的LCS与它们的前缀的LCS有关
具体: 设X = <x₁, x₂, …, x_m>, Y = <y₁, y₂, …, y_n> 是两个序列, Z = <z₁, z₂, …, z_k>是X与Y的LCS，我们有:

1. 若 x_m = y_n, 则z_k = x_m = y_n 且 Z_k-1 是 X_m-1 和 Y_n-1 的LCS
2. 若 x_m ≠ y_n, 且z_k ≠ x_m, 则 Z 是 X_m-1 和 Y 的LCS
3. 若 x_m ≠ y_n, 且z_k ≠ y_n, 则 Z 是 X 和 Y_m-1 的LCS

即:

1. $LC{S}_{XY}=LC{S}_{X_{m-1}{Y}_{n-1}}+<X_m=Y_n>$(x_m = y_n)
2. $LC{S}_{XY}$