原题链接
原题让求的是\(\sum\limits a_i^2\),这个东西直接求非常难求。我们考虑转化一下问题。
首先把\(a_i^2\)拆成\((1+1+...+1)(1+1+...+1)\),两个括号中的\(1\)都有\(a_i\)个。为什么要这样呢?仔细理解一下拆开后的式子,是不是就是相当于分别操作两次,问最终序列相同的方案数?
这样的话\(DP\)就比较好想了,设\(f[i][j][k][l]\)表示第一次操作上管道已经取了\(i\)个,下管道取了\(j\)个,第二次操作上管道取了\(k\)个,下管道取了\(l\)个时相同的方案数。
显然,这样会炸空间。又发现\(i+j=k+l\),所以最后一维可以扔了。
转移方程就不详细叙说了,写在代码里吧。最后还要来一个滚动数组优化空间!
#include <bits/stdc++.h>
using namespace std;
#define N 500
#define MOD 1024523
int n, m, f[2][N+5][N+5];
char s1[N+5], s2[N+5];
int main() {
#ifndef ONLINE_JUDGE
freopen("testdata.in", "r", stdin);
freopen("testdata.out", "w", stdout);
#endif
scanf("%d%d", &n, &m);
scanf("%s%s", s1+1, s2+1);
for(int i = 1, j = n; i < j; ++i, --j) swap(s1[i], s1[j]);
for(int i = 1, j = m; i < j; ++i, --j) swap(s2[i], s2[j]);
f[0][0][0] = 1;
int flag = 0;
for(int i = 0; i <= n; ++i, flag ^= 1) {
memset(f[flag^1], 0, sizeof f[flag^1]);
for(int j = 0; j <= m; ++j)
for(int k = 0, l; k <= min(n, i+j); ++k) {
l = i+j-k;
if(l < 0 || l > m) continue;
//分4种情况分别转移
if(s1[i+1] == s1[k+1]) f[flag^1][j][k+1] = (f[flag^1][j][k+1]+f[flag][j][k])%MOD;
if(s2[j+1] == s1[k+1]) f[flag][j+1][k+1] = (f[flag][j+1][k+1]+f[flag][j][k])%MOD;
if(s1[i+1] == s2[l+1]) f[flag^1][j][k] = (f[flag^1][j][k]+f[flag][j][k])%MOD;
if(s2[j+1] == s2[l+1]) f[flag][j+1][k] = (f[flag][j+1][k]+f[flag][j][k])%MOD;
}
}
printf("%d\n", f[flag^1][m][n]);
return 0;
}