【子集卷积】【51nod 1824】染色游戏

Description

原题链接
有 n 个红球， m 个蓝球，从中取出 x 个红球和 y 个蓝球排成一排的得分是 rx⋅by ，其中 r0=b0=1 。
定义 f(t) 表示恰好取出 t 个球排成一排的所有可能局面的得分之和。
两个局面相同，当且仅当这两排球的个数相等，且在对应列位置上的颜色都是相同的。
小Q想知道，有多少 t (1≤t≤n+m) 使得 f(t) 是奇数，你能告诉他满足条件的 t2 之和吗？
对于样例， f(1)=2,f(2)=5,f(3)=13,f(4)=28,f(5)=50,f(6)=60 ，答案是 2^2+3^2=13 。

Analysis

以下讨论均在$mod\ 2$意义下进行。

$$f(t)=\sum_{i=0}^tr_ib_{t-i}C_t^i$$
$$=\sum_{i=0}^tr_ib_{t-i}[i ⊆ t]$$ 这一步可以由Lucas定理得出
$$=\sum_{i ⊆ t}r_ib_{t-i}$$ 看出这就是一个子集卷积裸题，使用经典的 $O(nlog^2n)$算法即可
题外话：此题卡时间卡空间，我写了循环展开。

子集卷积

要求

$$c_t=\sum_{p,q}a_pb_q[p∪q=t][p∩q=0]$$
$$c_t=\sum_{p∪q=t}a_pb_q[bitcnt(p)+bitcnt(q)=bitcnt(t)]$$ $bitcnt(x)$表示二进制 $x$中1的个数。如果能把后面的表达式去掉就爽了，直接上集合并卷积就没了。
能不能以枚举后面的bitcnt为代价去掉中括号呢？
设$f[i][s]=[bitcnt(s)=i]\sum_{t⊆s}[bitcnt(t)=i]a_t$，类似有 $g[i][s]$, $h[i][s]$，这些都可以直接 $O(nlog^2n)$dp（FMT）搞出来
那么 $h[k][s]=\sum_{i=0}^kf[i][s]*g[k-i][s]$，这相当于在每一个 $bitcnt$上做集合并卷积，这里的计算显然也是 $O(nlog^2n)$的
最后只需要对 $h[k][s]$进行子集减重（逆FMT）， $h[bitcnt(s)][s]$就是答案
另一方面，注意
$$\sum_{p∪q=t}a_pb_q[bitcnt(p)+bitcnt(q)=bitcnt(t)]$$ 等价于
$$\sum_{p\ xor\ q=t}a_pb_q[bitcnt(p)+bitcnt(q)=bitcnt(t)]$$
所以可以用类似上面的方法，使用快速沃尔什变换（FWT）。复杂度一致，但是不如FMT好用。