生成函数-背包问题学习笔记

结合 ACdreamer 以及 zhoufenqin 的博客终于弄懂了如何用生成函数解一类特定的大背包问题。

首先要介绍一些重要的公式、数列、函数

$$x^n - 1 = (x - 1)(1+x+x^2+x^3+...+x^{n-1})$$
由于给你一个生成函数 $G(x)$,我们需要的只是每一个 $x^i$的系数，所以不会去求一个比方说 $G(5)$这样的数出来，因此参数 $x$的值可以任意确定。当其趋近于0,n可以无限大时有
$$\frac{1}{1-x} = 1+x+x^2+x^3+...$$

五边形数：

暂时不管五边形数的实际意义是什么……
前几项：1, 5, 12, 22, 35…
其通项：$a_{i} = \frac{3n^2-n}{2}$

然而我们需要的是广义五边形数
具体就是取 $a_{0}, a_1, a_{-1}, a_2, a_{-2}, a_3, a_{-3}...$构成新的一个数列

前几项：0, 1, 2, 5, 7, 12, 15, 22, 26, 35…(0可能是不需要的具体看情况)

欧拉函数：

百度百科居然只有一个数论欧拉函数……我还在想这怎么展开
此处的欧拉函数是重新定义的

$$\varphi(x) = \prod_{k=1}^{\infty} \left(1-x^k \right)$$
也暂时不管欧拉函数的实际意义是什么
然后假如我们将无穷项全部乘开，会有欧拉函数展开式：

φ(x)=1−x−x2+x5+x7−x12−x15+...=∑k=−∞∞(−1)k xk(3k−1)2=1