正题

题目链接:https://uoj.ac/problem/748

---

题目大意

有一个长度为$n$的$01$序列，然后$t$次插入一个$0$和一个$1$，要求$0$在$1$前面，求最终能得到多少种本质不同的串。

$1\le n,t\le 300$

---

解题思路

我们考虑一个$n+2\times t$的$01$串是否合法，而且我们最好能搞出一种记录信息最少且唯一的方法。

我们记录一个$x$表示当前匹配到的位置，当我们加入一个$0$或$1$时，如果恰好能和下一个匹配，我们就匹配。否则如果是$0$，我们再记录一个$y$表示目前有多少个未匹配的$0$。如果是$1$，如果前面有未匹配的$0$，我们就用未匹配的$0$和这个$1$匹配。

如果没有我们就一直让匹配位置$x$往前走，直到出现一个未匹配的$0$，我们可以先预处理出一个$p_i$表示匹配位置$i$往前跳到出现第一个未匹配$0$的位置。

这种匹配方法一定是最优的，因为往前跳一到的位置一定是一个$0$，而之后我们拿未匹配的$0$去匹配这个$0$显然不优秀。

然后我们设$f_{i,j,k}$表示现在填到第$i$个，目前匹配到位置$j$，前面有$k$个未匹配的$0$时前面填的方案数转移即可。

时间复杂度：$O(n^3)$

---

code

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=305,P=998244353;
int n,t,f[N*3][N][N],pre[N];
char s[N];
void Add(int &x,int y)
{x=(x+y>=P)?(x+y-P):(x+y);}
int main()
{
//	printf("%d\n",sizeof(f)>>20);scanf("%d%d",&n,&t);scanf("%s",s+1);pre[0]=-1;for(int i=1;i<=n;i++){int p=0;for(int j=i;j>=1;j--){if(s[j]=='1')p++;else p--;if(p==-1){pre[i]=j-1;break;}}if(p!=-1)pre[i]=-1;}f[0][0][0]=1;for(int i=0;i<n+2*t;i++)for(int j=0;j<=n;j++)for(int k=0;k<=t;k++){if(!f[i][j][k])continue;//zeroif(s[j+1]=='0')Add(f[i+1][j+1][k],f[i][j][k]);else Add(f[i+1][j][k+1],f[i][j][k]);//oneif(s[j+1]=='1')Add(f[i+1][j+1][k],f[i][j][k]);else{if(k)Add(f[i+1][j][k-1],f[i][j][k]);else if(pre[j]!=-1)Add(f[i+1][pre[j]][k],f[i][j][k]);}}printf("%d\n",f[n+2*t][n][0]);return 0;
}