LCS是动态规划在字符串问题中应用的典型。问题描述:给定2个序列,求这两个序列的最长公共子序列,不要求子序列连续。例如{2,4,3,1,2,1}和{1,2,3,2,4,1,2}的结果是{2,3,2,1}或者{2,4,1,2}。
思路:如果不用动态规划去做,而用暴力法,则必须找出其中一个序列的所有子序列(LIS如果用暴力法思路也是如此),然后判断这个子序列是不是另外一个序列的子序列。判断一个序列是不是另一个序列的子序列可以在O(n)内解决(只需要两个指针,然后依次比较并移动),但是怎么去找一个序列的所有子序列呢,就是就这个集合的所有子集,这是指数级别的复杂度。如果用动态规划去做呢?我们可以用d[i][j]表示序列a[0~i]和序列b[0~j]的最长公共子序列的长度,这是状态;那么状态转移方程:
d[i][j]=d[i-1][j-1]+1 if a[i]=b[j]; and d[i][j]=max{d[i][j-1],d[i-1][j]} if a[i] != b[j]。也就是说,如果i和j上的元素相等,那么d[i-1][j-1]+1就是d[i][j],否则,就要看d[i-1][j]和d[i][j-1]谁大了。在这里面,状态用一个二维数组表示,也就是一个矩阵。我这里引用别人的一张图帮助理解: