Luogu P2257 YY的GCD 莫比乌斯反演

第一道莫比乌斯反演。。。$qwq$

---

设$f(d)=\sum_{i=1}^n\sum_{j=1}^m[gcd(i,j)==d]$

$F(n)=\sum_{n|d}f(d)=\lfloor \frac{N}{n} \rfloor \lfloor \frac{M}{n} \rfloor$

$f(n)=\sum_{n|d}\mu(\frac{d}{n})F(d)$

$ans=\sum_{p\in pri}f(p)$

$=\sum_{p\in pri}\sum_{p|d}\mu(\frac{d}{p})F(d)$

$=\sum_{d=1}^{min(N,M)}\sum_{p\in pri且p|d}\space\mu(\frac{d}{p})F(d)$

$=\sum_{d=1}^{min(N,M)}F(d)\sum_{p\in pri且p|d}\space\mu(\frac{d}{p})$

$=\sum_{d=1}^{min(N,M)}\lfloor \frac{N}{d} \rfloor \lfloor \frac{M}{d} \rfloor \sum_{p\in pri且p|d}\space\mu(\frac{d}{p})$

对于$\lfloor \frac{N}{d} \rfloor \lfloor \frac{M}{d} \rfloor$用整除分块，对于$a(d)=\sum_{p\in pri且p|d}\space\mu(\frac{d}{p})$用一个类似埃筛的思路把$a(d)$筛出来然后做一个前缀和。。

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<cctype>
#include<cstdlib>
#include<vector>
#include<queue>
#include<map>
#include<set>
#define ll long long
#define R register int
using namespace std;
namespace Fread {
    static char B[<<],*S=B,*D=B;
    #define getchar() (S==D&&(D=(S=B)+fread(B,1,1<<15,stdin),S==D)?EOF:*S++)
    inline int g() {
        R ret=,fix=; register char ch; while(!isdigit(ch=getchar())) fix=ch=='-'?-:fix;
        do ret=ret*+(ch^); while(isdigit(ch=getchar())); return ret*fix;
    }
}using Fread::g;
int t,n,m,cnt,pri[],a[],mu[];
bool v[]; long long sum[];
inline void MU(int n) { mu[]=;
    for(R i=;i<=n;++i) {
        if(!v[i]) pri[++cnt]=i,mu[i]=-;
        for(R j=;j<=cnt&&i*pri[j]<=n;++j) {
            v[i*pri[j]]=true;
            if(i%pri[j]==) break;
            else mu[i*pri[j]]=-mu[i];
        }
    } for(R j=;j<=cnt;++j) for(R i=;i*pri[j]<=n;++i) a[i*pri[j]]+=mu[i];
    for(R i=;i<=n;++i) sum[i]=sum[i-]+(ll)a[i];
}
signed main() {
#ifdef JACK
    freopen("NOIPAK++.in","r",stdin);
#endif
    MU(); t=g(); while(t--) { register long long ans=;
        n=g(),m=g(); n>m?(void)(swap(n,m)):(void);
        for(R l=,r;l<=n;l=r+) {
            r=min(n/(n/l),m/(m/l));
            ans+=(ll)(n/l)*(m/l)*(sum[r]-sum[l-]);
        }printf("%lld\n",ans);
    }
} 

---

2019.06.09