一、证明
- 看了leetcode上很多相关的题解,主要思路都是动态规划(dp),但都没有给出所用递推公式的数学证明,我一直没能理解为什么那么做能求出正确的答案,为此查了手头上能找到的大部分相关的算法资料,最后终于在算法导论是找到了相关的数学证明。首先是对递推公式的证明,如下:
注:(文中图片都截取自《算法导论》第三版)
其中Xi是序列X的从0到i的前缀,定义如下:
-
对于定理15.1中(2):因为Z是X和Y的LCS,所以Z中每个字母都同时在X和Y中,且顺序不变。
如果Zk!== Xm,且Zk在X中一定存在,所以Zk必定在{X1,X2,X3…Xm-1}中。又因为Zk是Z中最后一个字母,其他字母都在Zk之前,所以其他字母也只能在{X1,X2,X3…Xm-1}中,即整个子序列Z在{X1,X2,X3…Xm-1}中,又因为Z是Y的子序列,所以Z是XY的公共子序列。 -
Z是Xm-1和Y的最长公共子序列,用反证法证明。假设还存在长度大于k的W是Xm-1和Y的子序列,那么W也是Xm和Y的子序列,与Xm和Y的LCS长度为k矛盾。因为W不存在,即长度大于k的Xm-1和Y的子序列不存在,则长度为k的Z是Xm-1和Y的LCS。
-
证明:如果Xm!=Yn则Xm-1和Yn的LCS与Xm和Yn-1的LCS中较长的一个。
当Xm!= Yn时,必然有Zk!=Xm或Zk!=Yn(因为,如果这二者都没有的话,则Zk == Xm == Yn与前提矛盾)。则有Z是Xm-1和Yn的LCS或Z是Xm和Yn-1的LCS。则有求Xm和Yn的LCS等同于求Xm-1和Yn的LCS或求Xm和Yn-1的LCS。 -
即当Xm!=Yn时,有
&#