【模板】生成函数

例如,我们有一个数列{1,6,4,8,5},我们考虑用一个函数来表示这个数列。

g ( x ) g(x) g(x)= 1 1 1+ 6 x 1 6x^1 6x1+ 4 x 2 4x^2 4x2+ 8 x 3 8x^3 8x3+ 5 x 4 5x^4 5x4

在这个函数中,每一项的系数为数列中的数,每一项的未知数 x x x的指数 i i i代表了这一项的系数是原数列的 i + 1 i+1 i+1项。
那么这个可以做什么呢?
他可以求一类类似背包的题。
比如说:

有A,B两种物品,A种物品至多取2个,B种物品的取得个数必须是5的倍数。请问A,B两种物品的个数加起来的数量为n的方案数。

答案的函数就是:

g ( x ) g(x) g(x)= ( 1 + x 1 + x 2 ) (1+x^1+x^2) (1+x1+x2) ( 1 + x 5 + x 10 . . . ) (1+x^5+x^{10}...) (1+x5+x10...)

问:这个函数的第n项是什么?
很明显这个函数可以FFT。
但是,在 − 1 < x < 1 -1<x<1 1<x<1时这些多项式可以化简。
例如:
第一个多项式直接等比数列求和。

1 + x k + x 2 k + . . . + x ( n − 1 ) k 1+x^k+x^{2k}+...+x^{(n-1)k} 1+xk+x2k+...+x(n1)k= 1 − x n 1 − x k \frac{1-x^{n}}{1-x^k} 1xk1xn

第二项也可以化简。

1 + x 5 + x 10 . . . 1+x^5+x^{10}... 1+x5+x10...= 1 1 − x 5 \frac{1}{1-x^5} 1x51

这个式子原来是 1 − x n 1 − x 5 \frac{1-x^n}{1-x^5} 1x51xn,n越大, x n x^n xn就无限逼近于零,所以是 1 1 − x 5 \frac{1}{1-x^5} 1x51
一般的生成函数模板题都是化简完后,剩下 1 ( 1 − x ) k \frac{1}{(1-x)^k} (1x)k1,那么这个式子又能化成什么呢?
这个其实是 k k k 1 1 − x \frac{1}{1-x} 1x1相乘,也就是 k k k ( 1 + x 1 + x 2 . . . ) (1+x^1+x^2...) (1+x1+x2...)相乘,用插板法,指数为i的项的系数就是 C i + k − 1 k − 1 C_{i+k-1}^{k-1} Ci+k1k1

推荐题目:
【BZOJ3771】Triple
洛谷P2000 拯救世界

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值