数论学习之 fft (模板+例题)

本博客探讨了如何使用快速傅里叶变换(FFT)解决数论问题,特别是针对Codeforces上的一道E题——K-inversions。题目要求统计只包含字符B和A的字符串中,B到A的距离按1到n排列的所有B...A的数量。通过构造两个特定的多项式,乘法的结果可以得到所需计数。具体方法是在原串A的位置设置x1数组的对应项为1,在B的位置设置x2数组(下标加n)的对应项为1,最终答案区间在[len, len+len-1]。本文提供了一种标准的FFT模板,适用于类似问题的求解。" 124649297,8757036,技术状态管理详解,"['技术状态管理', '系统工程', '产品开发', '质量管理', '项目管理']
摘要由CSDN通过智能技术生成

例题:
https://codeforces.com/gym/101002/attachments

E题 K-inversions

题意:给定一个只含有 B B B A A A的字符串,输出其中 B . . . A B...A B...A的数量,按照 A A A B B B的距离为 1 , 2... , n 1,2...,n 1,2...,n的形式输出结果

怎么做转换为fft呢,我们要构造两个多项式,其乘起来各项的结果就是对应的 B . . A B..A B..A的数量

假设一对 B . . A B..A B..A A A A B B B的距离为 l l l 原串的第 i i i位为 A A A,第 j j j位为 B ( j &lt; i ) B(j&lt;i) B(j<i),那么就会在 l = i − j l=i-j l=ij的地方产生 1 1 1的贡献

这样我们在原串为 A A A的位置对 x 1 [ l o a ] x1[loa] x1[loa]赋值为 1 1 1,
在原串为 B B B的位置对 x 2 [ − l o a ] x2[-loa] x2[loa]赋值为 1 1 1
对于 x 2 x2 x2,为了方便操作,对这个数组下标 + n +n +n
这样答案区间就在 [ l e n , l e n + l e n − 1 ] [len,len+len-1] [len,len+len1] (下标是从 0 0 0标的,所以起点在 0 + l e n 0+len 0+len)

写的比较标准,用作fft的模板

#include <bits/stdc++.h>
const int maxn=1e7+5;
#define pi acos(-1.0)
using namespace std;
struct Complex
{
    double x,y;
    Complex (double _x=0.0,double _y=0.0)
    {
        x=_x;
        y=_y;
    }
    Complex operator-(const Complex &b)const{
        return Complex(x-b.x,y-b.y);
    }

    Complex operator+(const Complex &b)const{
        return Complex(x+b.x,y+b.y);
    }

    Complex operator*(const Complex &b)const{
        return Complex(x*b.x-y*b.y,x*b.y+y*b.x);
    }
};
void change(Complex y[],int len)
{
    for(int i=1,j=len/2;i<len-1;i++)
    {
        if(i<j)swap(y[i],y[j]);
        int k=len/2;
        while(j>=k)
        {
            j-=k;
            k/=2;
        }
        if(j<k)
        {
            j+=k;
        }
    }
}

void fft(Complex y[],int len,int on)
{
    change(y,len);
    for(int h=2;h<=len;h<<=1)
    {
        Complex wn(cos(-on*2*pi/h),sin(-on*2*pi/h));
        for(int j=0;j<len;j+=h)
        {
            Complex w(1,0);
            for(int k=j;k<j+h/2;k++)
            {
                Complex u=y[k];
                Complex t=w*y[k+h/2];
                y[k]=u+t;
                y[k+h/2]=u-t;
                w=w*wn;
            }
        }
    }
    if(on==-1)
    {
        for(int i=0;i<len;i++)
        {
            y[i].x/=len;
        }
    }
}

Complex x1[maxn],x2[maxn];
int s1[maxn],s2[maxn];
string s;
int len1,len2;

int main()
{
    ios::sync_with_stdio(false);
    cin>>s;
    len1=(int)s.size();
    len2=len1;
    for(int i=0;i<len1;i++)
    {
        if(s[i]=='A')s1[i]=1;
    }
    for(int i=0;i<len2;i++)
    {
        if(s[i]=='B')s2[i]=1;
    }
    reverse(s2,s2+len2);
    int len=1;

    while(len<len1*2||len<len2*2)
    {
        len<<=1;
    }

    for(int i=0;i<len1;i++)
    {
        x1[i]=Complex(s1[i],0);
    }
    for(int i=len1;i<len;i++)
    {
        x1[i]=Complex(0,0);
    }

    for(int i=0;i<len2;i++)
    {
        x2[i]=Complex(s2[i],0);
    }
    for(int i=len2;i<len;i++)
    {
        x2[i]=Complex(0,0);
    }

    fft(x1,len,1);
    fft(x2,len,1);

    for(int i=0;i<len;i++)
    {
        x1[i]=x1[i]*x2[i];
    }
    fft(x1,len,-1);

    for(int i=len1;i<len1+len2-1;i++)
    {
        cout<<(int)(x1[i].x+0.5)<<endl;
    }



    return 0;
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值