博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
【动态规划】最长公共子序列与最长公共子串
阅读量:6501 次
发布时间:2019-06-24

本文共 2732 字,大约阅读时间需要 9 分钟。

1. 问题描述

子串应该比较好理解,至于什么是子序列,这里给出一个例子:有两个母串

  • cnblogs
  • belong

比如序列bo, bg, lg在母串cnblogs与belong中都出现过并且出现顺序与母串保持一致,我们将其称为公共子序列。最长公共子序列(Longest Common Subsequence, LCS),顾名思义,是指在所有的子序列中最长的那一个。子串是要求更严格的一种子序列,要求在母串中连续地出现。在上述例子的中,最长公共子序列为blog(cnblogs, belong),最长公共子串为lo(cnblogs, belong)。

2. 求解算法

对于母串\(X = < x_1, x_2, \cdots , x_m >\), \(Y = < y_1, y_2, \cdots , y_n >\),求LCS与最长公共子串。

暴力解法

假设 \(m < n\), 对于母串\(X\),我们可以暴力找出\(2^m\)个子序列,然后依次在母串\(Y\)中匹配,算法的时间复杂度会达到指数级\(O(n*2^m)\)。显然,暴力求解不太适用于此类问题。

动态规划

假设\(Z =< z_1, z_2, \cdots , z_k >\)\(X\)\(Y\)的LCS, 我们观察到

  • 如果\(x_m = y_n\),则\(z_k = x_m = y_n\),有\(Z_{k-1}\)\(X_{m-1}\)\(Y_{n-1}\)的LCS;
  • 如果\(x_m \ne y_n\),则\(Z_{k}\)\(X_{m}\)\(Y_{n-1}\)的LCS,或者是\(X_{m-1}\)\(Y_{n}\)的LCS。

因此,求解LCS的问题则变成递归求解的两个子问题。但是,上述的递归求解的办法中,重复的子问题多,效率低下。改进的办法——用空间换时间,用数组保存中间状态,方便后面的计算。这就是动态规划(DP)的核心思想了。

DP求解LCS

用二维数组c[i][j]记录串\(x_1x_2 \cdots x_i\)\(y_1y_2\cdots y_j\)的LCS长度,则可得到状态转移方程

\[ c[i,j] = \left\{ {\matrix{ 0 & {
{i = 0 \rm{\ or \ }j = 0}} \cr {c[i - 1,j - 1] + 1} & {
{i, j > 0 \rm{\ and\ } \ }{
{x}}_i} = {y_j} \cr {\max ({c[i, j - 1], c[i - 1, j])}} & {
{i, j > 0 \rm{\ and\ }}{
{\rm{x}}_i} \ne {y_j}} \cr } } \right. \]

代码实现

public static int lcs(String str1, String str2) {    int len1 = str1.length();    int len2 = str2.length();    int c[][] = new int[len1+1][len2+1];    for (int i = 0; i <= len1; i++) {        for( int j = 0; j <= len2; j++) {            if(i == 0 || j == 0) {                c[i][j] = 0;            } else if (str1.charAt(i-1) == str2.charAt(j-1)) {                c[i][j] = c[i-1][j-1] + 1;            } else {                c[i][j] = max(c[i - 1][j], c[i][j - 1]);            }        }    }    return c[len1][len2];}

DP求解最长公共子串

前面提到了子串是一种特殊的子序列,因此同样可以用DP来解决。定义数组的存储含义对于后面推导转移方程显得尤为重要,糟糕的数组定义会导致异常繁杂的转移方程。考虑到子串的连续性,将二维数组\(c[i,j]\)用来记录具有这样特点的子串——结尾为母串\(x_1x_2 \cdots x_i\)\(y_1y_2\cdots y_j\)的结尾——的长度。

得到转移方程:

\[ c[i,j] = \left\{ {\matrix{ 0 & {i = 0 \rm{\ or\ }j = 0} \cr {c[i - 1,j - 1]+1} & {
{x_i} = {y_j}} \cr 0 & {
{x_i} \ne {y_j}} \cr } } \right. \]

最长公共子串的长度为 \(max(c[i,j]), \ i\in \lbrace 1,\cdots, m \rbrace, j\in \lbrace 1,\cdots,n \rbrace\)

代码实现

public static int lcs(String str1, String str2) {    int len1 = str1.length();    int len2 = str2.length();    int result = 0;     //记录最长公共子串长度    int c[][] = new int[len1+1][len2+1];    for (int i = 0; i <= len1; i++) {        for( int j = 0; j <= len2; j++) {            if(i == 0 || j == 0) {                c[i][j] = 0;            } else if (str1.charAt(i-1) == str2.charAt(j-1)) {                c[i][j] = c[i-1][j-1] + 1;                result = max(c[i][j], result);            } else {                c[i][j] = 0;            }        }    }    return result;}

3. 参考资料

[1] cs2035, .

[2] 一线码农, .
[3] GeeksforGeeks, .

转载地址:http://yyvyo.baihongyu.com/

你可能感兴趣的文章
php cgi nginx,cgi、fastcgi、php-fpm、nginx的个人理解。
查看>>
php 审计 for linux,for linux是什么意思
查看>>
matlab里面连接器是什么,Oops - an error has occurred
查看>>
matlab建立桌面图标,在ubuntu16.04上创建matlab的快捷方式(实现方法)
查看>>
matlab 识别率,【caffe-Windows】识别率批量输出——matlab实现
查看>>
MATLAB里面的mghglobal函数,Matlab讨论区 - 声振论坛 - 振动,动力学,声学,信号处理,故障诊断 - Powered by Discuz!...
查看>>
codeigniter 4 php7.0,CodeIgniter4
查看>>
php表的插入与呈现,php解析文本文件呈现在表格上
查看>>
php 开启重写模块,Apache 开启rewrite模式(重写模式)
查看>>
mac重置php,苹果笔记本电脑怎么恢复出厂设置
查看>>
smarty使用php代码,笑谈配置,使用Smarty技术_php
查看>>
oracle数据实际值限制,c# – Oracle数据库TNS密钥“数据源”的值长度超过了’128’的限制...
查看>>
oracle varchar 比较,为什么Oracle的varchar排序顺序与varchar比较的行为不匹配?
查看>>
定子电流分析 异步电机 matlab,MatlabSimulink环境下异步电机定子故障诊断的仿真与研究...
查看>>
oracle index contention,故障排除 | enq:TX - index contention等待事件
查看>>
silk v3 decoder php,解码转换QQ微信的SILK v3编码音频为MP3或其他格式
查看>>
延时关机命令 linux,windows定时关机和linux定时关机的方法(shutdown命令)
查看>>
linux内核最早延迟,工作队列是实现延迟的新机制,从2.5版本Linux内核开始提
查看>>
linux的操作命令文档,Linux文档操作命令
查看>>
linux不能访问80端口,lunux开放80端口(本地访问不了linux文件可能是这个原因)...
查看>>