【BZOJ4652】循环之美（莫比乌斯反演，杜教筛）

题解

到底在求什么呢。。。
首先不管他$K$进制的问题啦，真是烦死啦

所以，相当于有一个分数$\frac{i}{j}$
因为值要不相等
所以有$i \perp j$，也就是$gcd(i,j)=1$

现在考虑$K$进制
先从熟悉的$10$进制入手
如果一个最简分数是纯循环小数
我们知道，他的分母里面不含$2,5$
而且，巧极了$10=2*5$
于是乎，$YY$一下
如果$K$进制中一个分数是纯循环小数
那么分母与$K$互质
证明戳这里(orz LCF 学长)

所以，问题就变成啦

$$\sum_{i=1}^n\sum_{j=1}^m[i \perp j][j \perp k]$$
也就是
$$\sum_{i=1}^n\sum_{j=1}^m[gcd(i,j)==1][gcd(j,k)==1]$$
换个顺序算
$$\sum_{i=1}^n\sum_{j=1}^m[gcd(j,k)==1][gcd(i,j)==1]$$
$$\sum_{j=1}^m[gcd(j,k)==1]\sum_{i=1}^n[gcd(i,j)==1]$$

$$\sum_{j=1}^m[gcd(j,k)==1]\sum_{i=1}^n\sum_{d|i,d|j}\mu(d)$$
把 $d$提出来
$$\sum_{d=1}^n\mu(d)\sum_{d|i}^n\sum_{d|j}^m[gcd(j,k)==1]$$
$$\sum_{d=1}^n[d \perp k ]\mu(d)\sum_{i=1}^{n/d}\sum_{j=1}^{m/d}[gcd(j,k)==1]$$
$$\sum_{d=1}^n[d \perp k ]\mu(d)[\frac{n}{d}]\sum_{j=1}^{m/d}[gcd(j,k)==1]$$

现在相当于要求两个东西的前缀和：

$$f(x)=\sum_{i=1}^x[gcd(i,k)=1]$$
$$S(x)=\sum_{i=1}^x[i \perp k]\mu(i)$$

先看$f(x)$
$x$相当于被分为了若干个大小为$k$的段
若在第一段中，$a \perp k$
则 $(a+nk) \perp k$
同样的，最后一段可能不满，所以可以单独拎出来考虑
所以，我们可以推出：

$$f(x)=[\frac{x}{k}]f(k)+f(x\%k)$$
$k<=2000$
所以预处理出 $k$以内的值，就可以直接算了

---

现在的问题在于第二个$S(x)$

$$S(x,k)=\sum_{i=1}^x[i \perp k]\mu(i)$$
$$=\sum_{i=1}^x\mu(i)[gcd(i,k)==1]$$
$$=\sum_{i=1}^x\mu(i)\sum_{d|gcd(i,k)}\mu(d)$$
$$=\sum_{i=1}^x\mu(i)\sum_{d|i,d|k}\mu(d)$$
$$=\sum_{d|k}\mu(d)\sum_{d|i}\mu(i)$$
$$=\sum_{d|k}\mu(d)\sum_{i=1}^{x/d}\mu(id)$$
如果 $gcd(i,d)\neq1$，那么
$\mu(id)=0$，对答案不会产生任何影响
$$=\sum_{d|k}\mu(d)\sum_{i=1,i \perp d}^{x/d}\mu(i)\mu(d)$$
$$=\sum_{d|k}\mu(d)^2\sum_{i=1,i \perp d}^{x/d}\mu(i)$$

$$=\sum_{d|k}\mu(d)^2\sum_{i=1}^{x/d}[i \perp d]\mu(i)$$
$$=\sum_{d|k}\mu(d)^2S([\frac{x}{d}],d)$$
这样子当 $k=1$发现没法递归啦？？？
不记得 这道题目里面推出来的 $\mu$的前缀和是啥了？？
所以杜教筛一发呀

---

现在，要求的答案就是：

$$\sum_{d=1}^n[d \perp k ]\mu(d)[\frac{n}{d}]\sum_{j=1}^{m/d}[gcd(j,k)==1]$$

后面的$\sum_j$我们已经可以$O(1)$求啦
前面的利用记忆化也可以很开心的求了
复杂度？？
我也不知道。。
反正能过就行啦

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define MAX 10000000
#define ll long long
inline int read()
{
    int x=0,t=1;char ch=getchar();
    while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
    if(ch=='-')t=-1,ch=getchar();
    while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
    return x*t;
}
int n,K,N,m;
bool pp[5000];
int F[5000];
bool zs[MAX+10];
int tot,pri[MAX],mu[MAX],smu[MAX];
map<pair<int,int>,int> M;
void pre()
{
    for(int i=1;i<=K;++i)pp[i]=__gcd(i,K)==1;
    for(int i=1;i<=K;++i)F[i]=F[i-1]+pp[i];
    zs[1]=true;mu[1]=1;
    for(int i=2;i<=N;++i)
    {
        if(!zs[i])pri[++tot]=i,mu[i]=-1;
        for(int j=1;j<=tot&&i*pri[j]<=N;++j)
        {
            zs[i*pri[j]]=true;
            if(i%pri[j])mu[i*pri[j]]=-mu[i];
            else break;
        }
    }
    for(int i=1;i<=N;++i)smu[i]=smu[i-1]+mu[i];
}
int SF(int x){return (x/K)*F[K]+F[x%K];}
int SS(int x,int k)
{
    if((k==1&&x<=N)||(!x))return smu[x];
    if(M[make_pair(x,k)])return M[make_pair(x,k)];
    int ret=0;
    if(k==1)
    {
        ret=1;
        for(int i=2,j;i<=x;i=j+1)
        {
            j=x/(x/i);
            ret-=(j-i+1)*SS(x/i,1);
        }
    }
    else
    {
        for(int i=1;i*i<=k;++i)
            if(k%i==0)
            {
                if(mu[i])ret+=SS(x/i,i);
                if(i*i!=k&&mu[k/i])
                    ret+=SS(x/(k/i),k/i);
            }
    }
    return M[make_pair(x,k)]=ret;
}
int main()
{
    n=read();m=read();K=read();
    N=MAX;pre();
    ll ans=0,lt=0,nw=0;
    for(int i=1,j;i<=min(n,m);i=j+1)
    {
        j=min(n/(n/i),m/(m/i));
        nw=SS(j,K);
        ans+=1ll*(nw-lt)*(n/i)*SF(m/i);
        lt=nw;
    }
    printf("%lld\n",ans);
    return 0;
}