FFT 【JSOI2012】bzoj4332 分零食

来源:互联网 发布:郁冬 it 编辑:程序博客网 时间:2024/05/19 22:45

题目大意:

有n个小朋友,m块糖。
给小朋友分糖,如果一个小朋友分不到糖,那他后面的小朋友也分不到糖。
每个小朋友有一个喜悦值,有三个参数,O,S,U,设一个小朋友分到糖数为x,则这个小朋友的喜悦值为O*x x+ S x +U,分不到糖的小朋友的喜悦值为1。
求所有分糖方案下 所有小朋友喜悦值乘积 的和。

题目分析:

如果没有小朋友必须是前面的连续的一段这个要求,那就是一个FFT模板,把喜悦值数组自乘n次即可。
但是有这个要求之后就不能这么做了。

这个时候我们考虑DP。
设数组g[i][j]为给前i个小朋友分j块糖(每个小朋友都能分到糖)的答案。
设数组f[i]为一个小朋友分到i块糖的喜悦值。

那么转移方程就可以写成g[i][j]=∑(1<=k<=m)g[i-1][j-k]*f[k]。
这样就是标准的卷积的形式,就可以用快速傅里叶变换来优化,可以用快速幂迅速求出g[min(n,m)][m],括弧但是我们并没有用到快速幂括回笑。

我们求出g[min(n,m)][m]并没有什么用,因为不一定会分到第n个小朋友。

所以我们要求的是∑(1<=i<=min(n,m))g[i][m]。
设数组p[i][j]=∑(1<=k<=i)g[k][j]。
我们只要求出p[min(n,m)][m]即可。

p可以递推来求
当 i mod 2 为0时 ,p[i]=p[i/2]+p[i/2]*g[i/2];
当 i mod 2 为1时 ,p[i]=p[i/2]+p[i/2]*g[i/2]+g[i];

这个可以感性的证明一下:
首先g[a+b]=g[a]*g[b]。
给a+b个小朋友分糖,就相当于给前a个小朋友分糖和给a+1到a+b个小朋友分糖的答案求一个卷积,在点值表达式的意义下计算是合法的。

那么p[i/2]为g[1]到g[i/2]的和,把p[i/2]乘以g[i/2],那我们就得到了g[i/2+1]到g[i]的和,再加上p[i/2],就是所求的p[i]。

当i为奇数时,我们就先求p[i-1],然后再加上g[i]就可以了,括弧还是挺好理解的吧括回笑。

设top=min(n,m).
我们要求p[top]和g[top],那就要求出p[top/2] 和 g[top/2]。
那就可以递归处理啦。

时间复杂度为O(mlogmlogmin(n,m))。

此篇题解部分借鉴自sengxian’s blog.

注意:

  1. 亘古不变的精度问题!!!!
  2. 在乘的时候不要连乘啊,要不然会变成循环卷积啊什么的云云,会错,就是说每次在做乘法的时候先DFT过去,乘完之后立刻IDFT回来,然后把超过m的部分全部去掉,再进行下一次乘法。

代码:

#include <cstdio>#include <cmath>#include <algorithm>#include <iostream>#define N 1200000using namespace std;const double pi=acos(-1);const double DFT=2.0;const double IDFT=-2.0;long long n,m,O,S,U,mod;int len;int pos[N];struct complex{    double a,b;    complex(double a=0,double b=0):a(a),b(b){}    complex operator + (const complex &c) { return complex(a+c.a,b+c.b); }    complex operator - (const complex &c) { return complex(a-c.a,b-c.b); }    complex operator * (const complex &c) { return complex(a*c.a-b*c.b,a*c.b+b*c.a); }}g[N],p[N],f[N],tmp[N];void init(int len){    for(int i=1;i<len;i++)    {        pos[i]=pos[i>>1]>>1;        if(i&1) pos[i]|=len>>1;    }    return;}void Fast_Fourier_Transform(complex x[],int len,double mode){    for(int i=1;i<len;i++)    if(i<pos[i]) swap(x[i],x[pos[i]]);    for(int i=2;i<=len;i<<=1)    {        int step=i>>1;        complex wm=complex(cos(2*pi/i),sin(mode*pi/i));        for(int j=0;j<len;j+=i)        {            complex w=complex(1,0);            for(int k=j;k<j+step;k++)            {                complex a=x[k],b=w*x[k+step];                x[k]=a+b;x[k+step]=a-b;                w=w*wm;            }        }    }    if(mode==IDFT)        for(int i=0;i<len;i++) x[i].a=(x[i].a)/len;    return;}#define FFT Fast_Fourier_Transformvoid modify(complex x[]){    for(int i=0;i<len;i++)    {        if(i<=m) x[i].a=((long long)(x[i].a+0.5)%mod+mod)%mod,x[i].b=0;        else x[i]=complex(0,0);    }}void solve(long long top){    if(top==1)    {        for(int i=0;i<len;i++) p[i]=f[i],g[i]=f[i];        FFT(p,len,IDFT); FFT(g,len,IDFT);        modify(p); modify(g);        return;    }    solve(top/2);    FFT(p,len,DFT); FFT(g,len,DFT);    for(int i=0;i<len;i++) p[i]=p[i]+p[i]*g[i];    for(int i=0;i<len;i++) g[i]=g[i]*g[i];    FFT(p,len,IDFT); FFT(g,len,IDFT);    modify(p); modify(g);    if(top&1)    {        FFT(g,len,DFT); FFT(p,len,DFT);        for(int i=0;i<len;i++) g[i]=g[i]*f[i];        for(int i=0;i<len;i++) p[i]=p[i]+g[i];        FFT(g,len,IDFT); FFT(p,len,IDFT);        modify(p); modify(g);    }    return;}int main(){    scanf("%lld%lld",&m,&mod);    scanf("%lld",&n);    scanf("%lld%lld%lld",&O,&S,&U);    for(int i=1;i<=m;i++) f[i].a=(O*i*i+S*i+U)%mod;    long long top=min(n,m);    len=1;    while(len<=(m<<1)) len<<=1;    init(len);    FFT(f,len,DFT);    solve(top);    printf("%lld\n",((long long)(p[m].a))%mod);    return 0;}
0 0
原创粉丝点击