整数划分问题与五边形数定理

之前在长沙写的，发现自己又忘了，于是拿出来。。
感觉dp还比较有用，五边形数什么的也就是bike这种毒瘤出题人会考吧。。。

整数划分问题

把整数n拆成若干整数的和，问方案数。

1.完全背包:O(n^2)

2.$f(i,j)$表示j拆成i个数的方案数,有

$f(i,j)=f(i,j-i)+f(i-1,j-1)$ (放入一个1或所有数大小+1)

时间复杂度O(n^2)

​ 拓展：

​ 1)拆成两两不同的整数时,不能连续放入两个1而不进行所有数+1操作，即放入1前一次操作只能是+1,

​ $f(i,j)=f(i,j-i)+f(i-1,j-1-(i-1))=f(i,j-i)+f(i-1,j-i)$

​ 因为数两两不同，最多只有$\sqrt{n}$个数（$(1+\sqrt{n})\ast \sqrt{n}>n$），复杂度为O(n*sqrt(n))。

​ 再拓展：如果只能用$\le x$的数怎么做？每次$f(i,v)-=f(i-1,v-(x+1))$即可

​ 2)拆成全部为奇数的数的方案等于拆成两两不同数的方案，

​ 3)拆成若干小于等于k的数等价于拆成小于等于k个任意大小的数（转置）。

3.对于2中的dp,将小于$\sqrt{n}$的部分做背包，大于$\sqrt{n}$的部分做dp,可以做到$n\ast \sqrt{n}$的复杂度，但是只能回答一组询问，因为合并两部分是$n\ast \sqrt{n}$的复杂度。（51nod 1597 有限背包计数问题）

4.如何解决多组询问？引入五边形数定理。

五边形数定理

五边形数

(图源网络，之前存本地的时候放的，侵删)

显然，$f_n=f_{n-1}+3\ast n-2=1+3\ast \frac{(2+n)\ast (n-1)}{2}-2\ast (n-1)=\frac{n\ast (3\ast n-1)}{2}$

前几个五边形数：1,5,12,22,35,51,70,92,117,145,176,210,247,287……

广义五边形数

n取0,1,-1,2,-2,3,-3,……，值取绝对值

前几个广义五边形数：0,1,2,5,7,12,15,22,26,35,40,51,57,70,77,92,100,117,126……

欧拉函数

$$\varphi (x)=\prod _{i=1}^{+\infty }(1-x^i)$$

五边形数定理

$$\varphi (x)=1-x-x^2+x^5+x^7-x^{12}-x^{15}+x^{22}+x^{26}\dots \dots =1+\sum _{i=1}^{+\infty }(-1{)}^i(x^{\frac{i\ast (3\ast i-1)}{2}}+x^{\frac{(-i)\ast (3\ast (-i)-1)}{2}})$$

五边形数定理解决整数划分问题

写出整数划分的生成函数：
$$G(x)=\prod _{i=1}^{+\infty }(1+x^i+x^{2\ast i}+x^{3\ast i}\dots \dots )=\prod _{i=1}^{+\infty }\frac{1}{1-x^i}$$
发现$G\ast \varphi =1$

于是有$G(1)=1,G(n)\ast \varphi (0)+G(n-1)\ast \varphi (1)+G(n-2)\ast \varphi (2)+G(n-5)\ast \varphi (5)\dots \dots =0$

$G(n)=G(n-1)+G(n-2)-G(n-5)+\dots \dots$

因为五边形数是n^2级别的，所以递推求G(n)的复杂度为n*sqrt(n)。

拓展：求每个整数出现次数小于k的划分数
$$G^{\prime }(x)=\prod _{i=1}^{+\infty }\frac{1-x^{i\ast k}}{1-x^i}$$
$G^{\prime }(x)=G(x)\ast \varphi (x^k)=G(x)\ast (1-x^k-x^{2\ast k}+x^{5\ast k}+x^{7\ast k}-x^{12\ast k}-x^{15\ast k}+x^{22\ast k}\dots \dots )$

n*sqrt(n)求出G后，每次询问再用sqrt(n/k)的时间求得G’(n)即可。