C++ 数据结构（一）绪论（6）动态规划（2）

来源：我的博客站 OceanicKang |《C++ 数据结构（一）绪论（6）动态规划（2）》

上一篇：《C++ 数据结构（一）绪论（6）动态规划（1）》

最长公共子序列

子序列（Subsequence）：由序列中若干字符，按原相对次序构成

最长公共子序列（Longest Common Subsequence）：两个序列公共子序列中的最长者

LCS()：递归

对于序列 A[0, n] 和 B[0, m]，LCS(A, B) 有三种情况

0、递归基：若 n = -1 或 m = -1，则取作空序列（""）

1、减而治之：若 A[n] = ‘X’ = B[m]，则取作 LCS(A[0, n), B[0, m)) + ‘X’

2、分而治之：若 A[n] ≠ B[m]，则在 LCS(A[0, n], B[0, m)) 与 LCS(A[0, n), B[0, m]) 中取更长者

LCS()：理解

单调性：无论如何，每经过一次比对，原问题的规模必可减小。具体的，作为输入的两个序列，至少其一的长度缩短一个单位。

最好情况（不出现分而治之的情况）下，只需 O(n+m) 时间。

但问题在于，出现分而治之的情况下，原问题将被分解为两个子问题。

更糟糕的是，它们在随后进一步导出的子问题，可能雷同。

在最坏情况下，LCS(A[0, a], B[0, b]) 出现的次数为

( n + m − a − b n − a ) = ( n + m − a −