初等数论(Ⅳ):狄利克雷卷积和各类反演
1|0前置知识
1|1积性函数
满足
如果对于全部的
常见积性函数
-
常数函数:
(完全积性) -
恒等函数
简记为 -
元函数:
-
欧拉函数:
-
因子函数:
是质因数分解后质因子 的幂次。 -
除数函数:
-
莫比乌斯函数:
两个积性函数的性质
欧拉函数
定义
用一个式子表达就是
性质
证明在我这篇博客里有。
莫比乌斯函数
定义
性质
也就是说除了
证明:
当
当
因为如果有幂次
剩下的就直接运用容斥原理解决。
不取任何质因子的方案数为
不取任何质因子的方案数为
不取任何质因子的方案数为
所以最后的答案
这个性质往往是逆用的,比如给你一个
两个函数的联系
证明:
这其中
其中最后这一步的证明在这。
1|2和式的变换
学会和式的变换有助于我们更好地推式子。
和式的变换规则
-
分配律
-
结合律
-
交换律
指的是标集的任意一个排列例如,
和式的变换魔术
- 替换条件式
- 替换指标变量
- 交换求和次序
- 分离变量
2|0狄利克雷卷积
2|1定义
比如
2|2性质
-
交换律:
-
结合律:
-
分配律:
2|3常用卷积关系
证明:
证明:
证明:
证明:
这说明
3|0莫比乌斯反演
3|1定义
若
证明:
充分性:
若
必要性:
若
这里只证明充分性,详细的证明可见这里
充分性:
其中第三行到第四行采用的交换和号的方式,可以列一个表格感性证明一下,可以看出先枚举行和先枚举列最终的结果是相同的。
但是好像有关
4|0欧拉反演
其实也是一类套路。
对于类似
莫比乌斯反演运用了
求解下面的式子(默认
因为欧拉函数具有
5|0一些常见的变换套路
-
黄金代换
莫比乌斯函数性质的逆运用。
-
转艾佛森括号
以一式举例
-
套着求和式外壳的常数
等号左边的实际意义就是让你求
中 的倍数的个数,那显然就是 个。 -
一个我也不知道叫啥的变换
通过设
,来把下取整里面的两个变量转化为只有一个变量,方便我们进行整除分块。 -
有关
的套路(默认 )于是可以
预处理 ,后面两项整除分块即可。通过整理式子,我们将一个
的式子优化到了 。 -
升级版
后面的就都一样了,注意枚举范围即可。
-
升级版
-
同时除以 -
你会发现多了一个
,这是为什么呢?因为你还要考虑 的贡献,你同时除以 了就要乘上原来应该有的 的贡献。
- 一个结论证明思路大致是构造一个双射,一一对应。
6|0二项式反演
应该是运用最广泛的一个反演类型。
为什么叫二项式反演?因为它由二项式定理推过来的,并且式子也比较相似。
6|1前置
首先我们知道二项式定理
我们令
这里因为
6|2二项式反演
先给出式子
简单证明一下,只证明从左边推右边
其中第三行到第四行是一个和式的变换。你可以把它想象成一个下三角,本来是先行再列枚举,变换后就变成了先列后行。
第六行到第七行就是枚举范围的变化,令
6|3应用
二项式反演往往可以抽象成两种模型。
恰好 → 至多型
设
再设
这种题往往
恰好 → 至少型
设
再设
同理,这种题往往
其中
这其实是二项式反演的另一种性质,上界变而不是下界,我们再简单证明一下。
6|4例题
个人 封信,求全部装错的方案数
这是一个典型的错排问题,但是我们也可以用二项式反演来得出答案。
设
设
你会发现这符合二项式反演的式子,于是
于是这题就做完了。
6|5总结
二项式反演的题和大多数反演题一样,关键在于找出关系,判断是否符合二项式反演的式子,接着用好表示的来反演出不好表示的,再做化简。
7|0斯特林反演
见组合数学斯特林数部分。
8|0单位根反演
咕咕
9|0子集反演
咕咕
__EOF__

本文链接:https://www.cnblogs.com/bloodstalk/p/17489804.html
关于博主:评论和私信会在第一时间回复。或者直接私信我。
版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
声援博主:如果您觉得文章对您有帮助,可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力!
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步