【NOIP2017提高组模拟12.10】神炎皇

题目

神炎皇乌利亚很喜欢数对，他想找到神奇的数对。
对于一个整数对(a,b)，若满足a+b<=n且a+b是ab的因子，则成为神奇的数对。请问这样的数对共有多少呢？

分析

设\(gcd(a,b)=d,a'd=a,b'd=b\)
那么\(a'+b'|a'b'd\)
因为\(gcd(a',b')=1\)
所以\(a'+b'|d\)。
又因为\((a'+b')d<=n\)
则\(a'+b'=\sqrt n\)
枚举\(a'+b'=i\)
\(d就有\dfrac{n}{i^2}种情况\)
因为\(gcd(a',b')=gcd(a'+b',a')\)
所以\(a'和b'又有\varphi(i)种\)
线筛求\(\varphi()\)，时间复杂度\(O(\sqrt n)\)

#include <cmath>
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <queue>
const int maxlongint=2147483647;
const int mo=1000000007;
const int N=10000005;
using namespace std;
long long ans;
long long n,qn,r,phi[N],p[N];
bool bz[N];
long long gcd(long long x,long long y)
{
    for(;y;)
    {
        r=x%y;
        x=y;
        y=r;
    }
    return x;
}
int main()
{
    scanf("%lld",&n);
    qn=sqrt(n); 
    phi[1]=1;
    memset(bz,true,sizeof(bz));
    for(long long i=2;i<=qn;i++)
    {
        if(bz[i])  
        {  
            bz[i]=false;  
            p[++p[0]]=i;  
            phi[i]=i-1;  
        }  
        for(long long j=1;j<=p[0] && i*p[j]<=qn;j++)  
        {
            bz[i*p[j]]=false;
            if(i%p[j]) phi[i*p[j]]=phi[i]*(p[j]-1);
            else 
            {
                phi[i*p[j]]=phi[i]*p[j]; 
                break;
            }  
        }
        ans+=(long long)phi[i]*(long long)(n/i/i);  
    } 
    printf("%lld",ans);
}