题解：合并回文子串（NC13230）

题解：合并回文子串（NC13230）

// 首先，我们注意，c 是由 a 和 b 合并得到的， 回文子串是连续的，将c中的回文子串包含的字符分成两部分：
// 1、从 a 中得到的 A。
// 2、从 b 中得到的 B。
// 由于 a,b的字符在 c 中仍保持在原序列中的顺序，那么 A 就是 a 的一个子串 ， B 就是 b 的一个子串
// 那么 我们 假设 A = ai ~ aj ,  B = bx ~ by
// 那么 我们只需要在能恰好合成为回文子串的 A,B 中找到最大的 总长度 就可以了
// 每种子串的组合我们用 <[i,j],[x,y]> 来 表示
// 假设 <[i,j],[x,y]> 能恰好合并成一个回文子串。
// 那么回文子串的第一个字符只能是：a[i] / b[x]
// 回文子串的最后一个字符只能是 : a[j] / b[y]
// 根据首尾字符的不同组合我们可以推断，当满足下面四种情况之一时，我们的假设成立：
// 1、a[i] == a[j] 且 <[i+1,j-1],[x,y]> 能恰好合并成一个回文子串。
// 2、a[i] == b[y] 且 <[i+1,j],[x,y-1]> 能恰好合并成一个回文子串。
// 3、b[x] == b[y] 且 <[i,j],[x+1,y-1]> 能恰好合并成一个回文子串。
// 4、b[x] == a[j] 且 <[i,j-1],[x+1,y]> 能恰好合并成一个回文子串。
// 我们考虑用 dp 的方法来解决这个问题
// 定义 f[i][j][x][y] 表示 <[i,j],[x,y]> 能不能恰好合并成一个回文子串，1 表示能 ， 0 表示不能

#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N = 55;
bool f[N][N][N][N];
string a,b;
int la,lb;
void solve() {
    int ans = 0;
    cin >> a >> b;
    la = a.size(), lb = b.size();
    a = " " + a, b = " " + b;
    memset(f, 0, sizeof(f));
    for (int l1 = 0; l1 <= la; l1++) {
        for (int l2 = 0; l2 <= lb; l2++) {
            for (int i = 1; i + l1 - 1 <= la; i++) {
                for (int x = 1; x + l2 - 1 <= lb; x++) {
                    int j = i + l1 - 1;
                    int y = x + l2 - 1;
                    if (l1 == 0 && l2 == 0) f[i][j][x][y] = 1; // 两个都是空串，直接赋值为真
                    else if (l1 == 0) {
                        if (l2 == 1) f[i][j][x][y] = 1;
                        else if (b[x] == b[y] && f[i][j][x + 1][y - 1]) f[i][j][x][y] = 1;
                    } else if (l2 == 0) {
                        if (l1 == 1) f[i][j][x][y] = 1;
                        else if (a[i] == a[j] && f[i + 1][j - 1][x][y]) f[i][j][x][y] = 1;
                    } else {
                        if (a[i] == a[j]) f[i][j][x][y] |= f[i + 1][j - 1][x][y];
                        if (a[i] == b[y]) f[i][j][x][y] |= f[i + 1][j][x][y - 1];
                        if (b[x] == a[j]) f[i][j][x][y] |= f[i][j - 1][x + 1][y];
                        if (b[x] == b[y]) f[i][j][x][y] |= f[i][j][x + 1][y - 1];
                    }
                    if (f[i][j][x][y]) ans = max(ans, l1 + l2);
                }
            }
        }
    }
    cout << ans << '\n';
}

signed main() {
    ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
    int t;
    cin >> t;
    while (t--) {
        solve();
    }
    return 0;
}