牛客-合并回文子串：四维dp

题目地址：https://ac.nowcoder.com/acm/problem/13230

题目大意:

给你两个字符串$S,T$.让你合并两个字符串(两者相对顺序不能改变.)成$C$。问你$C$的最大可能回文子串长度.

$|S|,|T|\le 50,TimeLimit=2s$

题目思路:

首先,根据数据,我们显然可以设计一个$n^4$的算法.然后根据回文串的特性,他的状态大概率是一个区间形式.所以可以设计$dp(i,j,k,l)$代表两个字符串的子区间.

然后这个状态表征的很完美.我们可以直接考虑最优解怎么得到的

考虑最优解一定是$S$中的一段和$T$中的一段合并成一个回文串.那么最暴力的方法就是枚举所有的$S$的子段和$T$的子段.然后$check$他们是否能够组成回文串.

这个问题,考虑他们能组成回文串,一定是两边字符相等,然后里面也是一个回文串(子问题).考虑两个字符串之间两边有四种组合.这么去递归转移即可.

注意:转移的时候记得特判 子段长度 = 1 的边界情况.

时间复杂度:$O(n^4)$

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int maxn = 1e5 + 5;
const int mod = 1e9 + 7;
bool dp[53][53][53][53] , vis[53][53][53][53];
int n , m;
string s1 , s2;
bool dfs (int l , int r , int a , int b)
{
    bool &x = dp[l][r][a][b];
    if (vis[l][r][a][b]) return x;
    vis[l][r][a][b] = true;
    if (l >= r + 1 && a >= b + 1) return x = true;
    if (l >= r + 1){
        return x = (s2[a] == s2[b] && dfs(l , r , a + 1 , b - 1));
    }
    if (a >= b + 1){
        return x = (s1[l] == s1[r] && dfs(l + 1 , r - 1 , a , b));
    }
    if (l != r && s1[l] == s1[r] && dfs(l + 1 , r - 1 , a , b)) return x = true;
    if (a != b && s2[a] == s2[b] && dfs(l , r , a + 1 , b - 1)) return x = true;
    if (s1[l] == s2[b] && dfs(l + 1 , r , a , b - 1)) return x = true;
    if (s1[r] == s2[a] && dfs(l , r - 1 , a + 1, b)) return x = true;
    return x = false;
}
int main()
{
    ios::sync_with_stdio(false);
    int t; cin >> t;
    while (t--){
        cin >> s1 >> s2;
        n = s1.size() , m = s2.size();
        s1 = '#' + s1;
        s2 = '#' + s2;
        for (int i = 0 ; i <= n + 1; i++){
            for (int j = 0 ; j <= n + 1; j++){
                for (int k = 0 ; k <= m + 1; k++){
                    for (int l = 0 ; l <= m + 1; l++){
                        dp[i][j][k][l] = vis[i][j][k][l] = false;
                    }
                }
            }
        }
        int ans = 0;
        for (int i = 1 ; i <= n ; i++){
            for (int j = i - 1 ; j <= n ; j++){
                for (int k = 1 ; k <= m ; k++){
                    for (int l = k - 1 ; l <= m ; l++){
                        if (dfs(i , j , k , l)){
                            ans = max (ans , j - i + 1 + l - k + 1);
                        }
                    }
                }
            }
        }
        cout << ans << endl;
    }
    return 0;
}