#4863. 矩阵

题目描述

有一个 $N$ 行 $M$ 列的矩阵，你可以选择一些位置涂黑，其它位置涂白。

对一个矩阵，我们计算出一个长度为 $N$ 的序列 $A$ ，以及两个长度为 $M$ 的序列 $B$ 和 $C$ ：

令 $A_i$ 为第 $i$ 行第一次出现黑色的位置的列号，如果第 $i$ 行全白，则为 $M+1$ ；

令 $B_i$ 为第 $i$ 列第一次出现黑色的位置的行号，如果第 $i$ 列全白，则为 $N+1$ ；

令 $C_i$ 为第 $i$ 列最后一次出现黑色的位置的行号，如果第 $i$ 列全白，则为 $0$ ；

请你计算，有多少种不同的 { A , B , C } \{A,B,C\} {A,B,C} 三元组可能得到，输出答案对 $998244353$ 取模后的结果。

数据范围

$1\le N\le 8000$,$1\le M\le 200$ 。

题解

为什么有个 $m\le 3$ 的部分分。。算了我本来就菜。

假设我们一开始每个格子都任意染色，那我们考虑什么时候两个染色方案的这三个数组相同。发现当存在一个点，它的左、上、下同时存在黑色格子的话，那这个点去掉后数组不会改变。所以根据这个我们可以进行 $\text{dp}$ ： $f[i][j]$ 表示前 $j$ 列有 $i$ 行有黑色点的方案数，考虑转移到 $f[i+k][j+1]$ 。当 $k=0$ 的时候，就只能加入 $0\sim 2$ 个点，转移显然。当 $k>0$ 的时候，考虑那 $i+k$ 个当中第一个是新插入的在第 $x$ 个，最后一个新插入的从后往前是第 $y$ 个，而第 $x$ 之前和 $y$ 之后分别最多能够重合一个点，所以它的转移系数应当是 ${\sum }_{x=1}^{i+1}{\sum }_{y=1}^{i-x+2}{C}_{i+k-x-y}^{k-2}\times x\times y$ ，用组合数的性质可以推到这个系数为 $C_{i+k+2}^{k+2}$ 。然后发现这个转移是卷积的形式，所以用 $\text{Ntt}$ 优化即可。效率： $O(nm\log n)$ 。