动态规划之最长公共子序列(LCS)

最长公共子序列(LCS,Longest Common Subsequence)。其定义是，一个序列 S ，如果分别是两个或多个已知序列的子序列，且是所有符合此条件序列中最长的，则 S 称为已知序列的最长公共子序列。而最长公共子串(要求连续)和最长公共子序列是不同的。

设X(m)={x(1), x(2), x(3),....,x(m)} 和 Y(n)={y(1), y(2), y(3),....,y(n)}的最长公共子序列Z(k)={z(1), z(2),z(3),....,z(k)}

首先，将原问题分解为子问题，得出一个已知的结论：当m或n等于0时，k等于0，即公共子序列长度为0

当m和n都不等于0时，此时分为三种情况：

(1) x(m) == y(n) ，此时z(k) =x(m) = y(n)，该元素属于当前最长公共子序列的最后一个元素。此时Z(k-1)={ X(m-1)与Y(n-1)的最长公共子序列 }

(2) x(m) ！= y(n) ，且z(k) ！=x(m)，此时Z={ X(m-1)与Y(n)的最长公共子序列 }

(3) x(m) ！= y(n) ，且z(k) ！=y(n)，此时Z={ X(m)与Y(n-1)的最长公共子序列 }

其中X(m-1)={x(1), x(2), x(3),....,x(m-1)} ， Y(n-1)={y(1), y(2), y(3),....,y(n-1)}，Z(k-1)={z(1), z(2),z(3),....,z(k-1)}

上面三个步骤，每个步骤都是根据当前序列的状态，将问题转化为已知解的子问题(最初的已知解的子问题是当m==0或n==0时)，从而求出当前问题的解。

由此便得出了该问题的状态转移方程，数学描述如下：

现有两个序列X={x1,x2,x3，...xi}，Y={y1,y2,y3，....，yi}，

设一个C[i,j]: 保存Xi与Yj的LCS的长度

最后，该算法的python实现：

1 # 最长公共子序列问题 2 __author__ = 'ice' 3 4 5 # arr_x,arr_y [0 ~ length-1] 6 # subarr_len [0,1~x_length][0,1~y_length] 7 # flag [0 ~ x_length-1][0 ~ y_length] 8 9 10 def lcs_length(arr_x, arr_y):11x_length = len(arr_x)12y_length = len(arr_y)13subarr_len = [[0 for j in range(y_length + 1)] for i in range(x_length + 1)]14flag = [[0 for j in range(y_length)] for i in range(x_length)]15for i in range(1, x_length + 1):16 for j in range(1, y_length + 1):17 if arr_x[i - 1] == arr_y[j - 1]:18 subarr_len[i][j] = subarr_len[i - 1][j - 1] + 119 flag[i - 1][j - 1] = 120 elif subarr_len[i - 1][j] >= subarr_len[i][j - 1]:21 subarr_len[i][j] = subarr_len[i - 1][j]22 flag[i - 1][j - 1] = 223 else:24 subarr_len[i][j] = subarr_len[i][j - 1]25 flag[i - 1][j - 1] = 326return {'subarr_length': subarr_len[x_length][y_length], 'flag': flag}27 28 29 def lcs(arr_x, x_i, y_j, flag, result):30if x_i < 0 or y_j < 0:31 return32if flag[x_i][y_j] == 1:33 lcs(arr_x, x_i - 1, y_j - 1, flag, result)34 result.append(arr_x[x_i])35elif flag[x_i][y_j] == 2:36 lcs(arr_x, x_i - 1, y_j, flag, result)37elif flag[x_i][y_j] == 3:38 lcs(arr_x, x_i, y_j - 1, flag, result)39 40 41 array_x = ['a', 'b', 'c', 'b', 'd', 'a', 'b']42 array_y = ['b', 'd', 'c', 'a', 'b', 'a']43 longest_common_subsequence = []44 lcs_info = lcs_length(array_x, array_y)45 lcs(array_x, len(array_x) - 1, len(array_y) - 1, lcs_info['flag'], longest_common_subsequence)46 print(longest_common_subsequence)