题目大意
棋盘是一个无限大的二维平面,一开始马在原点 上。马有两种移动方式:
- 从 移动到 。
- 从 移动到 。
平面上有 个禁止点(坐标已给出),表示马不能走到这些点上。现在想知道马有多少种不同的移动方法到达点 。答案模 。
,所有数字的绝对值在
以内。
数据保证
。
思路
由于棋盘是无限大的,直接递推的方法已经不再适用。
先考虑没有禁止点的情况。
把两种移动方式抽象成两个向量
,
。假设马从点
移动到点
,可以得到一个方程:
题目保证 不共线,根据平面向量基本定理, 的值是唯一的。若两者均为非负整数,则马可以从点 移动到点 ,两种移动方式分别需要 次、 次。显然在没有禁止点的情况下移动的顺序是不影响最终位置的,所以方案数为
解读1: 总共有
次移动,假设所有移动各不相同,就有
中排列方式。其中有
次移动是相同的,这些移动的排列方式应该为
,这里却算作不同,把排列方式算作了
,需要除掉。另外
次移动同理。
解读2: 总共有
次移动,选出其中
次进行第一种移动方式,方案数就为
。
然而这些移动方式中有一些经过了禁止点。设起点为
,终点为
,若
是禁止点,则经过点
的方案数就为
,从总方案数中把所有经过禁止点的方案数减掉。
然而经过了两次禁止点的方案数被多减了一次,又把这些方案数加上……赤裸裸的容斥。
然而直接容斥的时间复杂度是
。受不了。
回到上面那个方程。当
时,
,也就是说马在移动过程中不会回到之前已经经过的点。在容斥的过程中有
个关键点:起点、终点、
个禁止点。把这些点提出来,把从每个点出发能够到达的点与这个点用有向边相连,得到一张图,那么这张图一定是一个DAG,可以在上面DP。
定一个状态
表示从起点走到
号点,并且经过
个禁止点的方案数。最终答案就为
写出方程就会发现时间复杂度是 的。还是受不了。
由于容斥的时候 的符号只与 的奇偶性有关,不妨这样定状态: 表示从起点走到 号点,并且经过奇数个禁止点的方案数, 表示从起点走到 号点,并且经过偶数个禁止点的方案数。最终答案就为
答案很简洁,并且DP的时间复杂度是 。
补充
记录一下老板的标解。
前面的思路类似。在容斥掉经过禁止点的方案的时候,不必奇加偶减,只需枚举方案中经过的第一个禁止点:枚举一个禁止点
,计算从起点到
不经过其它禁止点的方案(从
到终点可以经过其它禁止点),把这个方案减掉。这样,从起点到终点的每一个经过禁止点的方案只会在枚举到第一个禁止点的时候减掉。
状态为
,表示从起点走到
号点,不经过其它禁止点的方案数。即用从起点到
的所有方案数减去所有的
到
的方案数,其中
为
的上一步可能的点。妥妥的
。