杜教筛用于在亚线性的时间复杂度内求解一个数论函数的前缀和。

给定一数论函数 \(f\) ,求 \(s(n)=\sum_{i=1}^nf(i)\) 。对于 \(n\) 很大,我们就不能用线性筛来处理了,考虑非线性的做法。

我们构造一个函数 \(g\) ,将 \(f\)\(g\) 进行狄利克雷卷积

\[\sum_{i=1}^n(f*g)(i)=\sum_{i=1}^n\sum_{d\mid i}g(d)f(\frac{i}{d})=\sum_{d=1}^ng(d)\sum_{i=1}^{ \left\lfloor \frac{n}{d}\right\rfloor} f(i)=\sum_{d=1}^ng(d)s(\left\lfloor \frac{n}{d}\right\rfloor) \]

\(d=1\) 这一项提出来,得

\[g(1)s(n)=\sum_{i=1}^n(f*g)(i)-\sum_{i=2}^ng(i)s(\left\lfloor \frac{n}{i}\right\rfloor) \]

我们发现,如果我们构造的函数 \(g\) 满足便于求解 \(g\)\(f*g\) 的前缀和,对后面一部分式子进行数论分块,就可以快速的出答案了。

实现过程首先预处理出 \(i\leq n^{\frac{2}{3}}\)\(s(i)\) 的值,整体复杂度就是 \(o(n^{\frac{2}{3}})\)

常用卷积关系

\[f=\mu,\qquad g=I,\qquad f*g=[n=1] \]

\[f=\varphi ,\qquad g=I,\qquad f*g=id \]

\[f(i)=i^2\varphi(i),\qquad g(i)=i^2,\qquad (f*g)(i)=i^3 \]

代码实现如下

inline void Init() {
    mu[1]=1;
    for(int i=2;i<N;i++){
        if(!pd[i]) p[++idx]=i, mu[i]=-1;
        for(int j=1;j<=idx && i*p[j]<N;j++) {
            pd[i*p[j]]=1;
            if(i%p[j]==0) { mu[i*p[j]]=0; break; }
            else mu[i*p[j]]=-mu[i];
        }
    }
    for(int i=1;i<N;i++) mu[i]+=mu[i-1];
} 

inline LL Get_mu(LL n) {
    if(n<N) return mu[n];
    else if(mp_mu[n]) return mp_mu[n];
    LL res=1;
    for(LL i=2,j;i<=n;i=j+1) {
        j=n/(n/i);
        res-=1LL*(j-i+1)*Get_mu(n/i);
    }
    return mp_mu[n]=res;
}

inline LL Get_phi(LL n) {
    LL res=0;
    for(LL i=1,j;i<=n;i=j+1) {
        j=n/(n/i);
        res+=1LL*(n/i)*(n/i)*(Get_mu(j)-Get_mu(i-1));
    }
    return (res-1)/2LL+1;
}

原文地址:http://www.cnblogs.com/oscaryangzj/p/16845822.html

1. 本站所有资源来源于用户上传和网络,如有侵权请邮件联系站长! 2. 分享目的仅供大家学习和交流,请务用于商业用途! 3. 如果你也有好源码或者教程,可以到用户中心发布,分享有积分奖励和额外收入! 4. 本站提供的源码、模板、插件等等其他资源,都不包含技术服务请大家谅解! 5. 如有链接无法下载、失效或广告,请联系管理员处理! 6. 本站资源售价只是赞助,收取费用仅维持本站的日常运营所需! 7. 如遇到加密压缩包,默认解压密码为"gltf",如遇到无法解压的请联系管理员! 8. 因为资源和程序源码均为可复制品,所以不支持任何理由的退款兑现,请斟酌后支付下载 声明:如果标题没有注明"已测试"或者"测试可用"等字样的资源源码均未经过站长测试.特别注意没有标注的源码不保证任何可用性