P26272 [AtCoder] Prefix Mex Sequence
提高
题目描述

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 部分

样例输入
4 2 1 0 0 1
样例输出
4