【JZOJ 4496】【GDSOI 2016】第一题 互补约数 (两种解法)

Description

i=1nd|igcd(d,id)

对于100%的数据, n1011

Analysis

方法一

这是一个不需要莫比乌斯反演的方法。

i=1nd|igcd(d,id)

=ijngcd(i,j)

=ijnd|gcd(i,j)φ(d)

这里用到了一个 φ 的性质, d|nφ(d)=n ,具体证明可以看 我的博客。
=ijnd|id|jφ(d)

调换主体,得
=d=1nφ(d)ijnd21

=d=1nφ(d)i=1nd2nd2i

随着 d 的增长, d2 增长迅速,因此 nd2 会迅速收敛到很小,并且有许多的 nd2i 的值是一样的,所以可以分块处理。时间复杂度是很优的。

方法二

这次我们用莫比乌斯反演。

i=1nd|igcd(d,id)

=i=1nj=1nigcd(i,j)

f(d) 表示上式中满足 gcd(i,j)=d i,j 有多少对;
g(d) 表示上式中满足 d|gcd(i,j) i,j 有多少对。
首先有
g(d)=i=1ndf(di)

反演
f(d)=i=1ndg(di)μ(i)

而我们要求的
Ans=d=1ndf(d)

=d=1ndi=1ndg(di)μ(i)

T=di ,再调换主体
=T=1ng(T)i|TTiμ(i)

但其实 T 只用枚举到 n ,因为 n 是在 ijn 的范围内 gcd(i,j) 的最大取值,此时 i=j=n
那么 g(T) 怎么求呢?
d|gcd(i,j) ,则可以设 dx,dy 分别为任意的 i,j ,因为必有 d|gcd(dx,dy)
所以我们枚举 x ,因为 dxdyn ,所以 x 只需要枚举到 nd2
g(T)=x=1nT2nT2x

所以
Ans=T=1nx=1nT2nT2xi|TTiμ(i)

这个东西直接做,预处理一些东西,就可以AC了。
但我们的追求更远。
上面这个式子有没有一点眼熟?
我们把方法一最后得出的结论搬下来
Ans=d=1nφ(d)i=1nd2nd2i

两个式子比较一下,许多东西非常相似,所以我们可以提出这样一个猜想
φ(n)=d|nndμ(d)

证明如下:
f(n)=φ(n),g(n)=n
根据上面说的那个欧拉函数的性质,得
g(n)=n=d|nφ(d)=d|nf(d)

反演
f(n)=φ(n)=d|ng(nd)μ(d)=d|nndμ(d)

得证!
殊途同归!

Code

#include<cstdio>
#include<cmath>
#include<algorithm>
#define fo(i,a,b) for(int i=a;i<=b;i++)
using namespace std;
typedef long long ll;
const int N=316230;
int phi[N],pri[N];
bool bz[N];
void pre(int n)
{
    phi[1]=1;
    fo(i,2,n)
    {
        if(!bz[i])
        {
            phi[i]=i-1;
            pri[++pri[0]]=i;
        }
        fo(j,1,pri[0])
        {
            int t=i*pri[j];
            if(t>n) break;
            bz[t]=1;
            if(i%pri[j]==0)
            {
                phi[t]=phi[i]*pri[j];
                break;
            }
            phi[t]=phi[i]*phi[pri[j]];
        }
    }
}
int main()
{
    freopen("gcd.in","r",stdin);
    freopen("gcd.out","w",stdout);
    ll n,ans=0;
    scanf("%lld",&n);
    int m=int(sqrt(n));
    pre(m);
    fo(p,1,m)
    {
        ll i,l=n/p/p,t=0;
        for(ll j=1;j<=l;j=i+1)
        {
            i=l/(l/j);
            t+=(i-j+1)*(l/j);
        }
        ans+=phi[p]*t;
    }
    printf("%lld",ans);
    fclose(stdin);fclose(stdout);
    return 0;
}

你可能感兴趣的:(数论,欧拉函数,莫比乌斯反演,GDOI2016,GDSOI2016)