*2000*dparc170c我觉得很妙的dp题目。Solution一眼下去，似乎所有\(1\)的位置是固定的，其余位置随便填，答案就是\(m^{count(1)}\)？这一步在\(m\gen\)的时候是对的。但是\(m<n\)的情况很不好搞。序列问题容易想到dp。看题目，考虑要记录什么值。发现\(mex\)很难搞

给定\(n,m,S_1\simS_n\)，当\(S_i=0\)时\(A_i\neq\mathrm{mex}(A_1\simA_{i-1})\)，反之\(A_i=\mathrm{mex}(A_1\simA_{i-1})\)，求值域为\([0,m]\)的\(A\)的数量\(\bmod\998244353\)。\(1\len\le5000,0\lem\le10^9\)。看到题目就会想到

题意简述有长度为\(n\)的\(s_i=0/1\)，求满足下列条件的长度为\(n\)的序列\(a\)的个数，对\(998244353\)取模：\(\foralli,0\lea_i\lem\)当\(s_i=0\)时，\(a_i\not=\operatorname{mex}(a_1,a_2,\cdots,a_{i-1})\)当\(s_i=1\)时，\(a_i=\operatorname{mex}(a_1,a_2,\