CodeChef - COUNTARI Arithmetic Progressions (FFT)

Posted xiuwenli

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了CodeChef - COUNTARI Arithmetic Progressions (FFT)相关的知识,希望对你有一定的参考价值。

题意:求一个序列中,有多少三元组$(i,j,k)i<j<k $ 满足(A_i + A_k = 2*A_i) 构成等差数列。

https://www.cnblogs.com/xiuwenli/p/9719425.html

在该题的基础上加了i<j<k的限制。不能单纯地FFT枚举结果。
考虑分块搭配FFT结果问题。
将原序列分成若干块,设每个块的大小为(B)。则构成等差数列的三元组有三种构成情况。
1)三个数都在一个块内。这种情况对每个块独立处理。二重循环枚举(A_i 、A_k),不断更新(i,k)之间满足条件的(A_j)
2)两个数在一个块内。那么有两种可能:(A_i、A_j)在一个块内,或(A_j、A_k)在一个块内。此时需要之前所有块的信息和后面所有块的信息。
3)三个数在不同块中。此时情况和不带限制的相似。统计出之前所有块的信息和之后所有块的信息,FFT计算出和的系数,扫一遍块内数据统计结果。

#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const int MAXN = 1e5 + 10;
const double PI = acos(-1.0);
struct Complex{
    double x, y;
    inline Complex operator+(const Complex b) const {
        return (Complex){x +b.x,y + b.y};
    }
    inline Complex operator-(const Complex b) const {
        return (Complex){x -b.x,y - b.y};
    }
    inline Complex operator*(const Complex b) const {
        return (Complex){x *b.x -y * b.y,x * b.y + y * b.x};
    }
} va[MAXN * 2 + MAXN / 2], vb[MAXN * 2 + MAXN / 2];
int lenth = 1, rev[MAXN * 2 + MAXN / 2];
int N, M;   // f 和 g 的数量
    //f g和 的系数
    // 卷积结果
    // 大数乘积
int f[MAXN],g[MAXN];
vector<LL> conv;
vector<LL> multi;
void debug(){for(int i=0;i<conv.size();++i) cout<<conv[i]<<" ";cout<<endl;}
//f g
void init()
{
    int tim = 0;
    lenth = 1;
    conv.clear(), multi.clear();
    memset(va, 0, sizeof va);
    memset(vb, 0, sizeof vb);
    while (lenth <= N + M - 2)
        lenth <<= 1, tim++;
    for (int i = 0; i < lenth; i++)
        rev[i] = (rev[i >> 1] >> 1) + ((i & 1) << (tim - 1));
}
void FFT(Complex *A, const int fla)
{
    for (int i = 0; i < lenth; i++){
        if (i < rev[i]){
            swap(A[i], A[rev[i]]);
        }
    }
    for (int i = 1; i < lenth; i <<= 1){
        const Complex w = (Complex){cos(PI / i), fla * sin(PI / i)};
        for (int j = 0; j < lenth; j += (i << 1)){
            Complex K = (Complex){1, 0};
            for (int k = 0; k < i; k++, K = K * w){
                const Complex x = A[j + k], y = K * A[j + k + i];
                A[j + k] = x + y;
                A[j + k + i] = x - y;
            }
        }
    }
}
void getConv(){             //求多项式
    init();
    for (int i = 0; i < N; i++)
        va[i].x = f[i];
    for (int i = 0; i < M; i++)
        vb[i].x = g[i];
    FFT(va, 1), FFT(vb, 1);
    for (int i = 0; i < lenth; i++)
        va[i] = va[i] * vb[i];
    FFT(va, -1);
    for (int i = 0; i <= N + M - 2; i++)
        conv.push_back((LL)(va[i].x / lenth + 0.5));
}

int a[MAXN];
int cnt[30005];
int cnt2[30005];

int main()
{
    #ifndef ONLINE_JUDGE
        freopen("in.txt","r",stdin);
        freopen("out.txt","w",stdout);
    #endif
    int n;
    while(scanf("%d",&n)==1){
        memset(cnt,0,sizeof(cnt));
        for(int i=0;i<n;++i){
            scanf("%d",&a[i]);
        }   
        int block=(int)(sqrt(n)+1e-6)*5;
        LL res=0;
        //1) 三个数都在一个块内
        for(int b=0;b<n;b+=block){
            for(int i=0; i<block && b+i<n;++i){
                for(int j=i+1;j<block && b+j<n;++j){
                    int sum = a[b+i] + a[b+j];
                    if((sum&1)==0){
                        res += cnt[sum>>1];        
                    }
                    ++cnt[a[b+j]];
                }
                for(int j=i+1;j<block && b+j<n ;++j)
                    --cnt[a[b+j]];
            }
        }

        //2) 两个数在一个块内
        memset(cnt,0,sizeof(cnt));          //后面所有块的信息
        memset(cnt2,0,sizeof(cnt2));        //前面所有块的信息
        for(int i=0;i<n;++i){
            cnt[a[i]]++;
        }
        for(int b = 0;b<n;b+=block){
            for(int i=0;i<block && b+i<n;++i){          //将该块的数据抹去
                cnt[a[b+i]]--;
            }    
            for(int i=0;i<block && b+i<n;++i){
                for(int j=i+1;j<block && b+j<n;++j){
                    int cha = 2*a[b+i] - a[b+j];
                    if(cha>0 && cha<=30000) res += cnt2[cha];
                    int sum = 2*a[b+j] - a[b+i];
                    if(sum>0 && sum<=30000) res += cnt[sum];
                }
            }
            for(int i=0;i<block && b+i<n;++i){          //将该块的数据更新到 cnt2
                ++cnt2[a[b+i]];
            }
        }
        // 3) 三个数在不同块中 
        memset(cnt,0,sizeof(cnt));          //后面所有块的信息
        memset(cnt2,0,sizeof(cnt2));        //前面所有块的信息
        for(int i=0;i<n;++i){
            cnt[a[i]]++;
        }
        for(int b = 0;b<n;b+=block){
            for(int i=0;i<block && b+i<n;++i){          //将该块的数据抹去
                cnt[a[b+i]]--;
            }   
            if(b>1){
                N =M = 30001; 
                for(int i=0;i<=30000;++i){
                    f[i] = cnt[i];
                    g[i] = cnt2[i];
                }
                getConv();
                int sz = conv.size();
                for(int i=0;i<block &&b+i<n;++i){
                    if(a[b+i]*2>=sz) continue;
                    res += conv[a[b+i]*2];
                }
            }
            for(int i=0;i<block && b+i<n;++i){          //将该块的数据更新到 cnt2
                ++cnt2[a[b+i]];
            }
        }
        printf("%lld
",res);
    }
    return 0;
}






以上是关于CodeChef - COUNTARI Arithmetic Progressions (FFT)的主要内容,如果未能解决你的问题,请参考以下文章

CodeChef - COUNTARI Arithmetic Progressions (FFT)

CodeChef Arithmetic Progressions

[转]VHDL中数据类型转换与移位(STD_LOGIC_ARITH与NUMERIC_STD)

是否可以使用 Go net/rpc 检查元数据?

Codechef 虫洞:我的逻辑有啥问题?

Codechef RIN 「Codechef14DEC」Course Selection 最小割离散变量模型