题目描述
Problem Statement
For a sequence X composed of a finite number of non-negative integers, we define $\mathrm{mex}(X)$ as the smallest non-negative integer not in X. For example$, \mathrm{mex}((0,0, 1,3)) = 2, \mathrm{mex}((1)) = 0, \mathrm{mex}(()) = 0$.
You are given $a sequence S=(S_1,\ldots,S_N)$ of length N where each element is 0 or 1.
Find the number, modulo 998244353, of sequences $A=(A_1,A_2,\ldots,A_N)$ of length N consisting of integers between 0 and M, inclusive, that satisfy the following condition:
- For each $i (1\leq i\leq N), A_i = \mathrm{mex}((A_1,A_2,\ldots,A_{i-1}))$ if S_i=1, and $A_i \neq \mathrm{mex}((A_1,A_2,\ldots,A_{i-1}))$ if S_i=0.
Input
The input is given from Standard Input in the following format:
N M
$S_1 \ldots S_N$
Output
Print the answer.
Constraints
- $1 \leq N \leq 5000$
- $0 \leq M \leq 10^9$
- S_i is 0 or 1.
- All input numbers are integers.
Sample Input 1
4 2
1 0 0 1
Sample Output 1
4
The following four sequences satisfy the conditions:
- (0,0,0,1)
- (0,0,2,1)
- (0,2,0,1)
- (0,2,2,1)
Sample Input 2
10 1000000000
0 0 1 0 0 0 1 0 1 0
Sample Output 2
587954969
Be sure to find the count modulo 998244353.
输入格式
见题面 Input 部分
输出格式
见题面 Output 部分