莫比乌斯反演题目记录

$YY的GCD$

$给定N,M,求1\le x\le N,1\le y\le M且\gcd (x,y)为质数的(x,y)有多少对。$

$$---------------------------------$$
令N <= M
$$\begin{gathered} \sum _{p=2}^N\sum _{i=1}^N\sum _{j=1}^M[\gcd (i,j)=p] \\ 先不考虑质数的影响,直接反演一波 \\ 设f(x)=\sum _{i=1}^N\sum _{j=1}^M[gcd(i,j)=x] \\ 设g(x)为公约数为x及x的倍数的数量 \\ g(x)=\sum _{i=1}^N\sum _{j=1}^M[x|gcd(i,j)]=\lfloor \frac{N}{x}\rfloor \lfloor \frac{M}{x}\rfloor \\ f(x)=\sum _{x|d}\mu (\frac{d}{x})g(d)=\sum _{x|d}\mu (\frac{d}{x})\lfloor \frac{N}{d}\rfloor \lfloor \frac{M}{d}\rfloor \\ 显然f(x)可以数论分块求 \\ 接下来要考虑质数，实际上只需要在筛\mu 的时侯只做素数的前n项和就可以，即非素数时\mu 始终为0 \end{gathered}$$
$$---------------------------------$$
约数个数和

$设d(x)为x的约数个数，给定n,m，求$
$$\sum _{i=1}^n\sum _{j=1}^{m}d(i\ast j)$$
引理：$$d(x\ast y)=\sum _{i|x}\sum _{j|y}[\gcd (i,j)=1]$$

证明

$$\begin{gathered} 原式化为：\sum _{x=1}^n\sum _{y=1}^m\sum _{i|x}\sum _{j|y}[\gcd (i,j)=1] \\ 转换枚举项，枚举i和j \\ \sum _{i=1}^n\sum _{j=1}^m\lfloor \frac{n}{i}\rfloor \lfloor \frac{m}{j}\rfloor [\gcd (i,j)=1] \\ 套路1：[gcd(i,j)=1]=\sum _{d|gcd(i,j)}\mu (d) \\ \sum _{i=1}^n\sum _{j=1}^m\lfloor \frac{n}{i}\rfloor \lfloor \frac{m}{j}\rfloor \sum _{d|gcd(i,j)}\mu (d) \\ 接下来枚举d，此时可以通过变换把gcd(i,j)去掉 \\ \sum _{d=1}^n\mu (d)\sum _{i=1}^n\sum _{j=1}^m[(d|i)and(d|j)]\lfloor \frac{n}{i}\rfloor \lfloor \frac{m}{j}\rfloor \\ \sum _{d=1}^n\mu (d)\sum _{i=1}^{\lfloor \frac{n}{d}\rfloor }\sum _{j=1}^{\lfloor \frac{m}{d}\rfloor }\lfloor \frac{n}{id}\rfloor \lfloor \frac{m}{jd}\rfloor \\ 预处理\sum _{i=1}^n\lfloor \frac{n}{i}\rfloor ,再数论分块解决即可 \end{gathered}$$