#include <stdio.h>
#include <math.h>
#include <string.h>
#include <iostream>
using namespace std;
const int mod=1e9+7;
int f[100010];
void init()
{
f[0]=1;
int i,j,k,flag,t,tt;
for(i=1;i<=100000;i++)
{
f[i]=0;
flag=1;
for(j=1;;j++)
{
t=i-j*(3*j-1)/2;
tt=i-j*(3*j+1)/2;
if(t<0)break;
f[i]=(f[i]+flag*f[t])%mod;
if(tt<0)break;
f[i]=(f[i]+flag*f[tt])%mod;
flag=-flag;
}
f[i]=(f[i]+mod)%mod;
}
}
int find(int n,int k)
{
int i,j,ans,flag=-1,t,tt;
ans=f[n];
for(i=1;;i++)
{
t=k*i*(i*3-1)/2;
tt=k*i*(i*3+1)/2;
if(t>n)break;
ans=(ans+flag*f[n-t])%mod;
if(tt>n)break;
ans=(ans+flag*f[n-tt])%mod;
flag=-flag;
}
return (ans+mod)%mod;
}
int main()
{
init();
int T;
cin>>T;
while(T--)
{
int n,k,ans;
scanf("%d%d",&n,&k);//T很大,不要用cin和cout
ans=find(n,k) ;
printf("%d\n",ans);
}
return 0;
}
将n拆分成多个正整数之和,问有多少种拆法?
如5=1+1+1+1+1=1+1+1+2=1+1+3=1+4=5=1+2+2=2+3.共7种
方法:
直接公式:f[n]=∑(-1)^(k-1)*(f[n-k*(3*k-1)/2]+f[n-k*(3*k+1)/2])
其中n-k*(3*k-1)/2>=0,n-k*(3*k+1)/2>=0;
注意两个条件要分开判断,有大于0的就加上相应的f,不是两个同时成立或者不成立
以上是求的是无限制的整数划分
本题要求,拆分出来的整数中,任意整数都不能出现k次或k次以上,因而需要用公式的推导原理——生成函数来求
生成函数的详细说明请去百度百科或者维基百科查看,这里只简要说明下:
生成函数(也有叫做“母函数”的)是说,构造这么一个多项式函数g(x),使得x的n次方系数为f(n)。
这题用到的1+x+x^2+...,f[n]就是全由1组成的n有多少种,显然是1.类似的1+x^2+x^4+..表示的就是全部由2组成,
两者相乘的意义就在于(1+x+x^2)*(1+x^2)=1+x+2*x^2+x^3+x^4,其中x^2系数2表示拆分整数2的方案数,2=1+1=2,共2种
所以无限制的拆分就可以理解成(1+x+x^2+x^3+...)*(1+x^2+x^4+..)*..*(1+x^k+x^2k+...)*..中x^n的系数就是所求值
这题加了k的限制,所以得到的生成函数式:
(1+x+x^2+...+x^(k-1))*(1+x^2+x^4+x^2(k-1))*...(每个括号内斗是等比数列求和)
=(1-x^k)/(1-x)*(1-x^2k)/(1-x^2)*(1-x^3k)/(1-x^3)...(令y=x^k)
=∏(1-y^i)/∏(1-x^i)(1<=i<∞)=g[y]/g[x]
∏(1-x^i)形式的可用五边形数定理来求,详细的请百度和谷歌
五边形定理:
再由可知
1/g[x]的系数
即p[n]=∑(-1)^(k-1)*(p[n-k*(3*k-1)/2]+p[n-k*(3*k+1)/2]),dp一下就能出来了
之后答案就是求(1-x^k-x^2k+x^5k+x^7k-x^12k-x^15k+x^22k+x^26k)*(1+p(1)x+p(2)x+p(3)x+...)中x^n的系数了
前者用五边形数定理求出指数x和系数flag,找到∑p[n-x]*flag就是结果了
相关链接:http://blog.csdn.net/zhoufenqin/article/details/9821617这位大神写的很详细,没看懂的可以去这看看]