注意到 F(a,b)=[xa](x+1)n−b(x+2)b=[xa]fb(x)F(a,b)=[x^a](x+1)^{n-b}(x+2)^b=[x^a]f_b(x)F(a,b)=[xa](x+1)n−b(x+2)b=[xa]fb(x)。
由于 fb(x)f_b(x)fb(x) 微分有限!于是 [xa]fb[x^a]f_b[xa]fb 可以线性递推。
具体地:fb,0=2b,fb,1=b2b−1+2b(n−b)f_{b,0}=2^b,f_{b,1}=b2^{b-1}+2^b(n-b)fb,0=2b,fb,1=b2b−1+2b(n−b)。
2(a+1)fb,a+1=(2n−b−3a)fa+(n−a+1)fa−12(a+1)f_{b,a+1}=(2n-b-3a)f_a+(n-a+1)f_{a-1}2(a+1)fb,a+1=(2n−b−3a)fa+(n−a+1)fa−1。
预处理 222 的幂次和逆元即可。复杂度 O(m2)O(m^2)O(m2),空间 O(m)O(m)O(m)!