问题定义:
最长公共子序列:给定两个序列X={x1,x2,……xn},Y={y1,y2……,ym},如果X的子序列存在一个严格递增的下标序列{,,……},使得对于所有的j=1,2……,k,有=,则称产生的数组为对应的公共子序列。
如果公共子序列的长度最大,我们就称之为最长公共子序列,并求出LCS的长度(最优值)和对应的子序列(最优解)。
我们将和所对应的长度存储在数组里,并记录为c[i][j]。
我们可以证明问题的求解具有:
1.最优子结构性质。 问题的最优解包括子问题的最优解,不同子问题的最优解叠加在一起就是总问题的最优解
2.和重叠子问题:子问题有多个且具有重复性,如果两个序列不存在任何相同的元素,则c[1][1]=c[m][n]。
基于以上两点性质,可以用动态规划的算法来进行求解。顺便一提,在ACM题目中有很多这样的题,任何求序列问题(如MaxSum)和树的问题(如二叉搜索树),几乎不用证明就可以去求解。
直接给出公式: