最长公共子序列问题，证明及优化后代码（证明主要摘自《算法导论》）

最新推荐文章于 2024-08-07 15:50:47 发布

Mr.zhao's-blog

最新推荐文章于 2024-08-07 15:50:47 发布

阅读量1k

点赞数 3

分类专栏：算法

本文链接：https://blog.csdn.net/weixin_40522938/article/details/111223435

版权

本文详细探讨了最长公共子序列（LCS）问题的数学证明，该证明来源于《算法导论》。通过证明揭示了动态规划递推公式的合理性。此外，文章还涉及如何利用该证明优化LCS的计算过程。

摘要由CSDN通过智能技术生成

看了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时，有
&#

关注

专栏目录