[笔记]狄利克雷卷积+莫比乌斯反演（未完待咕

前置芝士

调和级数

分析复杂度的时候还是有用的
百度百科

数学符号

常见的(<——假的)数学符号和意义

• $m\perp n$：m与n 垂直互质

整除分块

例题

• CQOI2007余数求和
• luoguP3925calculating

二项式定理

$(x+y{)}^n={\sum }_{i=0}^n{C}_n^i\ast x^i\ast y^{n-i}$

关于$gcd$

说明：$[$balabala$]$等于$1$当且仅当balabala成立，否则为0

• ${\sum }_{i=1}^n{\sum }_{j=1}^m[gcd(i,j)==x]\iff {\sum }_{i=1}^{\lfloor \frac{n}{x}\rfloor }{\sum }_{j=1}^{\lfloor \frac{m}{x}\rfloor }[gcd(i,j)==1]$
• ${\sum }_{i=1}^n{\sum }_{j=1}^{m}i\ast j\ast [gcd(i,j)==x]\iff {\sum }_{i=1}^{\lfloor \frac{n}{x}\rfloor }{\sum }_{j=1}^{\lfloor \frac{m}{x}\rfloor }i\ast j\ast [gcd(i,j)==1]\ast x^2$
• ${\sum }_{i=1}^n{\sum }_{j=1}^{m}i\ast j\ast [x|gcd(i,j)]\iff {\sum }_{i=1}^{\lfloor \frac{n}{x}\rfloor }{\sum }_{j=1}^{\lfloor \frac{m}{x}\rfloor }i\ast j\ast x^2$
• ${\sum }_{i=1}^n{\sum }_{j=1}^m[x|gcd(i,j)]\iff \lfloor \frac{n}{x}\rfloor \lfloor \frac{m}{x}\rfloor$
• ${\sum }_{i=1}^n{\sum }_{j=1}^m[gcd(i,j)==1]\iff {\sum }_{i=1}^n{\sum }_{j=1}^m{\sum }_{d|gcd(i,j)}\mu (d)$
  ---------------------------------------------$\iff {\sum }_{d=1}^n\mu (d)\ast {\sum }_{i=1}^n{\sum }_{j=1}^m[d|gcd(i,j)]$
• 记$d(x)$为$x$的约数个数：$d(i\ast j)={\sum }_{x|i}{\sum }_{y|j}[gcd(x,y)==1]$，证明见例5

---

狄利克雷卷积&莫比乌斯反演

从狄利克雷卷积证明莫比乌斯反演
莫比乌斯反演栗子

常见的积性函数

• $ϵ(n)=[n==1]$，也有写作$\iota$的：在卷积意义下相当u于1，对于任意一个$f,f\ast ϵ=f$
• $I(n)=1$也有写作$u$的，在卷积意义下和$\mu$互为逆元，即$\mu \ast I=ϵ$
• $id(n)=n$

一些摘出来的小套路

• 枚举gcd
• 当你想降一下时间复杂度时，枚举第二个分块中的某一项再进行处理可能是一个好选择。

栗子

• BZOJ2440完全平方数（懵逼钨丝函数入门
• POI2007 ZAP-Queries
  ${\sum }_{i=1}^n{\sum }_{j=1}^m[gcd(i,j)==x]$
• luoguP2257YY的GCD
  ${\sum }_{i=1}^n{\sum }_{j=1}^n[gcd(i,j)\in prime]$
• P1829Carash的数字表格
  ${\sum }_{i=1}^n{\sum }_{i=1}^{m}lcm(i,j)$
• SDOI2015约数个数和
  ${\sum }_{i=1}^n{\sum }_{j=1}^{m}d(i\ast j)$ ，其中$d(i\ast j)$表示$i\ast j$的约数个数
• SDOI2017数字表格
  ${\prod }_{i=1}^n{\prod }_{j=1}^{m}f[gcd(i,j)]$,其中$f[x]$表示第$i$项斐波那契数

---

杜教筛

又是一些小套路

栗子

• luogu模板

---

先乱放了

没看过

---

完了推柿子真是太有趣了，秃并快乐着