差点被转卖的题

题目

题目描述
有一只「嘟嘟炎」，它在一个 $n\times m$ 的 $01$ 矩阵中随意跳动。它从第 $1$ 行开始跳，最终跳到第 $n$ 行，然后离开。

具体来说，它每次会从第 $i(i<n)$ 行的第 $a_i$ 列跳到第 $i+1$ 行的第 $a_{i+1}$ 列，且满足 $|a_i-a_{i+1}|⩽k$ 。而「嘟嘟炎」跳过的位置就会被踩烂，也就是说，它走过的位置会从矩阵中移除，于是就会剩下一个 $n\times (m-1)$ 的矩形。

现在请问，对于所有可能的 $a_i$，有多少种可能的不同剩余矩阵？两个矩阵不同，当且仅当存在某个位置，在两种情况中这个值不同。

数据范围与提示
$nm⩽10^6$ 。

思路

首先，每一行的极长连续段中，删掉任意一个都是等效的。

区间 $\mathtt{d}\mathtt{p}$ 很容易做到。试着去优化，比如将状态限定为某个极长连续段的前缀或后缀？感觉也比较困难啊。

常用的 $\mathtt{d}\mathtt{p}$ 优化不行，就来点阴间的。众所周知 $sa$ 做 “本质不同子串” 的方法是 $\frac{n(n+1)}{2}-{\sum }_{i=1}^{n-1}height(i)$，为什么只是后缀排名相邻的字符串之间需要减去 $\mathrm{l}\mathrm{c}\mathrm{p}$ 呢？这是因为一种特殊的性质：如果 $s_a$ 某个前缀与 $s_b$ 相同，那么二者排名之间的后缀与 $s_b$ 也有公共前缀。这个是类似于 连通块 的性质：在树上，我们可以用 $|E|=|V|-1$ 去重；在一维区间 $S$ 上，用 ${\sum }_x[x\in S\wedge (x+1)\in S]=|S|-1$ 也是同样的道理。

譬如某个子串，一定出现在 $\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}$ 为某个区间的后缀中；某两种本质相同的 $⟨a_i⟩$，某层的可行出发点也构成区间。

于是考虑记 $f(i,j)$ 为 $a_i=j$，可以随意确定 $a_x(i<x)$，不同的剩余矩形数量；$g(i,j)$ 则是 $f(i,j)$ 的所有可能剩余矩形和 $f(i,j-1)$ 的所有可能剩余矩形中，有多少个是相同的。那么容易写出转移
$$f(i,j)=\sum _{x=j-k}^{j+k}f(i+1,x)-\sum _{x=j-k+1}^{j+k}g(i+1,x)$$
这个的原理跟 $sa$ 是一样的，即 “本质相同的 $⟨a_i⟩$ 在某一层的可行出发点构成区间”。

然而 $g(i,j)$ 是怎样转移的呢？其实也就是那些可以同时贡献到 $f(i,j)$ 和 $f(i,j-1)$ 的情况。直觉上，单看上面的 $\mathtt{d}\mathtt{p}$ 式，你认为它就是
$$g(i,j)=\sum _{x=j-k}^{j+k-1}f(i+1,x)-\sum _{x=j-k+1}^{j+k-1}g(i+1,x)$$
即那些在 $\mathtt{d}\mathtt{p}$ 式中可以直接转移到 $f(i,j-1)$ 和 $f(i,j)$ 的。当然必须要 $a_{i,j-1}=a_{i,j}$ 才行。

相信你和我有同样的疑惑：为什么 $f(i+1,j-1-k)$ 贡献到 $f(i,j-1)$ 和 $f(i+1,j+k)$ 贡献到 $f(i,j)$ 就不会重复呢？

……

重新审视一下已知的结论。到底什么是区间啊？所以考虑一个更形式化的证明：两个 $⟨a_i⟩$ 的本质相同，等价于它们在每一行上所删去的元素都属于同一个极长连续段。那么枚举究竟是哪些段（也就枚举了所有可能的剩余矩阵情况），求出 $⟨a_i⟩$ 的可能情况——注意是可行性判断，而非情况数。若 $a_{i+1}\in [L,R]$ 可行，那么 $a_i\in [L-k,R+k]$ 是必要的，还需与当前行所选择的极长连续段取交。于是 $a_i$ 也属于某个区间，这是充要的。

那么 $f(i,j)$ 等价于 $a_i$ 的可行区间包含 $j$ 的情况数，而 $g(i,j)$ 就是同时包含 $j-1$ 和 $j$ 的。计算方案数都是利用 “连通块容斥” 得出结果。

$a_i$ 的区间同时包含 $j-1$ 和 $j$，反推回去，就是 $a_{i+1}\in [j-k,j+k)$ 即可。而我们已经说过，${\sum }_{x=l}^{r}f(i,x)-{\sum }_{x=l+1}^{r}g(i,x)$ 就代表了 $a_i$ 的可行区间与 $[l,r]$ 有交的情况数，所以就有了上文 $g(i,j)$ 的递推式。

说白了就是那种问题：求 ∣ { x    ∣    ∃ y ,    P ( x , y ) } ∣ \Big|\{x\;|\;\exists y,\;P(x,y)\}\Big| ∣∣∣​{x∣∃y,P(x,y)}∣∣∣​，转为求 ${\sum }_{x}P(x,y)$ 然后对 $y$ 容斥。如果是指数级容斥即是 [NOI2021] 机器人游戏 一类，如果是 “连通块容斥” 即是 [十二省联考2019]希望 一类。

都是前缀和简单 $\mathtt{d}\mathtt{p}$ 转移，时间复杂度 $\mathcal{O}(nm)$ 。

代码

没得代码。但是简单说一句：初状态是 $f(n,j)=1$ 而 $g(n,j)=[a_{n,j-1}=a_{n,j}]$ 。