$[n=1]=\sum_{d|n}\mu_d $
可以把一个“判一”的式子化成可以计算的函数
$[\gcd(a,b)=1]=\sum_{d|\gcd(a,b)}\mu_d $
$n=\sum_{d|n}\varphi_d $
把一个数化到枚举范围里面去
$\gcd(a,b)=\sum_{d|\gcd(a,b)}\varphi_d $
重排变换
$\sum_{i=1}^n\sum_{d|\gcd(i,n)}f_d=\sum_{d|n}f_d\lfloor\frac{n}{d}\rfloor $
混合重排变换
$\sum_{i=1}^n\sum_{d|\gcd(i,m)}f_d=\sum_{d|m}f_d\lfloor\frac{n}{d}\rfloor $
扩展混合重排变换
$\sum_{i=1}^n\sum_{d|\gcd(i,m)}f_dg_i=\sum_{d|m}f_d\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}g_{id} $
扩展变换
$\sum_{i=1}^n[d|i]f_i=\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}f_{id}$
收缩变换
$\sum_{i=1}^n\sum_{d|i}f_d=\sum_{i=1}^n\sum_{d=1}^{\lfloor\frac{n}{i}\rfloor}f_d $
杜教筛变换
约数个数变换
$d(x)=d_{nm}=\sum_{i|n}\sum_{j|m}[\gcd(i,j)=1] $
x的约数个数