[51nod1223]分数等式的数量

Description

给出一个数L，求所有的x < y <=l且满足1/x+1/y=1/n（n为整数）的(x,y)二元组的数量。
L<=10^11

Solution

复杂度近似暴力的算法碾过去了=w=
安利一份更劲的题解
首先我们就相当于求$x+y|xy$的二元组的数量
提取一个$d=gcd(x,y)$, $x'=x/d$, $y'=y/d$，那么

$$d(x'+y')|x'y'd^2$$
$$x'+y'|x'y'd$$
因为 $gcd(x',y')=1$，那么 $gcd(x'+y',x')=gcd(x'+y',y')=1$，所以 $x'+y'|d$
那么考虑枚举y’和x’,满足 $gcd(x',y')=1$的话那么对答案的贡献就是 $\lfloor {n\over (x'+y')y'}\rfloor$
因为d的取值范围就是1~ $\lfloor {n\over y'}\rfloor$。
发现这样的话y’的最大值就是 $\sqrt n$，总复杂度就是O(n)
考虑如何优化。
$$Ans=\sum_{i=2}^{\sqrt n}\sum_{j=1}^{i-1}[gcd(i,j)=1]\lfloor {n\over (i+j)i}\rfloor$$
发现后面这个下取整可以分块。
那么每次我们就是要求对于每一个分出来的块中有多少个j满足gcd(i,j)=1
这个东西就是经典问题了，容斥不知道能不能过，反正莫比乌斯反演过掉了~~
就是∑mu(i的因数)*(区间中i的这个因数的倍数的个数)
复杂度不会证，看上去好大呀！
反正时限6s=w=

Code

#include <cmath>
#include <cstdio>
#include <cstring>
#include <algorithm>
#define fo(i,a,b) for(int i=a;i<=b;i++)
using namespace std;
typedef long long ll;
const int N=1e6+5;
int p[N],mu[N],bz[N],d[N],maxn;
ll n,ans;
ll calc(ll l,ll r,int x) {
    ll res=0;
    fo(i,1,d[0]) res+=mu[d[i]]*(r/d[i]-l/d[i]);
    return res;
}
void solve(int x) {
    d[0]=0;
    fo(i,1,sqrt(x)) 
        if (!(x%i)) {
            d[++d[0]]=i;
            if (i*i!=x) d[++d[0]]=x/i;
        }
}
int main() {
    scanf("%lld",&n);maxn=sqrt(n);mu[1]=1;
    fo(i,2,maxn) {
        if (!bz[i]) p[++p[0]]=i,mu[i]=-1;
        fo(j,1,p[0]) {
            int k=i*p[j];if (k>maxn) break;
            bz[k]=1;if (!(i%p[j])) break;
            mu[k]=-mu[i];
        }
    }
    fo(i,2,maxn) {
        ll nn=n/i;solve(i);
        for(ll l=i+1,r;l<=min(nn,(ll)2*i);l=r+1) {
            r=min(nn/(nn/l),(ll)2*i);
            ans+=nn/l*calc(l-1,r,i);
        }
    }
    printf("%lld\n",ans);
}