• 【bzoj3512】DZY Loves Math IV 【杜教筛】


    题目链接
    题意:i=1nj=1mφ(ij)1000000007的值。n<=100000,m<=1000000000
    题解:首先我们有一个结论。
    |μ(n)|=1,则φ(nm)=k|gcd(n,m)φ(nk)φ(m)
    怎么证?
    k|gcd(n,m)φ(nk)φ(m)
    =φ(m)k|gcd(n,m)φ(nk)
    =φ(m)k|gcd(n,m)φ(n)φ(k)
    =φ(n)φ(m)k|gcd(n,m)1φ(k)
    =φ(n)φ(m)k|gcd(n,m)φ(gcd(n,m))φ(k)φ(gcd(n,m))
    =φ(n)φ(m)1φ(gcd(n,m))k|gcd(n,m)φ(gcd(n,m))φ(k)
    =φ(n)φ(m)1φ(gcd(n,m))k|gcd(n,m)φ(gcd(n,m)k)
    =φ(n)φ(m)1φ(gcd(n,m))k|gcd(n,m)φ(gcd(n,m)k)
    =φ(n)φ(m)gcd(n,m)φ(gcd(n,m)) 这是因为d|nφ(d)=n
    =φ(ngcd(n,m))φ(m)gcd(n,m)
    推导过程中用到了很多|μ(n)|=1的性质。
    这个式子就很显然了,因为根据|μ(n)|=1ngcd(n,m)m互质,于是φ(ngcd(n,m))φ(m)gcd(n,m)=φ(nm),想一想就知道了。于是就证完了!
    |μ(n)|=0,设k为最小的正整数满足k|nμ(k)=1
    φ(nm)=φ(km)nk
    接下来我们继续推导。
    我们令S(n,m)=i=1mφ(ni)
    ans=i=1nS(i,m)
    对于S(n,m),若|μ(n)|=1n1,则
    S(n,m)
    =i=1mφ(ni)
    =i=1md|gcd(n,i)φ(nd)φ(i)
    =d|nφ(nd)i=1mdφ(i)
    =d|nφ(nd)S(d,md)
    否则若|μ(n)|=0n1
    设k为最小的正整数满足k|nμ(k)=1,则
    S(n,m)=S(k,m)nk
    否则当n=1
    S(n,m)=i=1mφ(i)
    跟求μ的前缀和类似,i=1nj|iφ(j)=n(n+1)2,因为j|iφ(j)=i
    =>j=1ni=1njφ(j)=n(n+1)2
    =>i=1nj=1niφ(j)=n(n+1)2
    =>j=1nφ(j)=n(n+1)2i=2nj=1niφ(j),即把i=1带入。
    =>S(n,m)=m(m+1)2i=2mS(n,mi)
    于是我们只需要开个map无脑记搜乱搞即可。时间复杂度不会算= =
    丑得不堪入目的 代码:

    #include<cstdio>
    #include<cstring>
    #include<cmath>
    #include<algorithm>
    #include<map>
    using namespace std;
    typedef long long ll;
    const int N=1000005;
    const ll mod=1000000007;
    int n,m,p[N];
    bool vis[N];
    ll ans,mu[N],phi[N],sum[N];
    map<int,map<int,ll> >mp;
    ll solve(int n,int m){
        if(m<=1){
            return phi[n*m];
        }else if(n==1){
            if(m<=1000000){
                return sum[m];
            }
            if(mp[n][m]){
                return mp[n][m];
            }
            ll res=1LL*m*(m+1)/2;
            for(int i=2,last;i<=m;i=last+1){
                last=m/(m/i);
                res-=solve(n,m/i)*(last-i+1)%mod;
                res%=mod;
            }
            return mp[n][m]=res;
        }else{
            if(mp[n][m]){
                return mp[n][m];
            }
            int tmp=0;
            for(int i=1;i*i<=n;i++){
                if(n%i==0&&mu[n/i]){
                    tmp=i;
                break;
                }
            }
            if(!tmp){
                for(int i=sqrt(n);i>=1;i--){
                    if(n%i==0&&mu[i]){
                        tmp=n/i;
                        break;
                    }
                }
            }
            n/=tmp;
            ll res=0;
            for(int i=1;i*i<=n;i++){
                if(n%i==0){
                    res+=phi[n/i]*solve(i,m/i)%mod;
                    res%=mod;
                    if(i*i!=n){
                        res+=phi[i]*(solve(n/i,m/(n/i)))%mod;
                        res%=mod;
                    }
                }
            }
            n*=tmp;
            res=res*tmp%mod;
            return mp[n][m]=res;
        }
    }
    int main(){
        mu[1]=phi[1]=1;
        for(int i=2;i<=1000000;i++){
            if(!vis[i]){
                p[++p[0]]=i;
                mu[i]=-1;
                phi[i]=i-1;
            }
            for(int j=1;j<=p[0]&&i*p[j]<=1000000;j++){
                vis[i*p[j]]=true;
                if(i%p[j]){
                    mu[i*p[j]]=-mu[i];
                    phi[i*p[j]]=phi[i]*(p[j]-1);
                }else{
                    phi[i*p[j]]=phi[i]*p[j];
                    break;
                }
            }
        }
        for(int i=1;i<=1000000;i++){
            sum[i]=sum[i-1]+phi[i];
            sum[i]%=mod;
        }
        scanf("%d%d",&n,&m);
        for(int i=1;i<=n;i++){
            ans+=solve(i,m);
            ans%=mod;
        }
        printf("%lld
    ",(ans+mod)%mod);
        return 0;
    }
  • 相关阅读:
    预编译
    AndroidRuntime: android.app.RemoteServiceException: Bad notification posted from package
    RadioButton和RadioGroup一点使用心得
    POJ 2774 Long Long Message 后缀数组
    POJ 2406 Power String 后缀数组
    URAL 1297 Palindrome 后缀数组+RMQ
    SPOJ 694 705 后缀数组
    POJ 3261 Milk Patterns 后缀数组
    POJ 1743 Musical Theme 后缀数组
    HDU 5040 Instrusive BFS
  • 原文地址:https://www.cnblogs.com/2016gdgzoi471/p/9476863.html
Copyright © 2020-2023  润新知