lcs[i][j]表示x字符串的前i个与y字符串的前j个的最长公共子序列
lcs[i][j]=0 i=0或j=0
lcs[i][j]=lcs[i-1][j-1]+1 xi=yi
lcs[i][j]=max(lcs[i-1][j],lcs[i][j-1]) xi!=yj
经过分析,i,j前的最长公共子序列由lcs[i-1][j-1],lcs[i-1][j],lcs[i][j-1],这些子问题决定,然后子问题也是最长的子序列,即这个递归式具有最优子结构性质,每一层递归都是最优的,并且由最优的子问题决定,并且子问题的最优值不受父问题影响,即无后效性,这就是能够自底向上的进行递推的重要依据。
另外一个使用动态规划的原因是由于递归过程中有许多重叠子问题,例如求lcs[i-1][j]时可能会计算到lcs[i-1][j-1],而求lcs[i][j-1]时也可能需要计算lcs[i-1][j-1]. 所以,为了避免重复计算,我们应该制作一张表用来记录已经得到的结果,然后我们能够这样做的原因,就是因为递归的表达式具有最优子结构性质,即用到的都是最优的,计算出的也都是最优的,再次使用一个运算过的问题时,直接调用表中记录的这个最优值就可以了。