动态规划之最长公共子序列(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):
11 x_length = len(arr_x)
12 y_length = len(arr_y)
13 subarr_len = [[0 for j in range(y_length + 1)] for i in range(x_length + 1)]
14 flag = [[0 for j in range(y_length)] for i in range(x_length)]
15 for 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] + 1
19 flag[i - 1][j - 1] = 1
20 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] = 2
23 else:
24 subarr_len[i][j] = subarr_len[i][j - 1]
25 flag[i - 1][j - 1] = 3
26 return {'subarr_length': subarr_len[x_length][y_length], 'flag': flag}
27
28
29 def lcs(arr_x, x_i, y_j, flag, result):
30 if x_i < 0 or y_j < 0:
31 return
32 if 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])
35 elif flag[x_i][y_j] == 2:
36 lcs(arr_x, x_i - 1, y_j, flag, result)
37 elif 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)