【BZOJ4827】礼物(AHOI&HNOI2017)-FFT

测试地址:礼物
做法:本题需要用到FFT。
为了方便讨论,我们把装饰物的编号设为 0 0 ~n1,并把所有的调整操作都仅视为对第一串手环进行,显然这样并不失一般性。
不难看出,第一串手环旋转 k k 位,并增加c的亮度(如果原操作是对第二串手环亮度增加 c c ,那么这里就是增加c)的差异值为:
n1i=0(x(i+k)%n+cyi)2 ∑ i = 0 n − 1 ( x ( i + k ) % n + c − y i ) 2
j=(i+k)%n j = ( i + k ) % n ,展开上述式子,最终得到差异值的式子为:
(n1i=0x2i)+(n1i=0y2i)+2c(n1i=0xi)2c(n1i=0yi)+(nc2)2(n1i=0xjyi) ( ∑ i = 0 n − 1 x i 2 ) + ( ∑ i = 0 n − 1 y i 2 ) + 2 c ( ∑ i = 0 n − 1 x i ) − 2 c ( ∑ i = 0 n − 1 y i ) + ( n c 2 ) − 2 ( ∑ i = 0 n − 1 x j y i )
我们发现差异值的最小值中 c c 的取值一定在区间[m,m]内,而 m m 只有100,所以考虑枚举 c c ,那么上式中只有一个值取决于k
n1i=0xjyi ∑ i = 0 n − 1 x j y i
因为前面 2 − 2 的系数,所以我们要求这个东西的最大值,可是暴力求是 O(n2) O ( n 2 ) 的,怎么办呢?
实际上,答案就是两个向量 A(Ai=xi) A ( A i = x i ) B(Bi=yn(i%n)1) B ( B i = y n − ( i % n ) − 1 ) (实际上就是 yn1,yn2,...,y0 y n − 1 , y n − 2 , . . . , y 0 的循环)的卷积 C C 中的Cn1~ C2n2 C 2 n − 2 这些位中的最大值。
我们怎么能得到这个东西?因为上述从向量 B B 到向量C中指定的那些位的变换,实际上就相当于右乘一个反循环矩阵 X X ,即第一行为x0,x1,...,xn1,接下来每一行元素都较上一行左移了一位的矩阵,之所以称之为反循环矩阵是因为正的循环矩阵应该是每一行元素较上一行右移一位。因为我们不是很关心 C C 中值的顺序,只需要以某种映射一一对应即可,所以我们把将矩阵第二行以下上下颠倒,变为正循环矩阵X,这样不会破坏一一对应的关系。通过某种规律,我们知道向量乘正循环矩阵可以用FFT优化,方法如下:
将该正循环矩阵的第一行取出来,左右颠倒,然后向后循环,形成一个向量 B B (下标从0开始),然后将向量 A A (下标从0开始)和向量 B B 做卷积,得到的向量C中的 Cn1 C n − 1 ~ C2n2 C 2 n − 2 就是所求答案。
严谨的证明不作介绍,貌似也有前人研究过这种特殊的矩阵乘法,好像叫傅里叶对角化什么的,总之这样就把 O(n2) O ( n 2 ) 的乘法优化成 O(nlogn) O ( n log ⁡ n ) 了。而上面的答案很明显就可以看出是用这个方法推出的,所以是正确的。
所以我们用 O(nlogn) O ( n log ⁡ n ) 时间处理出 n1i=0xjyi ∑ i = 0 n − 1 x j y i 的最大值,用 O(n) O ( n ) 时间处理出 xi,yi x i , y i 的和及平方和,然后 O(m) O ( m ) 枚举 c c 来求最小差异值,总的复杂度和O(nlogn)同阶,完美解决了这一问题。
以下是本人代码:

#include <bits/stdc++.h>
#define ll long long
const double eps=0.5;
const double pi=acos(-1.0);
const ll inf=1000000000;
using namespace std;
ll n,m,suma=0,sumb=0,sumsq=0,r[500010];
struct Complex
{
    double x,y;
}a[500010],b[500010];
Complex operator + (Complex a,Complex b) {Complex s={a.x+b.x,a.y+b.y};return s;}
Complex operator - (Complex a,Complex b) {Complex s={a.x-b.x,a.y-b.y};return s;}
Complex operator * (Complex a,Complex b) {Complex s={a.x*b.x-a.y*b.y,a.x*b.y+a.y*b.x};return s;}

void FFT(Complex *a,int n,int type)
{
    for(int i=0;i<n;i++)
        if (i<r[i]) swap(a[i],a[r[i]]);
    for(int mid=1;mid<n;mid<<=1)
    {
        Complex W={cos(pi/mid),type*sin(pi/mid)};
        for(int l=0,r=mid<<1;l<n;l+=r)
        {
            Complex w={1.0,0.0};
            for(int k=0;k<mid;k++,w=w*W)
            {
                Complex x=a[l+k],y=w*a[l+mid+k];
                a[l+k]=x+y;
                a[l+mid+k]=x-y;
            }
        }
    }
    if (type==-1)
    {
        for(int i=0;i<n;i++)
            a[i].x/=n;
    }
}

int main()
{
    scanf("%lld%lld",&n,&m);
    memset(a,0,sizeof(a));
    memset(b,0,sizeof(b));
    for(ll i=0;i<n;i++)
    {
        scanf("%lf",&a[i].x);
        suma+=(int)(a[i].x+eps);
        sumsq+=(ll)(a[i].x*a[i].x+eps);
    }
    for(ll i=0;i<n;i++)
    {
        scanf("%lf",&b[i].x);
        sumb+=(ll)(b[i].x+eps);
        sumsq+=(ll)(b[i].x*b[i].x+eps);
    }
    for(ll i=0;i<n-i-1;i++)
        swap(b[i].x,b[n-i-1].x);
    for(ll i=1;i<n;i++)
        b[n+i-1].x=b[i-1].x;

    ll bit=0,x=1;
    while (x<(n<<2)) bit++,x<<=1;
    r[0]=0;
    for(ll i=1;i<x;i++)
        r[i]=(r[i>>1]>>1)|((i&1)<<(bit-1));

    FFT(a,(int)x,1);FFT(b,(int)x,1);
    for(ll i=0;i<x;i++) a[i]=a[i]*b[i];
    FFT(a,(int)x,-1);

    ll mx=0,ans=inf*inf;
    for(ll i=n-1;i<(n<<1)-1;i++)
        mx=max(mx,(ll)(a[i].x+eps));
    for(ll i=-m;i<=m;i++)
        ans=min(ans,sumsq+2*i*suma+n*i*i-2*mx-2*i*sumb);
    printf("%lld",ans);

    return 0;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值