题意
【题目描述】 一个仅由a,b,c三种字符组成的字符串，可以对其进行如下两种操作：
选择两个相邻字符，将第一个字符替换成第二个。
选择两个相邻字符，将第二个字符替换成第一个。 这样，通过任意多次的操作，可以得到许多不同的串，为了追求字符的平衡， 我们要求a,b,c三种字符在字符串中出现的次数两两之差都不能大于1。
你的任 务是，统计给定字符串通过任意多次的操作，能够得到的不同的平衡串的个数。
【输入格式】
输入文件包含2行。 第一行包含1个正整数n，表示字符串长度。 第二行包含1个长度为n的字符串。
【输出格式】
输出共1行，包含1个正整数，表示能够得到的平衡串的数量。由于答案可 能很大，因此输出时要对51123987取模。
输入输出样例
输入样例#1：
4
abca
输出样例#1：
7
输入样例#2：
4
abbc
输出样例#2：
3
输入样例#3：
2
ab
输出样例#3：
1
f[i][j][k][l]表示以第i个点开始向右扩展, 状态有j个a,k个b,l个c的方案数
因为扩展出来的序列是连续的一段
所以可以把序列中一段相同的数给看成是一个数
从这个点开始可以一直扩展到头
所以实时统计当前状态是否是合法的
如果是合法的就统计到答案里
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
const int M = 155 ;
const int N = 55 ;
const int mod = 51123987 ;
using namespace std ;
int n ;
char s[M] ;
int v[M] , Nxt[M][3] , upp , Ans , f[M][N][N][N] ;
int main() {
scanf("%d",&n) ;
scanf("%s",s + 1) ;
for(int i = 1 ; i <= n ; i ++) v[i] = s[i] - 'a' ;
Nxt[n + 1][0] = Nxt[n + 1][1] = Nxt[n + 1][2] = n + 1 ;
for(int i = n ; i >= 1 ; i --) {
Nxt[i][0] = Nxt[i + 1][0] ; Nxt[i][1] = Nxt[i + 1][1] ; Nxt[i][2] = Nxt[i + 1][2] ;
if(v[i] == 0) Nxt[i][0] = i ;
if(v[i] == 1) Nxt[i][1] = i ;
if(v[i] == 2) Nxt[i][2] = i ;
}
upp = n / 3 + 2 ;
f[1][0][0][0] = 1 ;
for(int i = 1 ; i <= n ; i ++)
for(int j = 0 ; j <= upp ; j ++)
for(int k = 0 ; k <= upp ; k ++)
for(int l = 0 ; l <= upp ; l ++) {
if(j + k + l == n && abs(j - k) <= 1
&& abs(j - l) <= 1 && abs(k - l) <= 1)
Ans = (Ans + f[i][j][k][l]) % mod ;
f[Nxt[i][0]][j + 1][k][l] = (f[Nxt[i][0]][j + 1][k][l] + f[i][j][k][l]) % mod ;
f[Nxt[i][1]][j][k + 1][l] = (f[Nxt[i][1]][j][k + 1][l] + f[i][j][k][l]) % mod ;
f[Nxt[i][2]][j][k][l + 1] = (f[Nxt[i][2]][j][k][l + 1] + f[i][j][k][l]) % mod ;
}
cout << Ans << endl ;
return 0 ;
}