#agc021f. [agc021_f]Trinity

[agc021_f]Trinity

  • 现有一个 NNMM 列的、仅包含黑白格的表格,左上为 (1,1)(1, 1),右下为 (N,M)(N, M)
  • 对于一个表格,设长度为 NN 的数列 AA,长度为 MM 的数列 BBCC 分别表示:
    • AiA_i 表示第 ii 行第一个黑格的列号。若不存在则为 M+1M+1
    • BiB_i 表示第 ii 列第一个黑格的行号。若不存在则为 N+1N+1
    • CiC_i 表示第 ii 列最后一个黑格的行号。若不存在则为 00
  • 现请你求出所有的 2NM2^{NM} 种表格中,不同的数列三元组 (A,B,C)(A,B,C) 的个数对 998244353998244353 取模的结果。
  • 1N8×1031 \leq N \leq 8 \times 10^31M2001 \leq M \leq 200