ARC147F题解

最巧妙的一步：把问题变成有一个长为 $M=X+Y+Z+3$ 的环，环上的点标号为 $0$ 至 $M-1$，第一个人初始在 $0$ 号点，第二个人初始在 $X+1$ 号点，第三个人初始在 $X+Y+2$ 号点，从 $1$ 到 $n$ 枚举 $i$，如果 $S_i$ 是 $\text{A}$，那么第一个人坐标加一模 $M$；如果 $S_i$ 是 $\text{B}$，那么第二个人坐标加一模 $M$；否则第三个人坐标加一模 $M$。那么限制相当于任意时刻三个人位置两两不同。
先假定所有方案是合法的，容斥掉不合法的即可。
如果某种不合法方案最后三个人的位置两两不同，那么找到最早的时刻 $t$ 使得 $t$ 时刻有两个人 $x,y$ 位置重合，可以发现因为最后三个人位置两两不同所以 $x,y$ 这两个人至少有一个人在 $t$ 时刻是动了的，而因为两人重合了所以 $t$ 时刻之后两人是不作区分的，于是把这种不合法方案在 $t$ 时刻之后 $x$ 和 $y$ 的移动交换一下可以得到另一种不合法方案。因为最后输出答案模2，这些不合法方案就两两抵消了。
现在剩下的不合法方案只有最后时刻至少有两个人位置相同的了。减掉第一个人和第二个人最后重合的方案数，再减掉第二个人和第三个人最后重合的方案数，再减掉第一个人和第三个人最后重合的方案数，可以发现这样三个人最后都在一个位置的方案减了3次，我们希望只减1次，不过由于只用输出答案模2所以可以忽略这个问题。下面只计算第一个人和第二个人最后重合的方案数，另外两种情况类似。
令 $K=X+1$，发现方案数是 $[x^K](\frac{1}{x}+1+x{)}^n\mathrm{mod}(x^M-1)$，考虑根号分治，当 $M\le \sqrt{n}$ 时，由库墨尔定理 $\left(\genfrac{}{}{0ex}{}{2^k}{i}\right)\equiv 0(\mathrm{mod}2)(0<i<2^k)$，那么 $(\frac{1}{x^{2^k}}+1+x^{2^k})$ 的系数模2意义下与 $(\frac{1}{x}+1+x{)}^{2^k}$ 相同，把 $n$ 按二进制拆分，把原式变成 ${\prod }_k(\frac{1}{x^{2^k}}+1+x^{2^k})$，直接模 $M$ 意义下多项式乘法即可，是 $O(m\log n)$的。
当 $M>\sqrt{n}$ 时，先把式子写成 ${\sum }_i[x^{K+n+iM}](1+x+x^2{)}^n$，考虑 $n$ 个多项式相乘，有 $A$ 个取的是 $1$ 这一项，有 $B$ 个取的是 $x$ 这一项，有 $C$ 个取的是 $x^2$ 这一项，那么有 $A+B+C=n,B+2C=K+n+iM$，固定 $A,B,C$ 的值后方案数是 $\left(\genfrac{}{}{0ex}{}{n}{A}\right)\left(\genfrac{}{}{0ex}{}{n-A}{B}\right)$，我们要计算这个式子模2的值，可以卢卡斯定理拆开数位dp，对于每个 $i$ 是 $O(\log n)$ 的，而满足 $0\le K+n+iM\le 2n$ 的 $i$ 只有 $O(\frac{n}{m})$ 个，故这种做法时间复杂度是 $O(\frac{n}{m}\log n)$ 的。两种做法拼起来即可。