给定一个字符串找出最长回文字符串范围,例如abaabac,最长回文为abaaba
1、使用暴力的算法需要O(N^3)的复杂度,需要O(N^2)的复杂度去运算字符串所用的子串,然后使用O(N)去判断是否是回文串,从而定位最长的回文子串。
int lps_bl(char str[], int len){
if(str == NULL || len <= 0){
return 0;
}
int i, j;
int start, end, max_lps;
for(i = 0; i < len; i++){
for(j = 1; j < len; j++){
start = 0;
end = len - 1;
while(start <= end && str[start] == str[end]){
start++;
end--;
}
if(start >= end){
if(j > max_lps){
max_lps = j;
}
}
}
}
printf("lps_bl:%d\n", max_lps);
return max_lps;
}
可以看到这种算法很容易理解,只是O(N^3)的复杂度相对比较高。
2、使用动态规划的思想进行求解,思路是利用子串从短到长进行逐步的动态规划求解,可以理解为从中心向两边扩散,如果一个字符串的子串是回文串,那么就可以存储这个状态,然后从短向长蔓延进行计算:
当i == j 时 肯定是长度为1 的回文串,dp[i][j] = 1
当dp[i][j] == 1 时如果S[i-1] == S[j+1], dp[i][j] == 1,(如果子串是回文串,并且首尾相同,那么当前的子串也是回文串)
当i+1 == j 时,S[i] == S[j], 那么dp[i][j] == 1,这个状态值在计算时会有些特殊,因为 j = i +1,那么i-1和j+1会与i和j的值相反,但是不影响整体的计算。
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int lps_dp(char str[], int len)
{
if(str == NULL || len <= 0){
return 0;
}
int dp[100][100] = {0};
int i,j, m;
for(i = 0; i < 100; i++){
dp[i][i] = 1;
}
int start = 0;
int end = 0;
int max_lps = 0;
char buf[100] = {0};
//printf("len:%d\n", len);
for(m = 1; m < len; m++){
printf("m=%d\n", m);
for(i = 0; i < len - m; i++){
j = i + m;
memcpy(buf, str + i, j-i + 1);
buf[j-i + 1] = '\0';
//printf("%d\t%d\t%s\n", i, j,buf);
//printf("dp[%d][%d]=%d\n", (i+1), (j-1), dp[i+1][j-1]);
if(i + 1 == j && str[i] == str[j]){
dp[i][j] = 1;
int tmp = j - i + 1;
if(tmp > max_lps){
start = i;
end = j;
max_lps = tmp;
}
}else if(dp[i+1][j-1] == 1 && str[i] == str[j]){
dp[i][j] = 1;
int tmp = j - i + 1;
if(tmp > max_lps){
start = i;
end = j;
max_lps = tmp;
}
}
}
}
//memcpy(buf, str+start, max_lps);
//buf[max_lps] = '\0';
//printf("max_len:%d\tlps:%s\n", max_lps, buf);
return max_lps;
}
3、受以上动态规划算法的启发,可以考虑选取中间点,然后逐步向两边蔓延的策略进行回文串的判断,这种方法相对于动态规划的算法更容易理解,而且空间复杂度会由O(N^2)变为O(1)
int lps_ext(char str[], int len){
if(str == NULL || len <= 0){
return 0;
}
int i;
int max_lps = 1;
int start = 0;
char buf[100] = {0};
for(i = 1; i < len; i++){
int low = i - 1;
int high = i;
//数组的元素是偶数个
while(low >= 0 && high < len && str[low] == str[high]){
if(high - low + 1> max_lps){
start = low;
max_lps = high - low + 1;
}
low--;
high++;
}
//数组的元素是奇数个
low = i - 1;
high = i + 1;
while(low >= 0 && high < len && str[low] == str[high]){
if(high - low + 1 > max_lps){
start = low;
max_lps = high - low +1;
}
low--;
high++;
}
}
memcpy(buf, str + start, max_lps);
printf("%d\tlps_ext:%s\n",max_lps, buf);
return max_lps;
}
下面介绍一种O(N)的算法:Manacher, 这个算法开始理解起来比较复杂,但确实有一定的技巧性,第一个技巧是将可能的回文串,无论是奇数个字符还是偶数个字符全部变为奇数,这样有利于利用对称性特征进行计算,变换方式如下:
在每个字符的两边都插入一个特殊的符号。比如 abba 变成 #a#b#b#a#, aba变成 #a#b#a#。 为了进一步减少编码的复杂度,可以在字符串的开始加入另一个特殊字符,这样就不用特殊处理越界问题,比如$#a#b#a#。
下面以字符串12212321为例,经过上一步,变成了 S[] = "$#1#2#2#1#2#3#2#1#";
算法引入两个变量id和mx,id表示最长回文子串的中心位置,mx表示最长回文字串的边界位置,即:mx=id+P[id]。
在这里有一个非常有用而且神奇的结论:如果mx > i,那么P[i] >= MIN(P[2 * id - i], mx - i) 分开理解就是:
如果mx - i > P[j], 则P[i]=P[j]
否则,P[i] = mx - i.
这两个该如何理解呢?具体的解释请看下面的两个图。
当 mx - i > P[j] 的时候,以S[j]为中心的回文子串包含在以S[id]为中心的回文子串中,由于 i 和 j 对称,以S[i]为中心的回文子串必然包含在以S[id]为中心的回文子串中,所以必有 P[i] = P[j],见下图。
当 P[j] >= mx - i 的时候,以S[j]为中心的回文子串不一定完全包含于以S[id]为中心的回文子串中,但是基于对称性可知,下图中两个绿框所包围的部分是相同的,也就是 说以S[i]为中心的回文子串,其向右至少会扩张到mx的位置,也就是说 P[i] >= mx - i。至于mx之后的部分是否对称,就只能老老实实去匹配了。
对于 mx <= i 的情况,无法对 P[i]做更多的假设,只能P[i] = 1,然后再去匹配了。
下面的算法没有做字符串变换和恢复,大家有兴趣可以自己实现。
以上参考这两个博客
Manacher's ALGORITHM: O(n)时间求字符串的最长回文子串
int min(int arg1, int arg2){
return arg1 > arg2 ? arg1: arg2;
}
int lps_liner(char str[], int len){
if(str == NULL || len <= 0){
return 0;
}
int lps[100] = {0};
int i;
int mx = 0, id = 0;
for(i = 1; str[i] != '\0'; i++){
lps[i] = mx > i ? min(lps[2*id -i], mx -i) : 1;
while(str[i + lps[i]] == str[i - lps[i]]) lps[i]++;
if(i + lps[i] > mx){
mx = i + lps[i];
id = i;
}
}
int max = 0;
for(i = 0; i < len; i++){
if(lps[i] > max){
max = lps[i];
}
}
printf("lps_liner:%d\n", max);
}
int main(int argc, char *argv[]){
char *str = argv[1];
int len = strlen(str);
lps_dp(str, len);
lps_ext(str, len);
lps_liner(str, len);
}