#arc156e. [arc156_e]Non-Adjacent Matching

[arc156_e]Non-Adjacent Matching

定义一个长度为 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