atcoder#ARC156E. [ARC156E] Non-Adjacent Matching

[ARC156E] Non-Adjacent Matching

题目描述

長さが N N 、各要素が 0 0 以上 M M 以下、総和が K K 以下の整数列のうち、良い数列 の個数を 998244353 998244353 で割ったあまりを求めてください。

ここで、長さ N N の数列 X=(X1,X2,,XN) X=(X_1,X_2,\ldots,X_N) は以下の条件を全て満たすグラフ G G が存在するとき、かつ、そのときに限り良い数列です。

  • G G 1 1 から N N の番号がついた N N 頂点からなる、自己ループを持たないグラフである。(多重辺はあってもよい。)
  • i (1 i  N) i\ (1\leq\ i\ \leq\ N) について、頂点 i i の次数は Xi X_i である。
  • i (1 i  N) i\ (1\leq\ i\ \leq\ N) について、頂点 i i と頂点 i+1 i+1 を結ぶ辺は存在しない。ここで、頂点 N+1 N+1 は頂点 1 1 を意味する。

输入格式

入力は以下の形式で標準入力から与えられる。

N N M M K K

输出格式

答えを出力せよ。

题目大意

定义一个长度为 nn 的序列 XX 是合法的,当且仅当存在一个无向图 GG 满足:

  • GG 无自环(但可能有重边)。
  • 对于所有 1in1\le i\le n,点 ii 的度数是 XiX_i
  • 对于所有的 1in1\le i\le n,不存在连接 iii+1i+1 的边。这里认为 n+1n+111

求长度为 nn,序列值域为 [0,m][0,m],且序列的和小于等于 kk 的合法序列的个数,对 998244353998244353 取模。

4n3000,m3000,knm4\le n\le 3000,m\le 3000,k\le nm

4 1 2
3
10 0 0
1
314 159 26535
248950743

提示

制約

  • 4  N  3000 4\ \leq\ N\ \leq\ 3000
  • 0  M  3000 0\ \leq\ M\ \leq\ 3000
  • 0 K  NM 0\leq\ K\ \leq\ NM
  • 入力される数値は全て整数

Sample Explanation 1

条件を満たす良い数列は以下の 3 3 個です。 - (0,0,0,0) (0,0,0,0) - (0,1,0,1) (0,1,0,1) - (1,0,1,0) (1,0,1,0)

Sample Explanation 3

998244353 998244353 で割ったあまりを答えてください。