草庐IT

动态规划算法(2)最长回文子串详解

HugeYLH 2024-02-19 原文

文章目录

前篇:
(1)初识动态规划

最长回文字串

传送门:
https://leetcode.cn/problems/longest-palindromic-substring/description/

给你一个字符串 s,找到 s 中最长的回文子串。
s ="babab”
结果:“babab”

解析,这是一道典型的动态规划的问题,但是如果你不知道动态规划,你会怎么做 ?

你可能会想到:依次截取字符串s中的每一个子字符串,然后每一次都比较这个子字符串是不是回文的,并且记录字串最大长度和起始下标,这样做固然可以。

但是!! 它的时间复杂度会非常高,把字符串切成每一种不同的字符串,仅仅 “babab” 这五个长度的字符串就有这些可能性,我们需要每次都判断它是否是回文字符串,并且记录,这对于leetcode的测试案例来说是不可能完成的!
他的时间复杂度是O(n^3),在check判断回文里还需要进行一次完整的遍历。因此这种方式是不要可行的。

b
ba
bab
baba
babab
a
ab
aba
abab
b
ba
bab
a
ab
b

完整代码如下:

class Solution {
public:
    bool check(string s)
    {
        int left=0,right=s.size()-1;
        while (left<right)
        {
            if (s[left++]!=s[right--])
            {
                return false;
            }
        }
        return true;
    }
    string longestPalindrome(string s) {
        int len=0;
        int max_len=0;
        int start=0;
        for (int i=0;i<s.size();i++)
        {
            len=1;
            for (int j=i;j<s.size();j++)
            {
                string temp=s.substr(i,len);
                if (check(temp))
                {
                    if (len>max_len)
                    {
                        max_len=len;
                        start=i;
                    }
                }
                len++;
            }

        }
        return s.substr(start,max_len);        
    }
};

动态规划

既然是回文串,那么我们不妨想一想回文串有什么性质呢?

以 “babab” 为例。

如果它是回文串,并且长度大于 2,那么将它首尾的两个字母去除之后,它仍然是个回文串: aba是回文串 —> babab 也是回文串,因为首位两个b也相等。

我们可以用 P(i,j)表示字符串s中 从 i 到 j 的字符组成的串,用s[i : j]表示这个串。


P(i,j)可以表示两种情况:

  1. true: s[i] -> s[j] 构成回文的字符串。
  2. false:非法的情况。

其中false非法的的情况又分为这两种情况:

  1. s[i] -> s[j] 本身不构成回文串
  2. i,j下标不合法,在动态规划中我们需要经常处理下标越界的情况。

状态转移方程:

P(i,j)=P(i+1,j-1)+ (s[i] == s[j])

也就是说:判断第s[i] -> s[j] 构成的字串是否是回文串

  1. 需要判断第 s[i+1] -> s[j-1] 是否构成回文串
  2. 判断第 s[i] 和 s[j] 首尾两个字符是否相同。

我们来进一步分析这个状态转移的公式:

前提准备:

  • 我们创建dp二维数组表示他们的不同i,j时,i,j所对应的首尾子串的回文状态。
  • 我们首先从列开始,从上往下填充;然后从行开始,从左往右填充。
  1. 当 i==j的时候,可以看作左边界与有边界相等,因此这个字串就一个字符,这一定构成回文串,所以dp对角线元素一定是true,即是回文串
  2. (0,1)表示的字符串长度等于2,即比较s[0] == s[1],很明显不同,填充为 false
  3. (0,2)的状态可以由首尾两个字符的相等性(true)与他们缩小之后的子串(true)判断,bab显然是回文的,因此可以由状态方程之前存储的值得到(0,2)的状态,填充为true
  4. (1,2),他们的长度等于2,而且两个字符不相等,填充为false.
  5. (0,3):由(1,2)+ s[0]==s[3] 的状态确定。(1,2)已经被填充为了是false,因此只需比较首尾字符是否相等即可,填充为false
  6. (1,3):由(2,2)+s[1]==s[3]状态确定,填充为true
  7. (2,3):长度等于2,只需比较 s[2]==s[3],填充为false
  8. (0,4):由(1,3)+ s[0]==s[4]的状态确定。(1,3)已经被填充了true,再加上首尾字符相同,所以填充true
  9. (1,4):由(2,3)+ s[1]==s[4]状态确定,填充为false
  10. (2,4):由(3,3)+ s[2]==s[4]状态确定,填充为true
  11. (3,4):长度小于2,只需比较 s[3]==s[4],填充为false


