5. Longest Palindromic Substring
Given a string s, find the longest palindromic substring in s. You may assume that the maximum length of s is 1000.
Example:
1 | Input: "babad" |
Example:
1 | Input: "cbbd" |
思路
最长回文子串。就是给定一个字符串S,找出其中的最长回文子串,并返回该子串。
解法1:暴力枚举 时间复杂度$O(n^3)$
解法2:中心扩展法 时间复杂度$O(n^2)$ 空间复杂度$O(1)$
解法3:动态规划 时间复杂度$O(n^2)$ 空间复杂度$O(n^2)$
解法4:Manacher算法 时间复杂度$O(N)$ 空间复杂度$O(n)$
解法1:暴力枚举
遍历该字符串的每一个子串,判断是不是回文串,最后给出最长回文子串。
时间复杂度$O(n^3)$,运行超时
1 | class Solution { |
解法2:中心扩展法
优化:枚举回文串的中点
从某一个字符开始,左右向外扩展得到一个更长的子串,看是否是回文子串,如果是回文子串,则继续向外遍历,知道遇到非回文子串或者超出子串范围。需要注意针对一个字符向外扩张时,需要同时偶数字符个数回文子串和奇数字符个数回文子串两种情况。
时间复杂度$O(n^2)$
空间复杂度$O(1)$
1 | class Solution { |
解法3:动态规划
时间复杂度$O(n^2)$
空间复杂度$O(n^2)$
首先写出动态转移方程:P[ i, j ] ← ( P[ i+1, j-1 ] and Si = Sj ) 显然,如果一个子串是回文串,并且如果从它的左右两侧分别向外扩展的一位也相等,那么这个子串就可以从左右两侧分别向外扩展一位。
其中的base case是
P[ i, i ] ← true
P[ i, i+1 ] ← ( Si = Si+1 )
假设有个字符串是adade,现在要找到其中的最长回文子串。使用上面的动态转移方程,有如下的过程:
按照红箭头->黄箭头->蓝箭头->绿箭头->橙箭头的顺序依次填入矩阵,通过这个矩阵记录从i到j是否是一个回文串。
1 | class Solution { |
##解法4:Manacher算法
时间复杂度$O(n)$
空间复杂度$O(n)$
该算法首先对字符串进行预处理,在字符串的每个字符前后都加入一个特殊符号,比如字符串 abcd 处理成 #a#b#c#d#
,为了避免处理越界,在字符串首尾加上不同的两个特殊字符(c类型的字符串尾部不用加,因为自带‘\0’),这样预处理后最终变成$#a#b#c#d#^,经过这样处理后有个好处是原来的偶数长度和奇数长度的回文在处理后的字符串中都是奇数长度。假设处理后的字符串为s。
对于已经预处理好的字符串我们用数组p[i]来记录以字符S[i]为中心的最长回文子串向左/右扩张的长度(包括S[i]),以字符串“12212321
”为例,p数组如下
1 | s: $ # 1 # 2 # 2 # 1 # 2 # 3 # 2 # 1 # ^ |
可以看出,P[i]-1正好是原字符串中回文串的总长度, 如果p数组已知,遍历p数组找到最大的p[i]就可以求出最长回文的长度,也可以求出回文的位置
下面给出求p[]数组的方法:
设id是当前求得的最长回文子串中心的位置,mx为当前最长回文子串的右边界(回文子串不包括该右边界),即mx = id + p[id]。记j = 2*id – i ,即 j 是 i 关于 id 的对称点。
1、 当i < mx 时,如下图。此时可以得出一个非常神奇的结论p[i] >= min(p[2*id - i], mx - i),下面我们来解释这个结论
如何根据p[j]来求p[i]呢,又要分成两种情况
(1.1)当mx – i > p[j], 这时候以S[j]为中心的回文子串包含在以S[id]为中心的回文子串中,由于 i 和 j 对称,以S[i]为中心的回文子串必然包含在以S[id]为中心的回文子串中,所以 P[i] 至少等于 p[j], 后面的再继续匹配。如下图
*注:这里其实p[i]一定等于p[j],后面不用再匹配了。因为如果p[i]后面还可以继续匹配,根据对称性,p[j]也可以继续扩展了*
(1.2)当mx – i <= p[j], 以S[j]为中心的回文子串不完全包含于以S[id]为中心的回文子串中,但是基于对称性可知,下图中两个绿框所包围的部分是相同的,也就是说以S[i]为中心的回文子串,其向右至少会扩张到mx的位置,也就是说 P[i] 至少等于 mx - i,至于mx之后的部分是否对称,就只能老老实实去匹配了。
注:如果mx – i < p[j] ,这时p[i]一定等于mx - i, 因为如果p[i]在mx之后还可以继续匹配,根据对称性,mx之后匹配的点(包括mx)一定会出现在my的前面,这说明p[id]也可以继续扩展了
1 | class Solution { |
LeetCode代码和详细解题报告 Github地址:https://github.com/zhengjingwei/LeetCode