FFT 【JSOI2012】bzoj4332 分零食

3 篇文章 0 订阅

出处:http://blog.csdn.net/todobe
题目大意:

有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.

注意:

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

#include <cstdio>
#include <cmath>
#include <algorithm>
#include <iostream>
#define N 1200000
using 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_Transform
void 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;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值