代码示例

class Solution {
public:
    string longestPalindrome(string s) {
        int n=s.size();
        //---------------Tip1
        if (n==1)
        {
            return s;
        }
        vector<vector<bool>> dp(n,vector<bool>(n));
        for (int i=0;i<n;i++)
        {
            dp[i][i]=true;  //对角线一定为true,相等于i==j
        }
        int start=0,max_len=1;
        //---------------Tip2
        for (int L=2;L<=n;L++)
        {
            for (int i=0;i<n;i++)
            {
            	//--------------Tip3
                //j-i+1=L
                int j=L+i-1;
                if (j>=n)
                {
                //右边界越界,直接退出
                    break;
                }
                //首尾相等,填充true。那么不相等就填充false
                if (s[i]!=s[j])
                {
                    dp[i][j]=false;
                }
                else
                {	//到了这个else里面,那么就意味着 s[i] == s[j] 子串首尾字符是相同的
                	// j - i < 3: 填充长度小于等于3的字符串的状态
                	//长度小于等于3的长度为2的为true( s[i]=s[j])
                	//长度为3也是true(s[i] ==s[j]) && 中间的单独的字符,一定构成回文串。
                    if (j-i<3)
                    {
                        dp[i][j]=true;
                    }
                    else
                    {//长度较长的则进入状态转换,由之前的状态转换得到。
                        dp[i][j]=dp[i+1][j-1];
                    }
                }
                //每次都要记录目标子串的长度与坐标
                //1. 如果以 i为左,j为右的子串是dp[i][j]=true,则它是一个回文串
                //并且长度大于之前记录的子串,则更新此最长的回文串。
                if (dp[i][j] && j-i+1>max_len)
                {
                    max_len=j-i+1;
                    start=i;
                }
            }
        } 
        //根据得到的左边界坐标和长度得到目标子串
        return s.substr(start,max_len);
    }
};

需要注意的几个细节:

  • Tip1. 当我们的s只有一个字符时,它一定是回文串,直接返回即可。
  • Tip2. 我们根据子串的长度进而获得指定长度的子串进行依次填充dp数组,首先L 为2时,填充长度为2的子串的回文性;其次L为3,填充长度为3的字串…一直到最后L为5,填充长度为5的子串的回文性,本例中长度为5的字串即是 s 串本身。
  • Tip3. 我们都知道,想要得到一个子串就需要某个特定的左边界 i 以及子串的长度,这样我们就能确定一个子串。在本题中我们不仅要获得这两个元素还要获得 这个子串的右边界j:因为我们需要判断子串首尾两个字符是否相等,我们可以由 j - i + 1 = L(子串右边界下标 - 左边界下标 + 1 = 字串的长度),得到 j=L+i-1 ,即对应的右边界下标

