#ATagc021f. [AGC021F] Trinity

[AGC021F] Trinity

题目描述

有一个纵向 NN 行、横向 MM 列的网格。我们用 (i,j)(i,j) 表示第 ii 行第 jj 列的格子。特别地,最左上角的格子为 (1,1)(1,1),最右下角的格子为 (N,M)(N,M)。高桥君将若干(可以为 00 个)格子涂成黑色,其余格子为白色。

定义长度为 NN 的数列 AA,长度为 MM 的数列 BBCC,如下所示:

  • Ai (1iN)A_i\ (1\leq i\leq N):第 ii 行中被涂黑的格子的最小列号 jj(如果不存在,则为 M+1M+1)。
  • Bi (1iM)B_i\ (1\leq i\leq M):第 ii 列中被涂黑的格子的最小行号 kk(如果不存在,则为 N+1N+1)。
  • Ci (1iM)C_i\ (1\leq i\leq M):第 ii 列中被涂黑的格子的最大行号 kk(如果不存在,则为 00)。

请计算所有可能的三元组 (A,B,C)(A,B,C) 的数量,并对 998244353998244353 取模后输出。

输入格式

输入为一行,包含两个整数 NNMM

输出格式

输出所有可能的 (A,B,C)(A,B,C) 组数对 998244353998244353 取模的结果。

样例 1

输入

2 3

输出

64

样例 2

输入

4 3

输出

2588

样例 3

输入

17 13

输出

229876268

样例 4

输入

5000 100

输出

57613837

说明/提示

注意

本题提交的源代码大小限制为 2000020000 字节。超出该长度的提交将被判为无效,请注意。

数据范围

  • 1N80001 \leq N \leq 8000
  • 1M2001 \leq M \leq 200
  • N,MN,M 均为整数

部分分

  • 对于满足 N300N \leq 300 的数据集,答对可得 15001500 分。

样例说明 1

N=2N=2 时,可以由 Bi,CiB_i,C_i 的信息唯一确定每一列黑色格子的分布。对于每个 ii(Bi,Ci)(B_i,C_i) 的组合有 (1,1),(1,2),(2,2),(3,0)(1,1),(1,2),(2,2),(3,0)44 种,因此答案为 4M=644^M=64 种。

由 ChatGPT 4.1 翻译