莫比乌斯反演

一、莫比乌斯函数

定义

设正整数 $n$ 分解质因数为 $n=p_1^{c_1}{p}_2^{c_2}\dots p_m^{c_m}$，定义函数
$$\mu (n)=\{\begin{array}{ll}0& \exists i\in [1,m],c_i>1\\ 1& m\equiv 0(\mathrm{mod}2),\forall i\in [1,m],c_i=1\\ -1& m\equiv 1(\mathrm{mod}2),\forall i\in [1,m],c_i=1\end{array}$$
称 $\mu (n)$ 为莫比乌斯函数
特别地，$\mu (1)=1$

性质

• 对于任意的正整数 $n$，有 $\sum _{d\mid n}\mu (d)=[n=1]$
• 莫比乌斯函数是积性函数，即 $a,b$ 互质时，$\mu (ab)=\mu (a)\mu (b)$

计算

回顾 欧拉函数与积性函数专题，很明显莫比乌斯函数可以使用线性筛求解

void primes(int n)
{
	mu[1]=1;
	for(int i=2; i<=n; i++)
	{
		if(!v[i])
		{
			v[i]=i;
			prime[++tot]=i;
			mu[i]=-1;
		}
			
		for(int j=1; j<=tot; j++)
		{
			if(prime[j]>v[i] || prime[j]>n/i)
				break;
			v[i*prime[j]]=prime[j];
			if(i%prime[j]==0)
				break;
			mu[i*prime[j]]=-mu[i];
		}
	}
}

二、整除分块

整除分块是用于解决整除求和问题 $\sum _{i=1}^n\lfloor \frac{n}{i}\rfloor$

• 将 $\lfloor \frac{n}{i}\rfloor$ 按相同值分块
• 可以证明，分块少于 $2\sqrt{n}$ 种

for(LL l=1,r; l<=n; l=r+1)
{
	r=n/(n/l);
	ans+=(r-l+1)*(n/l);
}

三、狄利克雷卷积

定义

两个数论函数 $f(x),g(x)$，则它们的 狄利克雷卷积 得到的结果 $h(x)$ 定义为：
$$h(x)=\sum _{d\mid x}f(d)g\left(\frac{x}{d}\right)=\sum _{ab=x}f(a)g(b)$$

性质

• 满足交换律、结合律、分配律

一些其它定义

• 定义 $\epsilon (n)=[n=1]$。$\epsilon$ 是狄利克雷卷积运算中的单位元，即对于任何数论函数 $f$，都有 $f\ast \epsilon =f$

  证明：$(f\ast \epsilon )(n)=\sum _{d|n}f(d)\epsilon (\frac{n}{d})=f(n)$

• 定义 $id(n)=n$

常见结论

• $\mu \ast 1=\epsilon$

  证明：$\mu \ast 1=\sum _{d|n}\mu (d)=[n=1]=\epsilon$

• $\phi \ast 1=id$

  证明：$\phi \ast 1=\sum _{d|n}\phi (d)=n=id$

• $id\ast \mu =\phi$

  证明：
  $\because id\ast \epsilon =id$
  $\therefore id\ast \mu \ast 1=\phi \ast 1$
  $\therefore id\ast \mu =\phi$

四、莫比乌斯反演

结论

设 $f(n),g(n)$ 为两个数论函数。

• 如果有 $f(n)=\sum _{d\mid n}g(d)$，那么有
  $$g(n)=\sum _{d\mid n}\mu (d)f(\frac{n}{d})$$

  证明：容易看出，数论函数 $g(n)$ 的莫比乌斯变换，就是将$g(n)$ 与 $1$ 进行狄利克雷卷积。
  $\because f=g\ast 1$
  $\therefore f\ast \mu =g\ast 1\ast \mu =g\ast \epsilon =g$

• 如果有 $f(n)=\sum _{n|d}g(d)$，那么有
  $$g(n)=\sum _{n|d}\mu (\frac{d}{n})f(d)$$

  证明：考虑逆推：
  $\sum _{n|d}\mu (\frac{d}{n})f(d)$
  $=\sum _{k=1}\mu (k)f(kn)$
  $=\sum _{k=1}\mu (k)\sum _{kn|d}g(d)$
  $=\sum _{n|d}g(d)\sum _{k|\frac{d}{n}}\mu (k)$
  $=\sum _{n|d}g(d)ϵ(\frac{d}{n})$
  $=g(n)$

应用

关于莫反的习题，详见以后的博客