算法导论-----最长公共子序列LCS(动态规划)
目录
- 一.概念梳理
- 二.最长公共子序列解决方案
- 方案1:蛮力搜索策略
- 方案2:动态规划策略
- 三、C代码实现
- 实现1
- 实现2(空间优化)
一.概念梳理
1. 子序列(subsequence): 一个特定序列的子序列就是将给定序列中零个或多个元素去掉后得到的结果(不改变元素间相对次序)。例如序列 <A,B,C,B,D,A,B> <script type="math/tex" id="MathJax-Element-170"> </script>的子序列有: <A,B> <script type="math/tex" id="MathJax-Element-171"> </script>、 <B,C,A> <script type="math/tex" id="MathJax-Element-172"> </script>、 <A,B,C,D,A> <script type="math/tex" id="MathJax-Element-173"> </script>等。
2.公共子序列(common subsequence): 给定序列X和Y,序列Z是X的子序列,也是Y的子序列,则Z是X和Y的公共子序列。例如 X=<A,B,C,B,D,A,B> X=, Y=<B,D,C,A,B,A> Y=,那么序列 Z=<B,C,A> Z=为X和Y的公共子序列,其长度为3。但 Z Z不是XX和 Y Y的最长公共子序列,而序列<B,C,B,A>和 <B,D,A,B> <script type="math/tex" id="MathJax-Element-181"> </script>也均为 X X和YY的最长公共子序列,长度为4,而 X X和YY不存在长度大于等于5的公共子序列。
3.最长公共子序列问题(LCS:longest-common-subsequence problem):In the longest-common-subsequence problem, we are given two sequences X=<x1,x2,...,xm> X= and Y=<y1,y2,...,yn> Y= and wish to find a (not “the”) maximum-length common subsequence of X X and YY . This section shows how to efficiently solve the LCS problem using dynamic programming.
二.最长公共子序列解决方案
方案1:蛮力搜索策略
方案2:动态规划策略
- LCS问题具有最优子结构
令 X=<x1,x2,...,xm> X= 和 Y=<y1,y2,...,yn> Y= 为两个序列, Z=<z1,z2,z3,...,zk> Z=为 X X和YY的任意LCS。则
如果 xm=yn x_m=y_n,则 zk=xm=yn z_k=x_m=y_n且 Zk−1 Z_{k-1}是 Xm−1 X_{m-1}和 Yn−1 Y_{n-1}的一个LCS。
如果 xm≠yn x_m≠y_n,那么 zk≠xm z_k≠x_m,意味着 Z Z是Xm−1X_{m-1}和 Y Y的一个LCS。
如果xm≠ynx_m≠y_n,那么 zk≠yn z_k≠y_n,意味着 Z Z是XX和 Yn−1 Y_{n-1}的一个LCS。
从上述的结论可以看出,两个序列的LCS问题包含两个序列的前缀的LCS,因此,LCS问题具有最优子结构性质。在设计递归算法时,不难看出递归算法具有子问题重叠的性质。
设 C[i,j] C[i,j]表示 Xi X_i和 Yj Y_j的最长公共子序列LCS的长度。如果 i=0 i=0或 j=0 j=0,即一个序列长度为 0 0时,那么LCS的长度为0。根据LCS问题的最优子结构性质,可得如下公式:
C[i,j]= \begin{cases}0, & 当 i=0或j=0\\ C[i-1,j-1]+1,&当i,j>0 且x_i=y_j \\ MAX(C[i,j-1],C[i-1,j])&当i,j>0且x_i≠y_j\end{cases}
根据上述的递归公式和初值,有如下伪代码和实现。
- 伪代码1(递归):计算LCS的长度
- 伪代码2(非递归):计算LCS的长度
- 伪代码:构造一个LCS
三、C代码实现
C代码实现1
实现1是完全按照《算法导论》中的伪代码编写而成。整个过程中表c和b的内容如下图所示:
#include <stdio.h>
#include <string.h>
#define MAXLEN 50void LCSLength(char *x, char *y, int m, int n, int c[][MAXLEN], int b[][MAXLEN])
{int i, j;for(i = 0; i <= m; i++)c[i][0] = 0;for(j = 1; j <= n; j++)c[0][j] = 0;for(i = 1; i<= m; i++){for(j = 1; j <= n; j++){if(x[i-1] == y[j-1]){c[i][j] = c[i-1][j-1] + 1;b[i][j] = 1; //如果使用'↖'、'↑'、'←'字符,会有警告,也能正确执行。} //本算法采用1,3,2三个整形作为标记else if(c[i-1][j] >= c[i][j-1]){c[i][j] = c[i-1][j];b[i][j] = 3;}else{c[i][j] = c[i][j-1];b[i][j] = 2;}}}
}void PrintLCS(int b[][MAXLEN], char *x, int i, int j)
{if(i == 0 || j == 0)return;if(b[i][j] == 1){PrintLCS(b, x, i-1, j-1);printf("%c ", x[i-1]);}else if(b[i][j] == 3)PrintLCS(b, x, i-1, j);elsePrintLCS(b, x, i, j-1);
}int main()
{char x[MAXLEN] = {"ABCBDAB"};char y[MAXLEN] = {"BDCABA"};int b[MAXLEN][MAXLEN]; //传递二维数组必须知道列数,所以使用MAXLEN这个确定的数int c[MAXLEN][MAXLEN];int m, n;m = strlen(x);n = strlen(y);LCSLength(x, y, m, n, c, b);PrintLCS(b, x, m, n);return 0;
}
最终屏幕输出的结果为:B C B A 。完全正确。
实现2(空间优化)
实现1中用了两个二维的表b和c,在时空开销上有改进的余地。我们完全可以去掉表b。因为每个 c[i][j] c[i][j]只依赖于 c[i−1][j] c[i-1][j]、 c[i][j−1] c[i][j-1]、 c[i−1][j−1] c[i-1][j-1]三项,当给定 c[i][j] c[i][j]时,我们可以在 O(1) O(1)的时间内判定出 c[i][j] c[i][j]是使用了三项中的哪一项。从而节约了 Θ(mn) Θ(mn)的空间。
#include <stdio.h>
#include <string.h>
#define MAXLEN 50void LCSLength(char *x, char *y, int m, int n, int c[][MAXLEN]) {int i, j;for(i = 0; i <= m; i++)c[i][0] = 0;for(j = 1; j <= n; j++)c[0][j] = 0;for(i = 1; i<= m; i++) {for(j = 1; j <= n; j++) {if(x[i-1] == y[j-1]) { //仅仅去掉了对b数组的使用,其它都没变c[i][j] = c[i-1][j-1] + 1;} else if(c[i-1][j] >= c[i][j-1]) {c[i][j] = c[i-1][j];} else {c[i][j] = c[i][j-1];}}}
}
/*
void PrintLCS(int c[][MAXLEN], char *x, int i, int j) { //非递归版PrintLCSstatic char s[MAXLEN];int k=c[i][j];s[k]='\0';while(k>0){if(c[i][j]==c[i-1][j]) i--;else if(c[i][j]==c[i][j-1]) j--;else{s[--k]=x[i-1];i--;j--;}}printf("%s",s);
}
*/
void PrintLCS(int c[][MAXLEN], char *x, int i, int j) {if(i == 0 || j == 0)return;if(c[i][j] == c[i-1][j]) {PrintLCS(c, x, i-1, j);} else if(c[i][j] == c[i][j-1])PrintLCS(c, x, i, j-1);else {PrintLCS(c, x, i-1, j-1);printf("%c ",x[i-1]);}
}int main() {char x[MAXLEN] = {"ABCBDAB"};char y[MAXLEN] = {"BDCABA"};//char x[MAXLEN] = {"ACCGGTCGAGTGCGCGGAAGCCGGCCGAA"}; //算法导论上222页的DNA的碱基序列匹配//char y[MAXLEN] = {"GTCGTTCGGAATGCCGTTGCTCTGTAAA"};int c[MAXLEN][MAXLEN]; //仅仅使用一个c表int m, n;m = strlen(x);n = strlen(y);LCSLength(x, y, m, n, c);PrintLCS(c, x, m, n);return 0;
}
第一组测试序列,最终屏幕输出的结果为:B C B A 。完全正确。
第二组测试序列,最终屏幕输出的结果为:G T C G T C G G A A G C C G G 。和教材提供的结果相同,完全正确。
算法导论-----最长公共子序列LCS(动态规划)相关推荐
- 动态规划算法解最长公共子序列LCS问题
动态规划算法解LCS问题 作者 July 二零一零年十二月三十一日 本文参考:微软面试100题系列V0.1版第19.56题.算法导论.维基百科. 第一部分.什么是动态规划算法 ok,咱们先来了解下什么 ...
- 算法之最长公共子序列(LCS)问题
算法课上老师留的作业,最长公共子序列LCS(Longest Common Subsequence)问题,首先看到这个问题感觉有点复杂,和最长公共子串不同,公共子序列并不要求元素相邻,看起来只有穷举才能 ...
- [Leetcode][第1143题][JAVA][最长公共子序列][LCS][动态规划]
[问题描述][中等] [解答思路] 时间复杂度:O(N^2) 空间复杂度:O(N^2) class Solution {public int longestCommonSubsequence(Stri ...
- 蓝桥杯 ADV-202算法提高 最长公共子序列(动态规划)
问题描述 给定两个字符串,寻找这两个字串之间的最长公共子序列. 输入格式 输入两行,分别包含一个字符串,仅含有小写字母. 输出格式 最长公共子序列的长度. 样例输入 abcdgh aedfhb 样例输 ...
- 51NOD 1006 最长公共子序列 Lcs 动态规划 DP 模板题 板子
给出两个字符串A B,求A与B的最长公共子序列(子序列不要求是连续的). 比如两个串为: abcicba abdkscab ab是两个串的子序列,abc也是,abca也是,其中abca是这两个字符串最 ...
- LCS算法:最长公共子序列
LCS算法:最长公共子序列定义: 一个序列A任意删除若干个字符得到新序列B,则A叫做B的子序列 两个序列X和Y的公共子序列中,长度最长的那个,定义为X和Y的最长公共子序列 例如: X={A,B,C,B ...
- 动态规划表格法解决最长公共子序列(LCS)问题
3.5 最长公共子序列(LCS) 前言:图片是博主自己画的,转载请注明出处哦 3.5.1 问题描述 最长公共子序列(Longest Common Subseuence,LCS)问题:给定两个字符串,求 ...
- 算法学习 - 最长公共子序列(LCS)C++实现
最长公共子序列 最长公共子序列的问题很简单,就是在两个字符串中找到最长的子序列,这里明确两个含义: 子串:表示连续的一串字符 . 子序列:表示不连续的一串字符. 所以这里要查找的是不连续的最长子序列, ...
- 动态规划之最长公共子序列(LCS)
最长公共子序列(LCS,Longest Common Subsequence).其定义是,一个序列 S ,如果分别是两个或多个已知序列的子序列,且是所有符合此条件序列中最长的,则 S 称为已知序列的最 ...
最新文章
- jython在MyEclipse控制台出现Failed to install
- 美丽的闭包,在js中实现函数重载
- mysql 备份表_MySQL中表的复制以及大型数据表的备份教程
- CSU-1982 小M的移动硬盘
- golang字符串转数字
- 计算机信息管理专业技能评价,计算机信息管理专业个人技能范文
- 算法(三):图解广度优先搜索算法
- ueditor分布式部署
- 3月11日Linux课程笔记
- python xml.etree.ElementTree
- 啊哈算法纸牌游戏———小猫钓鱼
- 二、三角高程测量计算(C#语言)
- ddr4单颗粒最大_国产DDR4内存颗粒!南亚DDR4颗粒超频测试
- php在线电子小说网站毕业设计源码
- 网站在线工具查询链接收录与优化文章收录情况
- 计算机显示 亮度怎么调整,电脑屏幕亮度调整一直显示怎么办
- [Windows]卸载Office 2016密钥
- 将openwrt软路由装进U盘中并运行
- 中山大学计算机类专业是什么,中山大学2017年计算机类专业自主招生条件及专业优势...
- 几种线程安全的Map解析,真香系列