【CCPC-Wannafly Winter Camp Day3 Div2 F 小清新数论】(莫比乌斯反演)

因为是第一次做出这种题,所以写个题解纪念一下。

题目描述

 

这是一道比较基础的数论题。

给出一个整数 n,计算\sum_{i=1}^n \sum_{j=1}^n \mu(\gcd(i,j))

其中 gcd(i,j) 表示 i,j 的最大公约数,\mu(i) 表示莫比乌斯函数,它的一个等价定义是 \mu(1)=1\mu(n) = - \sum_{d< n,d|n} \mu(d)当 n> 1 时。

输入描述

 

输入一行包含一个整数 n(1≤n≤107)。

输出描述

 

输出一行一个整数,表示答案。答案可能很大,请对 998244353 取模后输出。

样例输入 1 

5

样例输出 1

14

样例输入 2 

100

样例输出 2

3631

题意:

求          \sum_{i=1}^{n}\sum_{j=1}^{n}u(gcd(i,j)), (1\leq n\leq 10^7)    ,结果对998244353取模。

思路:        

     \sum_{i=1}^{n}\sum_{j=1}^{n}u(gcd(i,j))

=\sum_{d=1}^{n}\sum_{i=1}^{n}\sum_{j=1}^{n}u(d)[gcd(i,j)==d]

=\sum_{d=1}^{n}u(d)\sum_{i=1}^{n}\sum_{j=1}^{n}[gcd(i,j)==d]

=\sum_{d=1}^{n}u(d)\sum_{i=1}^{\frac{n}{d}}\sum_{j=1}^{\frac{n}{d}}[gcd(i,j)==1]

设   g(n)=\sum_{i=1}^{n}\sum_{j=1}^{n}[gcd(i,j)==1]  ,

因为

\sum_{d|n}u(d)=\left\{\begin{matrix} 1,n=1\\ 0,n>1 \end{matrix}\right.

所以

g(n)=\sum_{i=1}^{n}\sum_{j=1}^{n}\sum_{d|gcd(i,j)}u(d)

         =\sum_{d=1}^{n}u(d)\sum_{i=1}^{n}\sum_{j=1}^{n}[d|gcd(i,j)]

         =\sum_{d=1}^{n}u(d)(\frac{n}{d})^2

所以

\sum_{i=1}^{n}\sum_{j=1}^{n}u(gcd(i,j))=\sum_{d=1}^{n}u(d)g(\frac{n}{d})

                                  =\sum_{d=1}^{n}u(d)\sum_{d1=1}^{\frac{n}{d}}u(d1)(\frac{\frac{n}{d}}{d1})^2

如果直接暴力的话,时间复杂度是O(n^2),所以我们还需分块处理。

当d取1\leq d\leq n \right时,\frac{n}{d}最多有2\sqrt{n}种数值:当1\leq d\leq \sqrt{n}时,\frac{n}{d}最多有\sqrt{n}种;当d> \sqrt{n}时,1\leq \frac{n}{d}< \sqrt{n}\frac{n}{d}最多有\sqrt{n}种。

我们让d从1增到\sqrt{n},再让\frac{n}{d}\sqrt{n}减到1,所以一次分块可以降O(\sqrt[]{n})的复杂度。

在求\sum_{d=1}^{n}u(d)(\frac{n}{d})^2\sum_{d=1}^{n}u(d)g(\frac{n}{d})时,都可进行分块,每次分块可以降O(\sqrt[]{n})的复杂度,两次可降O(n),所以最终时间复杂度为O(n)。

代码:

#include 
using namespace std;
const int N=1e7+10; 
const long long mo=998244353; 
int u[N],sum[N];
long long pri[N>>1],now;
bool vis[N];
int n;
void init()
{                           
    vis[1]=1;u[1]=1;
    for(int i=2;i<=n;++i)
	{
        if(!vis[i])pri[++now]=i,u[i]=-1;
        for(int j=1;j<=now&&(long long)pri[j]*i<=n;++j)
		{
            vis[pri[j]*i]=1;
            u[pri[j]*i]=-u[i];
            if(i%pri[j]==0){u[pri[j]*i]=0;break;}
        }
    }
    for(int i=1;i<=n;i++)sum[i]=u[i]+sum[i-1];
}
long long g(int n)
{
    long long ret = 0;
    int x=(int)sqrt(double(n)),tx; 
    for(int i=1; i<=x; ++i)
    {
    	ret+=(long long)u[i]*(n/i)%mo*(n/i)%mo;
    	ret%=mo; 
	}
	for(int i=n/x;i>=1;--i)
	{
		tx=n/i; 
		ret+=(long long)(sum[tx]-sum[x])*i%mo*i%mo;
		ret%=mo; 
		x=tx; 
	} 
    return ret;
}
int main()
{
    scanf("%d",&n);
	init();
    long long ans = 0;
    u[1]=1;
	int x=(int)sqrt(double(n)),tx;  
    for(int i=1; i<=x; ++i)
    {
    	ans+=(long long)u[i]*g(n/i)%mo;
    	ans%=mo; 
	} 
	for(int i=n/x;i>=1;--i)
	{
		tx=n/i; 
		ans+=(long long)(sum[tx]-sum[x])*g(i)%mo;
    	ans%=mo;
		x=tx; 
	} 
    printf("%lld\n",(ans+mo)%mo); 
    return 0;
}

 

你可能感兴趣的:(◈数论,▫▫▫▫▫莫比乌斯反演)