有关动态规划算法(2)最长回文子串详解的更多相关文章

  1. 区块链之加解密算法&数字证书 - 2

    目录一.加解密算法数字签名对称加密DES(DataEncryptionStandard)3DES(TripleDES)AES(AdvancedEncryptionStandard)RSA加密法DSA(DigitalSignatureAlgorithm)ECC(EllipticCurvesCryptography)非对称加密签名与加密过程非对称加密的应用对称加密与非对称加密的结合二.数字证书图解一.加解密算法加密简单而言就是通过一种算法将明文信息转换成密文信息,信息的的接收方能够通过密钥对密文信息进行解密获得明文信息的过程。根据加解密的密钥是否相同,算法可以分为对称加密、非对称加密、对称加密和非

  2. ruby - 在 Ruby 中动态创建数组 - 2

    有没有办法在Ruby中动态创建数组?例如,假设我想遍历用户输入的书籍数组:books=gets.chomp用户输入:"TheGreatGatsby,CrimeandPunishment,Dracula,Fahrenheit451,PrideandPrejudice,SenseandSensibility,Slaughterhouse-Five,TheAdventuresofHuckleberryFinn"我把它变成一个数组:books_array=books.split(",")现在,对于用户输入的每一本书,我想用Ruby创建一个数组。伪代码来做到这一点:x=0books_array.

  3. ruby - 是否可以将 IRB 提示配置为动态更改? - 2

    我想在IRB中浏览文件系统并让提示更改以反射(reflect)当前工作目录,但我不知道如何在每个命令后进行提示更新。最终,我想在日常工作中更多地使用IRB,让bash溜走。我在我的.irbrc中试过这个:require'fileutils'includeFileUtilsIRB.conf[:PROMPT][:CUSTOM]={:PROMPT_N=>"\e[1m:\e[m",:PROMPT_I=>"\e[1m#{pwd}>\e[m",:PROMPT_S=>"FOO",:PROMPT_C=>"\e[1m#{pwd}>\e[m",:RETURN=>""}IRB.conf[:PROMPT_MO

  4. ruby-on-rails - carrierwave:在序列化动态属性上安装 uploader - 2

    首先,我使用的是rails3.1.3和来自master的carrierwavegithub仓库的分支。我使用after_init钩子(Hook)来确定基于属性的字段页面模型实例并为这些字段定义属性访问器将值存储在序列化哈希中(希望它清楚我是什么谈论)。这是我正在做的事情的精简版:classPage省略mount_uploader命令让我可以访问我想要的属性。但是当我安装uploader时出现错误消息说“nil类的未定义新方法”我在源代码中读到有方法read_uploader和扩展模块中的write_uploader。我如何必须覆盖这些来制作mount_uploader命令使用我的“虚拟

  5. ruby - 在 Ruby 中动态生成多维数组 - 2

    我正在尝试动态构建一个多维数组。我想要的基本上是这样的(为简单起见写出来):b=0test=[[]]test[b]这给了我错误:NoMethodError:undefinedmethod`test=[[],[],[]]而且它工作正常,但在我的实际使用中,我不会事先知道需要多少个数组。有一个更好的方法吗?谢谢 最佳答案 不需要像您正在使用的索引变量。只需将每个数组附加到您的test数组:irb>test=[]=>[]irb>test[["a","b","c"]]irb>test[["a","b","c"],["d","e","f"]]

  6. ruby-on-rails - 使用 gmaps4rails 动态加载谷歌地图标记 - 2

    如何只加载map边界内的标记gmaps4rails?当然,在平移和/或缩放后加载新的。与此直接相关的是,如何获取map的当前边界和缩放级别? 最佳答案 我是这样做的,我只在用户完成平移或缩放后替换标记,如果您需要不同的行为,请使用不同的事件监听器:在你看来(index.html.erb):{"zoom"=>15,"auto_adjust"=>false,"detect_location"=>true,"center_on_user"=>true}},false,true)%>在View的底部添加:functiongmaps4rail

  7. ruby - 动态方法链? - 2

    如何在对象上调用方法名称的嵌套哈希?例如,给定以下哈希:hash={:a=>{:b=>{:c=>:d}}}我想创建一个方法,给定上面的散列,执行以下操作:object.send(:a).send(:b).send(:c).send(:d)我的想法是我需要从一个未知的关联中获取一个特定的属性(这个方法不知道,但程序员知道)。我希望能够指定一个方法链来以嵌套哈希的形式检索该属性。例如:hash={:manufacturer=>{:addresses=>{:first=>:postal_code}}}car.execute_method_hash(hash)=>90210

  8. ruby - 如何使用 method_missing 动态声明方法? - 2

    我有一个ruby​​程序,我想接受用户创建的方法,并使用该名称创建一个新方法。我试过这个:defmethod_missing(meth,*args,&block)name=meth.to_sclass我收到以下错误:`define_method':interningemptystring(ArgumentError)in'method_missing'有什么想法吗?谢谢。编辑:我以不同的方式让它工作,但我仍然很好奇如何以这种方式做到这一点。这是我的代码:defmethod_missing(meth,*args,&block)Adder.class_evaldodefine_method

  9. ruby - 动态扩展现有方法或覆盖 ruby​​ 中的发送方法 - 2

    假设我们有A、B、C类。Adefself.inherited(sub)#metaprogramminggoeshere#takeclassthathasjustinheritedclassA#andforfooclassesinjectprepare_foo()as#firstlineofmethodthenrunrestofthecodeenddefprepare_foo#=>prepare_foo()neededhere#somecodeendendBprepare_foo()neededhere#somecodeendend如您所见,我正在尝试将foo_prepare()调用注入

  10. ruby - 使用 jbuilder 创建具有动态哈希键的 JSON - 2

    这里我想输出带有动态组名的json而不是单词组@tickets.eachdo|group,v|json.group{json.array!vdo|ticket|json.partial!'tickets/ticket',ticket:ticketend}end@ticket是这样的散列{a:[....],b:[.....]}我想要这样的输出{a:[.....],b:[....]} 最佳答案 感谢@AntarrByrd,这个问题有类似的答案:JBuilderdynamickeysformodelattributes使用上面的逻辑我已经

随机推荐